| Publication | Date of Publication | Type |
|---|
Using SWISH to realize interactive web-based tutorials for logic-based languages
Theory and Practice of Logic Programming | 2019-09-19 | Paper |
| scientific article; zbMATH DE number 7015120 (Why is no real title available?) | 2019-02-07 | Paper |
Obligation as optimal goal satisfaction
Journal of Philosophical Logic | 2018-09-05 | Paper |
Programming in logic without logic programming
Theory and Practice of Logic Programming | 2017-11-09 | Paper |
A logic-based calculus of events
New Generation Computing | 2017-02-28 | Paper |
Reactive computing as model generation
New Generation Computing | 2016-04-01 | Paper |
Logic programming in the 1970s
Logic Programming and Nonmonotonic Reasoning | 2013-10-10 | Paper |
Teleo-Reactive Abductive Logic Programs
Logic Programs, Norms and Action | 2012-07-23 | Paper |
The Scientific Contribution of Marek Sergot
Logic Programs, Norms and Action | 2012-07-23 | Paper |
Abductive logic programming agents with destructive databases
Annals of Mathematics and Artificial Intelligence | 2012-01-13 | Paper |
| Computational logic and human thinking. How to be artificially intelligent | 2011-08-10 | Paper |
An agent language with destructive assignment and model-theoretic semantics
Lecture Notes in Computer Science | 2010-08-24 | Paper |
The Logical Way to Be Artificially Intelligent
Lecture Notes in Computer Science | 2009-04-28 | Paper |
| scientific article; zbMATH DE number 5295832 (Why is no real title available?) | 2008-07-01 | Paper |
Dialectic proof procedures for assumption-based, admissible argumentation
Artificial Intelligence | 2007-10-23 | Paper |
| scientific article; zbMATH DE number 2085259 (Why is no real title available?) | 2004-08-09 | Paper |
| scientific article; zbMATH DE number 1926601 (Why is no real title available?) | 2003-06-11 | Paper |
From logic programming towards multi-agent systems
Annals of Mathematics and Artificial Intelligence | 2000-06-07 | Paper |
| scientific article; zbMATH DE number 1337858 (Why is no real title available?) | 1999-09-16 | Paper |
The IFF proof procedure for abductive logic programming
The Journal of Logic Programming | 1998-01-21 | Paper |
Reconciling the event calculus with the situation calculus
The Journal of Logic Programming | 1997-09-04 | Paper |
| scientific article; zbMATH DE number 753769 (Why is no real title available?) | 1995-05-11 | Paper |
Abductive Logic Programming
Journal Of Logic And Computation | 1994-01-13 | Paper |
| scientific article; zbMATH DE number 88995 (Why is no real title available?) | 1993-01-16 | Paper |
| scientific article; zbMATH DE number 67516 (Why is no real title available?) | 1992-09-27 | Paper |
| scientific article; zbMATH DE number 25191 (Why is no real title available?) | 1992-06-26 | Paper |
| scientific article; zbMATH DE number 3664336 (Why is no real title available?) | 1979-01-01 | Paper |
Algorithm = logic + control
Communications of the ACM | 1979-01-01 | Paper |
Logic and semantic networks
Communications of the ACM | 1979-01-01 | Paper |
The Semantics of Predicate Logic as a Programming Language
Journal of the ACM | 1976-01-01 | Paper |
A Proof Procedure Using Connection Graphs
Journal of the ACM | 1975-01-01 | Paper |
| scientific article; zbMATH DE number 3466489 (Why is no real title available?) | 1974-01-01 | Paper |
Linear resolution with selection function
Artificial Intelligence | 1971-01-01 | Paper |
| scientific article; zbMATH DE number 3359807 (Why is no real title available?) | 1970-01-01 | Paper |
| scientific article; zbMATH DE number 3347627 (Why is no real title available?) | 1969-01-01 | Paper |
