| Publication | Date of Publication | Type |
|---|
Reactive Answer Set Programming
Theory and Practice of Logic Programming | 2023-12-12 | Paper |
Using SWISH to realize interactive web-based tutorials for logic-based languages
Theory and Practice of Logic Programming | 2019-09-19 | Paper |
Programming in logic without logic programming
Theory and Practice of Logic Programming | 2017-11-09 | Paper |
Reactive computing as model generation
New Generation Computing | 2016-04-01 | Paper |
Teleo-Reactive Abductive Logic Programs
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 |
An agent language with destructive assignment and model-theoretic semantics
Lecture Notes in Computer Science | 2010-08-24 | Paper |
The CIFF proof procedure for abductive logic programming with constraints: Theory, implementation and experiments
Theory and Practice of Logic Programming | 2009-11-25 | Paper |
Using the KGP Model of Agency to Design Applications
Lecture Notes in Computer Science | 2009-04-28 | Paper |
Variety of Behaviours Through Profiles in Logic-Based Agents
Lecture Notes in Computer Science | 2009-04-28 | Paper |
scientific article; zbMATH DE number 5547960 (Why is no real title available?)
(available as arXiv preprint) | 2009-04-28 | Paper |
A Formal Analysis of KGP Agents
Logics in Artificial Intelligence | 2008-10-30 | Paper |
Logics in Artificial Intelligence
Lecture Notes in Computer Science | 2006-10-25 | Paper |
Normative KGP agents
Computational & Mathematical Organization Theory | 2006-10-16 | Paper |
Computational Logic in Multi-Agent Systems
Lecture Notes in Computer Science | 2005-11-23 | Paper |
Computational Logic in Multi-Agent Systems
Lecture Notes in Computer Science | 2005-11-23 | Paper |
Global Computing
Lecture Notes in Computer Science | 2005-08-19 | Paper |
| scientific article; zbMATH DE number 2088174 (Why is no real title available?) | 2004-08-12 | Paper |
| scientific article; zbMATH DE number 1931678 (Why is no real title available?) | 2003-06-20 | Paper |
| scientific article; zbMATH DE number 1538055 (Why is no real title available?) | 2001-06-13 | Paper |
From logic programming towards multi-agent systems
Annals of Mathematics and Artificial Intelligence | 2000-06-07 | Paper |
| scientific article; zbMATH DE number 1301743 (Why is no real title available?) | 1999-06-16 | Paper |
Reconciling the event calculus with the situation calculus
The Journal of Logic Programming | 1997-09-04 | Paper |
| scientific article; zbMATH DE number 25191 (Why is no real title available?) | 1992-06-26 | Paper |
| scientific article; zbMATH DE number 4119672 (Why is no real title available?) | 1987-01-01 | Paper |
| scientific article; zbMATH DE number 4085066 (Why is no real title available?) | 1987-01-01 | Paper |
