| Logical English meets legal English for swaps and derivatives | 1 | 0.40 | 2022 |
| Using SWISH to Realize Interactive Web-based Tutorials for Logic-based Languages. | 1 | 0.37 | 2019 |
| Obligation as Optimal Goal Satisfaction. | 0 | 0.34 | 2018 |
| Satisfiability for First-order Logic as a Non-Modal Deontic Logic. | 0 | 0.34 | 2017 |
| Programming Machine Ethics by Luís Moniz Pereira and Ari Saptawijaya. | 0 | 0.34 | 2017 |
| How to do it with LPS (Logic-Based Production System). | 0 | 0.34 | 2017 |
| Programming in logic without logic programming | 5 | 0.53 | 2016 |
| Quantified UX: Towards a Common Organizational Understanding of User Experience. | 3 | 0.47 | 2016 |
| Reactive Computing as Model Generation. | 7 | 0.53 | 2015 |
| Computational Logic as an Intelligent Agent's Language of Thought. | 0 | 0.34 | 2015 |
| A Logical Characterization of a Reactive System Language. | 2 | 0.37 | 2014 |
| cubble: a multi-device hybrid approach supporting communication in long-distance relationships | 17 | 0.95 | 2013 |
| Towards a Logic-Based Unifying Framework for Computing | 7 | 0.78 | 2013 |
| Logic Programming in the 1970s. | 0 | 0.34 | 2013 |
| StoryFaces: pretend-play with ebooks to support social-emotional storytelling | 8 | 0.56 | 2012 |
| Teleo-Reactive abductive logic programs | 4 | 0.39 | 2012 |
| A logic-based framework for reactive systems | 12 | 0.58 | 2012 |
| The scientific contribution of marek sergot | 0 | 0.34 | 2012 |
| StoryFaces: children exploring emotional expressions in storytelling with video | 1 | 0.39 | 2011 |
| Abductive logic programming agents with destructive databases | 15 | 0.63 | 2011 |
| Artificial intelligence and human thinking | 1 | 0.52 | 2011 |
| inTUIt: simple identification on tangible user interfaces | 1 | 0.35 | 2011 |
| Flow of electrons: an augmented workspace for learning physical computing experientially | 8 | 0.78 | 2011 |
| An agent language with destructive assignment and model-theoretic semantics | 10 | 0.53 | 2010 |
| From digital to physical: learning physical computing on interactive surfaces | 5 | 0.57 | 2010 |
| Integrating Logic Programming and Production Systems in Abductive Logic Programming Agents | 14 | 0.64 | 2009 |
| Reconciling Logic and Objects | 0 | 0.34 | 2005 |
| The logical way to be artificially intelligent | 14 | 1.37 | 2005 |
| Is Logic Really Dead or Only Just Sleeping? | 1 | 0.39 | 2001 |
| From logic programming towards multi-agent systems | 104 | 4.41 | 1999 |
| Executing suspended logic programs | 24 | 1.33 | 1998 |
| Reconciling the event calculus with the situation calculus | 28 | 1.18 | 1997 |
| The IFF proof procedure for abductive logic programming | 123 | 5.71 | 1997 |
| Workshop DYNAMICS 97: (Trans)Actions and Change in Logic Programming and Deductive Databases | 0 | 0.34 | 1997 |
| An abstract, argumentation-theoretic approach to default reasoning | 346 | 20.16 | 1997 |
| PROCALOG - Programming with Constraints and Abducibles in Logic (Poster Abstract) | 2 | 0.38 | 1996 |
| Towards a Unified Agent Architecture that Combines Rationality with Reactivity | 49 | 3.01 | 1996 |
| Logic Programming with Integrity Constraints | 3 | 0.54 | 1996 |
| Synthesis of Proof Procedures for Default Reasoning | 6 | 1.42 | 1996 |
| Abstract argumentation | 34 | 3.28 | 1996 |
| Workshop Report: Application of Logic Programming to Legal Reasoning. | 0 | 0.34 | 1995 |
| Variants of the Event Calculus. | 31 | 4.15 | 1995 |
| Reduction of Abductive Logic Programs to Normal Logic Programs | 12 | 1.22 | 1995 |
| An Argumentation-Theoretic Approach to Logic Program Transformation | 1 | 0.36 | 1995 |
| Logical Foundations for Multi-agent Systems | 0 | 0.34 | 1995 |
| A Theorem-Proving approach to CLP | 11 | 1.55 | 1995 |
| The situation calculus and event calculus compared | 33 | 2.75 | 1994 |
| Towards a Declarative and Efficient Glass-Box CLP Language | 10 | 2.29 | 1994 |
| Temporal Database Technology for Air Traffic Flow Management | 4 | 0.82 | 1994 |
| Editorial: An Undergraduate Degree in Practical Reasoning | 0 | 0.34 | 1993 |
