| 2010 | Preprocessing Boolean Formulae for BDDs in a Probabilistic Context. | Theofrastos Mantadelis, Ricardo Rocha, Angelika Kimmig, Gerda Janssens |
| 2010 | Translating First-Order Causal Theories into Answer Set Programming. | Vladimir Lifschitz, Fangkai Yang |
| 2010 | Efficient Inferencing for OWL EL. | Markus Krtzsch |
| 2010 | Stable Belief Sets Revisited. | Costas D. Koutras, Yorgos Zikos |
| 2010 | Untitled record | Szymon Klarman, Vctor Gutirrez-Basulto |
| 2010 | Counterexample Guided Abstraction Refinement Algorithm for Propositional Circumscription. | Mikols Janota, Radu Grigore, Joo Marques-Silva |
| 2010 | Parametrized Logic Programming. | Ricardo Gonalves, Jos Jlio Alferes |
| 2010 | An Incremental Answer Set Programming Based System for Finite ModelComputation. | Martin Gebser, Orkunt Sabuncu, Torsten Schaub |
| 2010 | Coala: A Compiler from Action Languages to ASP. | Martin Gebser, Torsten Grote, Torsten Schaub |
| 2010 | A Logical Semantics for Description Logic Programs. | Michael Fink, David Pearce |
| 2010 | Preference-Based Inconsistency Assessment in Multi-Context Systems. | Thomas Eiter, Michael Fink, Antonius Weinzierl |
| 2010 | Counter Systems for Data Logics. | Stphane Demri |
| 2010 | Relax, Compensate and Then Recover: A Theory of Anytime, Approximate Inference. | Adnan Darwiche |
| 2010 | Retroactive Subsumption-Based Tabled Evaluation of Logic Programs. | Flvio Cruz, Ricardo Rocha |
| 2010 | Sets of Boolean Connectives That Make Argumentation Easier. | Nadia Creignou, Johannes Schmidt, Michael Thomas, Stefan Woltran |
| 2010 | dl2asp: Implementing Default Logic via Answer Set Programming. | Yin Chen, Hai Wan, Yan Zhang, Yi Zhou |
| 2010 | Extensional Higher-Order Logic Programming. | Angelos Charalambidis, Konstantinos Handjopoulos, Panos Rondogiannis, William W. Wadge |
| 2010 | Rational Closure for Defeasible Description Logics. | Giovanni Casini, Umberto Straccia |
| 2010 | A Normal Form for Linear Temporal Equilibrium Logic. | Pedro Cabalar |
| 2010 | Nonmonotonic Tools for Argumentation. | Gerhard Brewka |
| 2010 | A Decidable Constructive Description Logic. | Loris Bozzato, Mauro Ferrari, Camillo Fiorentini, Guido Fiorino |
| 2010 | The mcs-ie System for Explaining Inconsistency in Multi-Context Systems. | Markus Bgl, Thomas Eiter, Michael Fink, Peter Schller |
| 2010 | Bridging Possibilistic Conditional Knowledge Bases and Partially Ordered Bases. | Salem Benferhat, Sylvain Lagrue, Safa Yahi |
| 2010 | The DMCS Solver for Distributed Nonmonotonic Multi-Context Systems. | Seif El-Din Bairakdar, Minh Dao-Tran, Thomas Eiter, Michael Fink, Thomas Krennwallner |
| 2010 | Decomposition of Distributed Nonmonotonic Multi-Context Systems. | Seif El-Din Bairakdar, Minh Dao-Tran, Thomas Eiter, Michael Fink, Thomas Krennwallner |