| 2019 | Algorithm Selection for Paracoherent Answer Set Computation. | Giovanni Amendola, Carmine Dodaro, Wolfgang Faber, Luca Pulina, Francesco Ricca |
| 2019 | Chain Answer Sets for Logic Programs with Generalized Atoms. | Mario Alviano, Wolfgang Faber |
| 2019 | ACUOS | Mara Alpuente, Demis Ballis, Angel Cuenca-Ortega, Santiago Escobar, Jos Meseguer |
| 2019 | Memory-Saving Evaluation Plans for Datalog. | Carlo Allocca, Roberta Costabile, Alessio Fiorentino, Simona Perri, Jessica Zangari |
| 2019 | A Logic of Objective and Subjective Oughts. | Aldo Ivn Ramrez Abarca, Jan M. Broersen |
| 2019 | Extending | Laura Giordano, Alberto Policriti |
| 2016 | Characterizability in Horn Belief Revision. | Jon Yaggie, Gyrgy Turn |
| 2016 | Correct Grounded Reasoning with Presumptive Arguments. | Bart Verheij |
| 2016 | Measuring Inconsistency in Answer Set Programs. | Markus Ulbricht, Matthias Thimm, Gerhard Brewka |
| 2016 | A Two-Phase Dialogue Game for Skeptical Preferred Semantics. | Zohreh Shams, Nir Oren |
| 2016 | Reactive Policies with Planning for Action Languages. | Zeynep G. Saribatur, Thomas Eiter |
| 2016 | Extensional Semantics for Higher-Order Logic Programs with Negation. | Panos Rondogiannis, Ioanna Symeonidou |
| 2016 | Understanding the Abstract Dialectical Framework. | Sylwia Polberg |
| 2016 | DRAT Proofs for XOR Reasoning. | Tobias Philipp, Adrian Rebola-Pardo |
| 2016 | Kinetic Consistency and Relevance in Belief Revision. | Pavlos Peppas, Mary-Anne Williams |
| 2016 | Pakota: A System for Enforcement in Abstract Argumentation. | Andreas Niskanen, Johannes P. Wallner, Matti Jrvisalo |
| 2016 | A Tool for Probabilistic Reasoning Based on Logic Programming and First-Order Theories Under Stable Model Semantics. | Matthias Nickles |
| 2016 | Information Flow Under Budget Constraints. | Pavel Naumov, Jia Tao |
| 2016 | Prompt Interval Temporal Logic. | Dario Della Monica, Angelo Montanari, Aniello Murano, Pietro Sala |
| 2016 | Efficient Reasoning for Inconsistent Horn Formulae. | Joo Marques-Silva, Alexey Ignatiev, Carlos Menca, Rafael Pealoza |
| 2016 | Proving Craig and Lyndon Interpolation Using Labelled Sequent Calculi. | Roman Kuznets |
| 2016 | Revising Possibilistic Knowledge Bases via Compatibility Degrees. | Yifan Jin, Kewen Wang, Zhe Wang, Zhiqiang Zhuang |
| 2016 | GenB: A General Solver for AGM Revision. | Aaron Hunter, Eric Tsang |
| 2016 | Refinement of Intentions. | Andreas Herzig, Laurent Perrussel, Zhanhao Xiao, Dongmo Zhang |
| 2016 | On Hierarchical Task Networks. | Andreas Herzig, Laurent Perrussel, Zhanhao Xiao |