| 2006 | : Tableaux and Resolution for Finite Abduction. Fernando Soler-Toscano, Ángel Nepomuceno-Fernández |
| 2006 | A Bottom-Up Method for the Deterministic Horn Fragment of the Description Logic Linh Anh Nguyen |
| 2006 | A Fault-Tolerant Default Logic. Zhangang Lin, Yue Ma, Zuoquan Lin |
| 2006 | A Formal Analysis of KGP Agents. Fariba Sadri, Francesca Toni |
| 2006 | A Logic-Based Tool for Semantic Information Extraction. Massimo Ruffolo, Marco Manna, Lorenzo Gallucci, Nicola Leone, Domenico Saccà |
| 2006 | A Modularity Approach for a Fragment of Andreas Herzig, Ivan Varzinczak |
| 2006 | A STIT-Extension of ATL. Jan M. Broersen, Andreas Herzig, Nicolas Troquard |
| 2006 | A Slicing Tool for Lazy Functional Logic Programs. Claudio Ochoa, Josep Silva, Germán Vidal |
| 2006 | A Tool for Answering Queries on Action Descriptions. Thomas Eiter, Michael Fink, Ján Senko |
| 2006 | A Tool to Facilitate Agent Deliberation. Daniel Bryant, Paul J. Krause, Sotiris Moschoyiannis |
| 2006 | Ambiguity Propagating Defeasible Logic and the Well-Founded Semantics. Frederick Maier, Donald Nute |
| 2006 | An Event-Condition-Action Logic Programming Language. José Júlio Alferes, Federico Banti, Antonio Brogi |
| 2006 | An Implementation for Recognizing Rule Replacements in Non-ground Answer-Set Programs. Thomas Eiter, Patrick Traxler, Stefan Woltran |
| 2006 | An Implementation of a Lightweight Argumentation Engine for Agent Applications. Daniel Bryant, Paul J. Krause |
| 2006 | Analytic Tableau Calculi for KLM Rational Logic R. Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato |
| 2006 | Answer Set Programming: A Declarative Approach to Solving Search Problems. Ilkka Niemelä |
| 2006 | Anti-prenexing and Prenexing for Modal Logics. Cláudia Nalon, Clare Dixon |
| 2006 | April - An Inductive Logic Programming System. Nuno A. Fonseca, Fernando M. A. Silva, Rui Camacho |
| 2006 | Automated Reasoning About Metric and Topology. Ullrich Hustadt, Dmitry Tishkovsky, Frank Wolter, Michael Zakharyaschev |
| 2006 | Automatic Deductive Synthesis of Lisp Programs in the System ALISA. Yulia Korukhova |
| 2006 | Comparing Action Descriptions Based on Semantic Preferences. Thomas Eiter, Esra Erdem, Michael Fink, Ján Senko |
| 2006 | Decidable Fragments of Logic Programming with Value Invention. Francesco Calimeri, Susanna Cozza, Giovambattista Ianni |
| 2006 | Deciding Extensions of the Theory of Arrays by Integrating Decision Procedures and Instantiation Strategies. Silvio Ghilardi, Enrica Nicolini, Silvio Ranise, Daniele Zucchelli |
| 2006 | Distance-Based Repairs of Databases. Ofer Arieli, Marc Denecker, Maurice Bruynooghe |
| 2006 | From Inductive Logic Programming to Relational Data Mining. Saso Dzeroski |
| 2006 | Fuzzy Answer Set Programming. Davy Van Nieuwenborgh, Martine De Cock, Dirk Vermeir |
| 2006 | Hierarchical Argumentation. Sanjay Modgil |
| 2006 | Incomplete Knowledge in Hybrid Probabilistic Logic Programs. Emad Saad |
| 2006 | Inconsistencies in Ontologies. Andrei Voronkov |
| 2006 | Introducing Emiliano Lorini, Andreas Herzig, Cristiano Castelfranchi |
| 2006 | Irrelevant Updates and Nonmonotonic Assumptions. Ján Sefránek |
| 2006 | Knowledge Base Revision in Description Logics. Guilin Qi, Weiru Liu, David A. Bell |
| 2006 | Logics in Artificial Intelligence, 10th European Conference, JELIA 2006, Liverpool, UK, September 13-15, 2006, Proceedings Michael Fisher, Wiebe van der Hoek, Boris Konev, Alexei Lisitsa |
| 2006 | Modal Logics of Negotiation and Preference. Ulle Endriss, Eric Pacuit |
| 2006 | Model Representation over Finite and Infinite Signatures. Christian G. Fermüller, Reinhard Pichler |
| 2006 | Natural Deduction Calculus for Linear-Time Temporal Logic. Alexander Bolotov, Artie Basukoski, Oleg M. Grigoriev, Vasilyi Shangin |
| 2006 | On Arbitrary Selection Strategies for Basic Superposition. Vladimir Aleksic, Anatoli Degtyarev |
| 2006 | On Herbrand's Theorem for Intuitionistic Logic. Alexander V. Lyaletski, Boris Konev |
| 2006 | On the Issue of Reinstatement in Argumentation. Martin Caminada |
| 2006 | On the Logic and Computation of Partial Equilibrium Models. Pedro Cabalar, Sergei P. Odintsov, David Pearce, Agustín Valverde |
| 2006 | On the Semantics of Logic Programs with Preferences. Sergio Greco, Irina Trubitsyna, Ester Zumpano |
| 2006 | Reasoning About Actions Using Description Logics with General TBoxes. Hongkai Liu, Carsten Lutz, Maja Milicic, Frank Wolter |
| 2006 | Reasoning About an Agent Based on Its Revision History with Missing Inputs. Alexander Nittka |
| 2006 | Representing Action Domains with Numeric-Valued Fluents. Esra Erdem, Alfredo Gabaldon |
| 2006 | Representing Causal Information About a Probabilistic Process. Joost Vennekens, Marc Denecker, Maurice Bruynooghe |
| 2006 | The QBFEVAL Web Portal. Massimo Narizzano, Luca Pulina, Armando Tacchella |
| 2006 | Towards Top-k Query Answering in Description Logics: The Case of DL-Lite. Umberto Straccia |
| 2006 | Whatever You Say. Luke Hunsberger |
| 2006 | ccT: A Correspondence-Checking Tool for Logic Programs Under the Answer-Set Semantics. Johannes Oetsch, Martina Seidl, Hans Tompits, Stefan Woltran |
| 2006 | optsat: A Tool for Solving SAT Related Optimization Problems. Enrico Giunchiglia, Marco Maratea |