| 2016 | Incremental Computation of Deterministic Extensions for Dynamic Argumentation Frameworks. | Sergio Greco, Francesco Parisi |
| 2016 | Standard Sequent Calculi for Lewis' Logics of Counterfactuals. | Marianna Girlando, Bjrn Lellmann, Nicola Olivetti, Gian Luca Pozzato |
| 2016 | Writing Declarative Specifications for Clauses. | Martin Gebser, Tomi Janhunen, Roland Kaminski, Torsten Schaub, Shahab Tasharrofi |
| 2016 | Reasoning About Justified Belief Based on the Fusion of Evidence. | Tuan-Fang Fan, Churn-Jung Liau |
| 2016 | Exploiting Contextual Knowledge for Hybrid Classification of Visual Objects. | Thomas Eiter, Tobias Kaminski |
| 2016 | Iteratively-Supported Formulas and Strongly Supported Models for Kleene Answer Set Programs - (Extended Abstract). | Patrick Doherty, Jonas Kvarnstrm, Andrzej Szalas |
| 2016 | Opposition Frameworks. | Cosmina Croitoru, Kurt Mehlhorn |
| 2016 | Introducing Role Defeasibility in Description Logics. | Katarina Britz, Ivan Varzinczak |
| 2016 | Inconsistency Management in Reactive Multi-context Systems. | Gerhard Brewka, Stefan Ellmauthaler, Ricardo Gonalves, Matthias Knorr, Joo Leite, Jrg Phrer |
| 2016 | On the Expressiveness of Temporal Equilibrium Logic. | Laura Bozzelli, David Pearce |
| 2016 | Decidability and Expressivity of Ockhamist Propositional Dynamic Logics. | Joseph Boudou, Emiliano Lorini |
| 2016 | A Relaxation of Internal Conflict and Defence in Weighted Argumentation Frameworks. | Stefano Bistarelli, Fabio Rossi, Francesco Santini |
| 2016 | A Three-Value Abstraction Technique for the Verification of Epistemic Properties in Multi-agent Systems. | Francesco Belardinelli, Alessio Lomuscio |
| 2016 | Rule-based Stream Reasoning for Intelligent Administration of Content-Centric Networks. | Harald Beck, Bruno Bierbaumer, Minh Dao-Tran, Thomas Eiter, Hermann Hellwagner, Konstantin Schekotihin |
| 2016 | Formalizing Goal Serializability for Evaluation of Planning Features. | Reza Basseda, Michael Kifer |
| 2016 | Temporal Here and There. | Philippe Balbiani, Martn Diguez |
| 2016 | On Logics of Group Belief in Structured Coalitions. | Philippe Balbiani, David Pearce, Levan Uridia |
| 2016 | Inconsistency-Tolerant Query Answering: Rationality Properties and Computational Complexity Analysis. | Jean-Franois Baget, Salem Benferhat, Zied Bouraoui, Madalina Croitoru, Marie-Laure Mugnier, Odile Papini, Swan Rocher, Karim Tabia |
| 2016 | Approximate Unification in the Description Logic | Franz Baader, Pavlos Marantidis, Alexander Okhotin |
| 2016 | Hilbert-Style Axiomatization for Hybrid XPath with Data. | Carlos Areces, Raul Fervari |
| 2016 | On Decidability of a Logic of Gossips. | Krzysztof R. Apt, Dominik Wojtczak |
| 2016 | Metabolic Pathways as Temporal Logic Programs. | Jean-Marc Alliot, Martn Diguez, Luis Farias del Cerro |
| 2016 | Forgetting in ASP: The Forgotten Properties. | Ricardo Gonalves, Matthias Knorr, Joo Leite |
| 2014 | Finitary S5-Theories. | Tran Cao Son, Enrico Pontelli, Chitta Baral, Gregory Gelfond |
| 2014 | Incremental SAT-Based Method with Native Boolean Cardinality Handling for the Hamiltonian Cycle Problem. | Takehide Soh, Daniel Le Berre, Stphanie Roussel, Mutsunori Banbara, Naoyuki Tamura |