125 citations · 202 across the 7 of their papers we have counts for
7 papers
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…
Using SWISH to realise interactive web based tutorials for logic based languages
Jan Wielemaker, Fabrizio Riguzzi, Bob Kowalski +3
Programming environments have evolved from purely text based to using graphical user interfaces, and now we see a move towards web based interfaces, such as Jupyter. Web based inte…
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…
Towards a Logic-Based Unifying Framework for Computing
Robert Kowalski, Fariba Sadri
In this paper we propose a logic-based, framework inspired by artificial intelligence, but scaled down for practical database and programming applications. Computation in the frame…
Negotiating Socially Optimal Allocations of Resources
U. Endriss, N. Maudet, F. Sadri +1
A multiagent system may be thought of as an artificial society of autonomous software agents and we can apply concepts borrowed from welfare economics and social choice theory to a…