15 citations · 19 across the 4 of their papers we have counts for
4 papers
Proceedings First Workshop on Horn Clauses for Verification and Synthesis
Nikolaj Bjørner, Fabio Fioravanti, Andrey Rybalchenko +1
This volume contains the proceedings of HCVS 2014, the First Workshop on Horn Clauses for Verification and Synthesis which was held on July 17, 2014 in Vienna, Austria as a satelli…
Backwards State-space Reduction for Planning in Dynamic Knowledge Bases
Valerio Senni, Michele Stawowy
In this paper we address the problem of planning in rich domains, where knowledge representation is a key aspect for managing the complexity and size of the planning domain. We fol…
Stochastically timed predicate-based communication primitives for autonomic computing
Diego Latella, Michele Loreti, Mieke Massink +1
Predicate-based communication allows components of a system to send messages and requests to ensembles of components that are determined at execution time through the evaluation of…
Transformations of Logic Programs on Infinite Lists
Alberto Pettorossi, Maurizio Proietti, Valerio Senni
We consider an extension of logic programs, called ω-programs, that can be used to define predicates over infinite lists. ω-programs allow us to specify properties of the infinite…