| 2010 | A Decidable Constructive Description Logic. Loris Bozzato, Mauro Ferrari, Camillo Fiorentini, Guido Fiorino |
| 2010 | A Dynamic-Programming Based ASP-Solver. Michael Morak, Reinhard Pichler, Stefan Rümmele, Stefan Woltran |
| 2010 | A Logical Account of Lying. Chiaki Sakama, Martin Caminada, Andreas Herzig |
| 2010 | A Logical Semantics for Description Logic Programs. Michael Fink, David Pearce |
| 2010 | A Normal Form for Linear Temporal Equilibrium Logic. Pedro Cabalar |
| 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 | An Incremental Answer Set Programming Based System for Finite ModelComputation. Martin Gebser, Orkunt Sabuncu, Torsten Schaub |
| 2010 | Bridging Possibilistic Conditional Knowledge Bases and Partially Ordered Bases. Salem Benferhat, Sylvain Lagrue, Safa Yahi |
| 2010 | Coala: A Compiler from Action Languages to ASP. Martin Gebser, Torsten Grote, Torsten Schaub |
| 2010 | Counter Systems for Data Logics. Stéphane Demri |
| 2010 | Counterexample Guided Abstraction Refinement Algorithm for Propositional Circumscription. Mikolás Janota, Radu Grigore, João Marques-Silva |
| 2010 | DLV Marco Maratea, Francesco Ricca, Pierfrancesco Veltri |
| 2010 | Decomposition of Distributed Nonmonotonic Multi-Context Systems. Seif El-Din Bairakdar, Minh Dao-Tran, Thomas Eiter, Michael Fink, Thomas Krennwallner |
| 2010 | Efficient Inferencing for OWL EL. Markus Krötzsch |
| 2010 | Embracing Events in Causal Modelling: Interventions and Counterfactuals in CP-Logic. Joost Vennekens, Maurice Bruynooghe, Marc Denecker |
| 2010 | Extensional Higher-Order Logic Programming. Angelos Charalambidis, Konstantinos Handjopoulos, Panos Rondogiannis, William W. Wadge |
| 2010 | Horn Contraction via Epistemic Entrenchment. Zhi Qiang Zhuang, Maurice Pagnucco |
| 2010 | Logics in Artificial Intelligence - 12th European Conference, JELIA 2010, Helsinki, Finland, September 13-15, 2010. Proceedings Tomi Janhunen, Ilkka Niemelä |
| 2010 | Minimal Knowledge and Belief via Minimal Topology. David Pearce, Levan Uridia |
| 2010 | Nonmonotonic Tools for Argumentation. Gerhard Brewka |
| 2010 | Parametrized Logic Programming. Ricardo Gonçalves, José Júlio Alferes |
| 2010 | Preference-Based Inconsistency Assessment in Multi-Context Systems. Thomas Eiter, Michael Fink, Antonius Weinzierl |
| 2010 | Preprocessing Boolean Formulae for BDDs in a Probabilistic Context. Theofrastos Mantadelis, Ricardo Rocha, Angelika Kimmig, Gerda Janssens |
| 2010 | Rational Closure for Defeasible Description Logics. Giovanni Casini, Umberto Straccia |
| 2010 | Relax, Compensate and Then Recover: A Theory of Anytime, Approximate Inference. Adnan Darwiche |
| 2010 | Retroactive Subsumption-Based Tabled Evaluation of Logic Programs. Flávio Cruz, Ricardo Rocha |
| 2010 | Sets of Boolean Connectives That Make Argumentation Easier. Nadia Creignou, Johannes Schmidt, Michael Thomas, Stefan Woltran |
| 2010 | Similarity-Based Inconsistency-Tolerant Logics. Ofer Arieli, Anna Zamansky |
| 2010 | Stable Belief Sets Revisited. Costas D. Koutras, Yorgos Zikos |
| 2010 | Tabling with Answer Subsumption: Implementation, Applications and Performance. Terrance Swift, David Scott Warren |
| 2010 | The DMCS Solver for Distributed Nonmonotonic Multi-Context Systems. Seif El-Din Bairakdar, Minh Dao-Tran, Thomas Eiter, Michael Fink, Thomas Krennwallner |
| 2010 | The mcs-ie System for Explaining Inconsistency in Multi-Context Systems. Markus Bögl, Thomas Eiter, Michael Fink, Peter Schüller |
| 2010 | Translating First-Order Causal Theories into Answer Set Programming. Vladimir Lifschitz, Fangkai Yang |
| 2010 | dl2asp: Implementing Default Logic via Answer Set Programming. Yin Chen, Hai Wan, Yan Zhang, Yi Zhou |