| 2006 | The QBFEVAL Web Portal. | Massimo Narizzano, Luca Pulina, Armando Tacchella |
| 2006 | Anti-prenexing and Prenexing for Modal Logics. | Cludia Nalon, Clare Dixon |
| 2006 | Hierarchical Argumentation. | Sanjay Modgil |
| 2006 | Ambiguity Propagating Defeasible Logic and the Well-Founded Semantics. | Frederick Maier, Donald Nute |
| 2006 | On Herbrand's Theorem for Intuitionistic Logic. | Alexander V. Lyaletski, Boris Konev |
| 2006 | Introducing | Emiliano Lorini, Andreas Herzig, Cristiano Castelfranchi |
| 2006 | Reasoning About Actions Using Description Logics with General TBoxes. | Hongkai Liu, Carsten Lutz, Maja Milicic, Frank Wolter |
| 2006 | A Fault-Tolerant Default Logic. | Zhangang Lin, Yue Ma, Zuoquan Lin |
| 2006 | Automatic Deductive Synthesis of Lisp Programs in the System ALISA. | Yulia Korukhova |
| 2006 | Automated Reasoning About Metric and Topology. | Ullrich Hustadt, Dmitry Tishkovsky, Frank Wolter, Michael Zakharyaschev |
| 2006 | Whatever You Say. | Luke Hunsberger |
| 2006 | A Modularity Approach for a Fragment of | Andreas Herzig, Ivan Varzinczak |
| 2006 | On the Semantics of Logic Programs with Preferences. | Sergio Greco, Irina Trubitsyna, Ester Zumpano |
| 2006 | optsat: A Tool for Solving SAT Related Optimization Problems. | Enrico Giunchiglia, Marco Maratea |
| 2006 | Analytic Tableau Calculi for KLM Rational Logic R. | Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato |
| 2006 | Deciding Extensions of the Theory of Arrays by Integrating Decision Procedures and Instantiation Strategies. | Silvio Ghilardi, Enrica Nicolini, Silvio Ranise, Daniele Zucchelli |
| 2006 | April - An Inductive Logic Programming System. | Nuno A. Fonseca, Fernando M. A. Silva, Rui Camacho |
| 2006 | Model Representation over Finite and Infinite Signatures. | Christian G. Fermller, Reinhard Pichler |
| 2006 | Representing Action Domains with Numeric-Valued Fluents. | Esra Erdem, Alfredo Gabaldon |
| 2006 | Modal Logics of Negotiation and Preference. | Ulle Endriss, Eric Pacuit |
| 2006 | An Implementation for Recognizing Rule Replacements in Non-ground Answer-Set Programs. | Thomas Eiter, Patrick Traxler, Stefan Woltran |
| 2006 | A Tool for Answering Queries on Action Descriptions. | Thomas Eiter, Michael Fink, Jn Senko |
| 2006 | Comparing Action Descriptions Based on Semantic Preferences. | Thomas Eiter, Esra Erdem, Michael Fink, Jn Senko |
| 2006 | From Inductive Logic Programming to Relational Data Mining. | Saso Dzeroski |
| 2006 | On the Issue of Reinstatement in Argumentation. | Martin Caminada |