| 2006 | Decidable Fragments of Logic Programming with Value Invention. | Francesco Calimeri, Susanna Cozza, Giovambattista Ianni |
| 2006 | On the Logic and Computation of Partial Equilibrium Models. | Pedro Cabalar, Sergei P. Odintsov, David Pearce, Agustn Valverde |
| 2006 | A Tool to Facilitate Agent Deliberation. | Daniel Bryant, Paul J. Krause, Sotiris Moschoyiannis |
| 2006 | An Implementation of a Lightweight Argumentation Engine for Agent Applications. | Daniel Bryant, Paul J. Krause |
| 2006 | A STIT-Extension of ATL. | Jan M. Broersen, Andreas Herzig, Nicolas Troquard |
| 2006 | Natural Deduction Calculus for Linear-Time Temporal Logic. | Alexander Bolotov, Artie Basukoski, Oleg M. Grigoriev, Vasilyi Shangin |
| 2006 | Distance-Based Repairs of Databases. | Ofer Arieli, Marc Denecker, Maurice Bruynooghe |
| 2006 | An Event-Condition-Action Logic Programming Language. | Jos Jlio Alferes, Federico Banti, Antonio Brogi |
| 2006 | On Arbitrary Selection Strategies for Basic Superposition. | Vladimir Aleksic, Anatoli Degtyarev |
| 2004 | Characterizations for Relativized Notions of Equivalence in Answer Set Programming. | Stefan Woltran |
| 2004 | Qualitative Action Theory: A Comparison of the Semantics of Alternating-Time Temporal Logic and the Kutschera-Belnap Approach to Agency. | Stefan Wlfl |
| 2004 | An Implementation of Statistical Default Logic. | Gregory R. Wheeler, Carlos Viegas Damsio |
| 2004 | Semantic Knowledge Partitioning. | Christoph Wernhard |
| 2004 | The PLP System. | Toshiko Wakaki, Katsumi Inoue, Chiaki Sakama, Katsumi Nitta |
| 2004 | tabeql: A Tableau Based Suite for Equilibrium Logic. | Agustn Valverde |
| 2004 | Combining Decision Procedures for Sorted Theories. | Cesare Tinelli, Calogero G. Zarba |
| 2004 | Cardinality Constraint Programs. | Tommi Syrjnen |
| 2004 | Transforming Fuzzy Description Logics into Classical Description Logics. | Umberto Straccia |
| 2004 | Explaining Subsumption by Optimal Interpolation. | Stefan Schlobach |
| 2004 | Representing and Reasoning with Preferences. | Francesca Rossi |
| 2004 | Parallel Encodings of Classical Planning as Satisfiability. | Jussi Rintanen, Keijo Heljanko, Ilkka Niemel |
| 2004 | A Logic with Conditional Probabilities. | Miodrag Raskovic, Zoran Ognjanovic, Zoran Markovic |
| 2004 | Some Techniques for Branch-Saturation in Free-Variable Tableaux. | Nicolas Peltier |
| 2004 | Towards a First Order Equilibrium Logic for Nonmonotonic Reasoning. | David Pearce, Agustn Valverde |
| 2004 | Qsmodels: ASP Planning in Interactive Gaming Environment. | Luca Padovani, Alessandro Provetti |