| 2008 | Recovering Consistency by Forgetting Inconsistency. | Sylvie Coste-Marquis, Pierre Marquis |
| 2008 | Declarative Semantics for Revision Programming and Connections to Active Integrity Constraints. | Luciano Caroprese, Miroslaw Truszczynski |
| 2008 | A Logic for Closed-World Interaction. | Jan M. Broersen, Rosja Mastop, John-Jules Ch. Meyer, Paolo Turrini |
| 2008 | Normal Form Nested Programs. | Annamaria Bria, Wolfgang Faber, Nicola Leone |
| 2008 | Optimal Tableaux for Right Propositional Neighborhood Logic over Linear Orders. | Davide Bresolin, Angelo Montanari, Pietro Sala, Guido Sciavicco |
| 2008 | Complexity and Succinctness Issues for Linear-Time Hybrid Logics. | Laura Bozzelli, Ruggero Lanotte |
| 2008 | Propositional Clausal Defeasible Logic. | David Billington |
| 2008 | Consistency Preservation and Crazy Formulas in BMS. | Guillaume Aucher |
| 2008 | Justification Logic. | Sergei N. Artmov |
| 2008 | Strongly Equivalent Temporal Logic Programs. | Felicidad Aguado, Pedro Cabalar, Gilberto Prez, Concepcin Vidal |
| 2006 | Inconsistencies in Ontologies. | Andrei Voronkov |
| 2006 | Representing Causal Information About a Probabilistic Process. | Joost Vennekens, Marc Denecker, Maurice Bruynooghe |
| 2006 | Towards Top-k Query Answering in Description Logics: The Case of DL-Lite. | Umberto Straccia |
| 2006 | : Tableaux and Resolution for Finite Abduction. | Fernando Soler-Toscano, ngel Nepomuceno-Fernndez |
| 2006 | Irrelevant Updates and Nonmonotonic Assumptions. | Jn Sefrnek |
| 2006 | A Formal Analysis of KGP Agents. | Fariba Sadri, Francesca Toni |
| 2006 | Incomplete Knowledge in Hybrid Probabilistic Logic Programs. | Emad Saad |
| 2006 | A Logic-Based Tool for Semantic Information Extraction. | Massimo Ruffolo, Marco Manna, Lorenzo Gallucci, Nicola Leone, Domenico Sacc |
| 2006 | Knowledge Base Revision in Description Logics. | Guilin Qi, Weiru Liu, David A. Bell |
| 2006 | ccT: A Correspondence-Checking Tool for Logic Programs Under the Answer-Set Semantics. | Johannes Oetsch, Martina Seidl, Hans Tompits, Stefan Woltran |
| 2006 | A Slicing Tool for Lazy Functional Logic Programs. | Claudio Ochoa, Josep Silva, Germn Vidal |
| 2006 | Reasoning About an Agent Based on Its Revision History with Missing Inputs. | Alexander Nittka |
| 2006 | Fuzzy Answer Set Programming. | Davy Van Nieuwenborgh, Martine De Cock, Dirk Vermeir |
| 2006 | Answer Set Programming: A Declarative Approach to Solving Search Problems. | Ilkka Niemel |
| 2006 | A Bottom-Up Method for the Deterministic Horn Fragment of the Description Logic | Linh Anh Nguyen |