17 citations · 17 across the 1 of their papers we have counts for
2 papers
cs.AI2016★ 17 cited
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…
cs.LO2013
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…