| 2012 | Exact Query Reformulation with First-Order Ontologies and Databases. | Enrico Franconi, Volha Kerhet, Nhung Ngo |
| 2012 | How to Exploit Parametric Uniformity for Maximum Entropy Reasoning in a Relational Probabilistic Logic. | Marc Finthammer, Christoph Beierle |
| 2012 | Exploiting Unfounded Sets for HEX-Program Evaluation. | Thomas Eiter, Michael Fink, Thomas Krennwallner, Christoph Redl, Peter Schller |
| 2012 | OMiGA : An Open Minded Grounding On-The-Fly Answer Set Solver. | Minh Dao-Tran, Thomas Eiter, Michael Fink, Gerald Weidinger, Antonius Weinzierl |
| 2012 | Three-Valued Logics for Incomplete Information and Epistemic Logic. | Davide Ciucci, Didier Dubois |
| 2012 | The View-Update Problem for Indefinite Databases. | Luciano Caroprese, Irina Trubitsyna, Miroslaw Truszczynski, Ester Zumpano |
| 2012 | The Complexity of One-Agent Refinement Modal Logic. | Laura Bozzelli, Hans van Ditmarsch, Sophie Pinchinat |
| 2012 | PTL: A Propositional Typicality Logic. | Richard Booth, Thomas Meyer, Ivan Varzinczak |
| 2012 | Inconsistency Management for Traffic Regulations: Formalization and Complexity Results. | Harald Beck, Thomas Eiter, Thomas Krennwallner |
| 2012 | Deciding the Bisimilarity Relation between Datalog Goals. | Philippe Balbiani, Antoun Yaacoub |
| 2012 | DebateWEL: An Interface for Debating with Enthymemes and Logical Formulas. | Julien Balax, Florence Dupin de Saint-Cyr, David Villard |
| 2012 | Generalized DEL-Sequents. | Guillaume Aucher, Bastien Maubert, Franois Schwarzentruber |
| 2012 | Knowledge Means 'All', Belief Means 'Most'. | Dimitris Askounis, Costas D. Koutras, Yorgos Zikos |
| 2012 | Conflict-Tolerant Semantics for Argumentation Frameworks. | Ofer Arieli |
| 2012 | Conditional Epistemic Planning. | Mikkel Birkegaard Andersen, Thomas Bolander, Martin Holm Jensen |
| 2012 | Nested Sequent Calculi for Conditional Logics. | Rgis Alenda, Nicola Olivetti, Gian Luca Pozzato |
| 2012 | Preferential Semantics for the Logic of Comparative Similarity over Triangular and Metric Models. | Rgis Alenda, Nicola Olivetti |
| 2010 | Horn Contraction via Epistemic Entrenchment. | Zhi Qiang Zhuang, Maurice Pagnucco |
| 2010 | An Approximative Inference Method for Solving THERE EXISTS FOR ALL SO Satisfiability Problems. | Hanne Vlaeminck, Johan Wittocx, Joost Vennekens, Marc Denecker, Maurice Bruynooghe |
| 2010 | Embracing Events in Causal Modelling: Interventions and Counterfactuals in CP-Logic. | Joost Vennekens, Maurice Bruynooghe, Marc Denecker |
| 2010 | Tabling with Answer Subsumption: Implementation, Applications and Performance. | Terrance Swift, David Scott Warren |
| 2010 | A Logical Account of Lying. | Chiaki Sakama, Martin Caminada, Andreas Herzig |
| 2010 | Minimal Knowledge and Belief via Minimal Topology. | David Pearce, Levan Uridia |
| 2010 | A Dynamic-Programming Based ASP-Solver. | Michael Morak, Reinhard Pichler, Stefan Rmmele, Stefan Woltran |
| 2010 | DLV | Marco Maratea, Francesco Ricca, Pierfrancesco Veltri |