| 2018 | Automatically Identifying Drug Conflicts in Clinical Practice Guidelines. | Antnio Silva, Tiago Oliveira, Ken Satoh, Paulo Novais |
| 2018 | Variable Elimination for DLP-Functions. | Ricardo Gonalves, Tomi Janhunen, Matthias Knorr, Joo Leite, Stefan Woltran |
| 2018 | On Strengthening the Logic of Iterated Belief Revision: Proper Ordinal Interval Operators. | Richard Booth, Jake Chandler |
| 2016 | Some Complexity Results on Inconsistency Measurement. | Matthias Thimm, Johannes P. Wallner |
| 2016 | Preference and Priorities: A Study Based on Contrction. | Marlo Souza, lvaro F. Moreira, Renata Vieira, John-Jules Ch. Meyer |
| 2016 | Reasoning about Truthfulness of Agents Using Answer Set Programming. | Tran Cao Son, Enrico Pontelli, Michael Gelfond, Marcello Balduccini |
| 2016 | Representative Solutions for Multi-Objective Constraint Optimization Problems. | Nicolas Schwind, Tenda Okimoto, Maxime Clement, Katsumi Inoue |
| 2016 | Cognitive Affordance Representations in Uncertain Logic. | Vasanth Sarathy, Matthias Scheutz |
| 2016 | Implicit Hitting Set Algorithms for Reasoning Beyond NP. | Paul Saikko, Johannes P. Wallner, Matti Jrvisalo |
| 2016 | Undecidability Results for Database-Inspired Reasoning Problems in Very Expressive Description Logics. | Sebastian Rudolph |
| 2016 | Discontinuity-Free Decision Support with Quantitative Argumentation Debates. | Antonio Rago, Francesca Toni, Marco Aurisicchio, Pietro Baroni |
| 2016 | A Multi-Aspect Evaluation Framework for Comments on the Social Web. | Theodore Patkos, Antonis Bikakis, Giorgos Flouris |
| 2016 | Solving PP | Umut Oztok, Arthur Choi, Adnan Darwiche |
| 2016 | Minimality Postulates for Ontology Revision. | zgr Ltf zep |
| 2016 | Closed Predicates in Description Logics: Results on Combined Complexity. | Nhung Ngo, Magdalena Ortiz, Mantas Simkus |
| 2016 | Model Checking Well-Behaved Fragments of HS: The (Almost) Final Picture. | Alberto Molinari, Angelo Montanari, Adriano Peron, Pietro Sala |
| 2016 | Complexity of the Description Logic ALCM. | Monica Martinez, Edelweis Rohrer, Paula Severi |
| 2016 | Using Metric Temporal Logic to Specify Scheduling Problems. | Roy Luo, Richard Anthony Valenzano, Yi Li, J. Christopher Beck, Sheila A. McIlraith |
| 2016 | Commonsense Causal Reasoning between Short Texts. | Zhiyi Luo, Yuchen Sha, Kenny Q. Zhu, Seung-won Hwang, Zhongyuan Wang |
| 2016 | Probabilistic Models over Weighted Orderings: Fixed-Parameter Tractable Variable Elimination. | Thomas Lukasiewicz, Maria Vanina Martinez, David Poole, Gerardo Ignacio Simari |
| 2016 | Encoding Large RCC8 Scenarios Using Rectangular Pseudo-Solutions. | Zhiguo Long, Steven Schockaert, Sanjiang Li |
| 2016 | Model Checking Multi-Agent Systems against Epistemic HS Specifications with Regular Expressions. | Alessio Lomuscio, Jakub Michaliszyn |
| 2016 | A Higher-Order Semantics for Metaquerying in OWL 2 QL. | Maurizio Lenzerini, Lorenzo Lepore, Antonella Poggi |
| 2016 | Easy OWL Drawing with the Graphol Visual Ontology Language. | Domenico Lembo, Daniele Pantaleone, Valerio Santarelli, Domenico Fabio Savo |
| 2016 | Weighted Rules under the Stable Model Semantics. | Joohyung Lee, Yi Wang |