125 citations · 202 across the 7 of their papers we have counts for
4 papers · 1 filter
Reactive Answer Set Programming
Krysia Broda, Fariba Sadri, Stephen Butler
Logic Production System (LPS) is a logic-based framework for modelling reactive behaviour. Based on abductive logic programming, it combines reactive rules with logic programs, a d…
Programming in logic without logic programming
Robert Kowalski, Fariba Sadri
In previous work, we proposed a logic-based framework in which computation is the execution of actions in an attempt to make reactive rules of the form if antecedent then consequen…
Computational Logic Foundations of KGP Agents
Antonis Kakas, Paolo Mancarella, Fariba Sadri +2
This paper presents the computational logic foundations of a model of agency called the KGP (Knowledge, Goals and Plan model. This model allows the specification of heterogeneous a…
The CIFF Proof Procedure for Abductive Logic Programming with Constraints: Theory, Implementation and Experiments
P. Mancarella, G. Terreni, F. Sadri +2
We present the CIFF proof procedure for abductive logic programming with constraints, and we prove its correctness. CIFF is an extension of the IFF proof procedure for abductive lo…