| 2014 | The D-FLAT System for Dynamic Programming on Tree Decompositions. | Michael Abseher, Bernhard Bliem, Gnther Charwat, Frederico Dusberger, Markus Hecher, Stefan Woltran |
| 2012 | A Preferential Framework for Trivialization-Resistant Reasoning with Inconsistent Information. | Anna Zamansky |
| 2012 | Qualitative Approximate Behavior Composition. | Nitin Yadav, Sebastian Sardia |
| 2012 | Reasoning about Agent Programs Using ATL-Like Logics. | Nitin Yadav, Sebastian Sardia |
| 2012 | Beyond Maxi-Consistent Argumentation Operators. | Srdjan Vesic, Leendert W. N. van der Torre |
| 2012 | Jumping to Conclusions - A Logico-Probabilistic Foundation for Defeasible Rule-Based Arguments. | Bart Verheij |
| 2012 | On Satisfiability in ATL with Strategy Contexts. | Nicolas Troquard, Dirk Walther |
| 2012 | The Tableau Prover Generator MetTeL2. | Dmitry Tishkovsky, Renate A. Schmidt, Mohammad Khodadadi |
| 2012 | Verifying Brahms Human-Robot Teamwork Models. | Richard Stocker, Louise A. Dennis, Clare Dixon, Michael Fisher |
| 2012 | A Unifying Perspective on Knowledge Updates. | Martin Slota, Joo Leite |
| 2012 | Building an Epistemic Logic for Argumentation. | Franois Schwarzentruber, Srdjan Vesic, Tjitze Rienstra |
| 2012 | Minimal Proof Search for Modal Logic K Model Checking. | Abdallah Saffidine |
| 2012 | Using Satisfiability for Non-optimal Temporal Planning. | Masood Feyzbakhsh Rankooh, Ali Mahjoob, Gholamreza Ghassem-Sani |
| 2012 | Relevant Minimal Change in Belief Update. | Laurent Perrussel, Jerusa Marchi, Jean-Marc Thvenin, Dongmo Zhang |
| 2012 | A System for the Use of Answer Set Programming in Reinforcement Learning. | Matthias Nickles |
| 2012 | The Multi-Engine ASP Solver me-asp. | Marco Maratea, Luca Pulina, Francesco Ricca |
| 2012 | Sequent Systems for Lewis' Conditional Logics. | Bjrn Lellmann, Dirk Pattinson |
| 2012 | A Framework for Semantic-Based Similarity Measures for $\mathcal{ELH}$ -Concepts. | Karsten Lehmann, Anni-Yasmin Turhan |
| 2012 | Belief Base Change Operations for Answer Set Programming. | Patrick Krmpelmann, Gabriele Kern-Isberner |
| 2012 | Large-Scale Cost-Based Abduction in Full-Fledged First-Order Predicate Logic with Cutting Plane Inference. | Naoya Inoue, Kentaro Inui |
| 2012 | Fault Tolerance in Belief Formation Networks. | Sarah Holbrook, Pavel Naumov |
| 2012 | On Decidability of a Logic for Order of Magnitude Qualitative Reasoning with Bidirectional Negligibility. | Joanna Golinska-Pilarek |
| 2012 | Extending a Temporal Defeasible Argumentation Framework with Possibilistic Weights. | Llus Godo, Enrico Marchioni, Pere Pardo |
| 2012 | A Minimal Model Semantics for Nonmonotonic Reasoning. | Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato |
| 2012 | A Selective Semantics for Logic Programs with Preferences. | Alfredo Gabaldon |