| 2016 | A General Modifier-Based Framework for Inconsistency-Tolerant Query Answering. Jean-François Baget, Salem Benferhat, Zied Bouraoui, Madalina Croitoru, Marie-Laure Mugnier, Odile Papini, Swan Rocher, Karim Tabia |
| 2016 | A Higher-Order Semantics for Metaquerying in OWL 2 QL. Maurizio Lenzerini, Lorenzo Lepore, Antonella Poggi |
| 2016 | A MIS Partition Based Framework for Measuring Inconsistency. Saïd Jabbour, Yue Ma, Badran Raddaoui, Lakhdar Sais, Yakoub Salhi |
| 2016 | A Multi-Aspect Evaluation Framework for Comments on the Social Web. Theodore Patkos, Antonis Bikakis, Giorgos Flouris |
| 2016 | A SAT Approach for Maximizing Satisfiability in Qualitative Spatial and Temporal Constraint Networks. Jean-François Condotta, Issam Nouaouri, Michael Sioutis |
| 2016 | ABA+: Assumption-Based Argumentation with Preferences. Kristijonas Cyras, Francesca Toni |
| 2016 | Abstract Argumentation for Case-Based Reasoning. Kristijonas Cyras, Ken Satoh, Francesca Toni |
| 2016 | An Abstract Logical Approach to Characterizing Strong Equivalence in Logic-based Knowledge Representation Formalisms. Ringo Baumann, Hannes Strass |
| 2016 | An Analysis of the Equational Properties of the Well-Founded Fixed Point. Arnaud Carayol, Zoltán Ésik |
| 2016 | Anti-Unification of Concepts in Description Logic EL. Boris Konev, Temur Kutsia |
| 2016 | Approximations and Refinements of Certain Answers via Many-Valued Logics. Marco Console, Paolo Guagliardo, Leonid Libkin |
| 2016 | Argumentative Approaches to Reasoning with Maximal Consistency. Ofer Arieli, Christian Straßer |
| 2016 | Axiomatic Foundations of Acceptability Semantics. Leila Amgoud, Jonathan Ben-Naim |
| 2016 | Bayesian Deduction with Subjective Opinions. Magdalena Ivanovska, Audun Jøsang, Francesco Sambo |
| 2016 | Bisimulations on Data Graphs. Sergio Abriola, Pablo Barceló, Diego Figueira, Santiago Figueira |
| 2016 | Boolean Hedonic Games. Haris Aziz, Paul Harrenstein, Jérôme Lang, Michael J. Wooldridge |
| 2016 | Building Epistemic Logic from Observations and Public Announcements. Tristan Charrier, Andreas Herzig, Emiliano Lorini, Faustine Maffre, François Schwarzentruber |
| 2016 | Characterizing Equivalence Notions for Labelling-Based Semantics. Ringo Baumann |
| 2016 | Closed Predicates in Description Logics: Results on Combined Complexity. Nhung Ngo, Magdalena Ortiz, Mantas Simkus |
| 2016 | Cognitive Affordance Representations in Uncertain Logic. Vasanth Sarathy, Matthias Scheutz |
| 2016 | Commonsense Causal Reasoning between Short Texts. Zhiyi Luo, Yuchen Sha, Kenny Q. Zhu, Seung-won Hwang, Zhongyuan Wang |
| 2016 | Complexity of the Description Logic ALCM. Monica Martinez, Edelweis Rohrer, Paula Severi |
| 2016 | Consolidating Probabilistic Knowledge Bases via Belief Contraction. Glauber De Bona, Marcelo Finger, Márcio Moretto Ribeiro, Yuri David Santos, Renata Wassermann |
| 2016 | Containment in Monadic Disjunctive Datalog, MMSNP, and Expressive Description Logics. Pierre Bourhis, Carsten Lutz |
| 2016 | Decidable Reasoning in a Logic of Limited Belief with Function Symbols. Gerhard Lakemeyer, Hector J. Levesque |
| 2016 | Declarative Solver Development: Case Studies. Bart Bogaerts, Tomi Janhunen, Shahab Tasharrofi |
| 2016 | Discontinuity-Free Decision Support with Quantitative Argumentation Debates. Antonio Rago, Francesca Toni, Marco Aurisicchio, Pietro Baroni |
| 2016 | Easy OWL Drawing with the Graphol Visual Ontology Language. Domenico Lembo, Daniele Pantaleone, Valerio Santarelli, Domenico Fabio Savo |
| 2016 | Encoding Large RCC8 Scenarios Using Rectangular Pseudo-Solutions. Zhiguo Long, Steven Schockaert, Sanjiang Li |
| 2016 | Expressive Description Logic with Instantiation Metamodelling. Petra Kubincová, Ján Kluka, Martin Homola |
| 2016 | Extending Consequence-Based Reasoning to SRIQ. Andrew Bate, Boris Motik, Bernardo Cuenca Grau, Frantisek Simancík, Ian Horrocks |
| 2016 | Foundations for Generalized Planning in Unbounded Stochastic Domains. Vaishak Belle, Hector J. Levesque |
| 2016 | Generalized Consistent Query Answering under Existential Rules. Thomas Eiter, Thomas Lukasiewicz, Livia Predoiu |
| 2016 | Guiding Planning Engines by Transition-Based Domain Control Knowledge. Lukás Chrpa, Roman Barták |
| 2016 | Imperfect Information in Reactive Modules Games. Julian Gutierrez, Giuseppe Perelli, Michael J. Wooldridge |
| 2016 | Implicit Hitting Set Algorithms for Reasoning Beyond NP. Paul Saikko, Johannes P. Wallner, Matti Järvisalo |
| 2016 | Infinite Paths in the Situation Calculus: Axiomatization and Properties. Shakil M. Khan, Yves Lespérance |
| 2016 | Knowledge Compilation for Lifted Probabilistic Inference: Compiling to a Low-Level Language. Seyed Mehran Kazemi, David Poole |
| 2016 | Knowledge Graph Embedding by Flexible Translation. Jun Feng, Minlie Huang, Mingdong Wang, Mantong Zhou, Yu Hao, Xiaoyan Zhu |
| 2016 | Limiting Logical Violations in Ontology Alignnment Through Negotiation. Ernesto Jiménez-Ruiz, Terry R. Payne, Alessandro Solimando, Valentina Tamma |
| 2016 | Merging of Abstract Argumentation Frameworks. Jérôme Delobelle, Adrian Haret, Sébastien Konieczny, Jean-Guy Mailly, Julien Rossit, Stefan Woltran |
| 2016 | Minimality Postulates for Ontology Revision. Özgür Lütfü Özçep |
| 2016 | Model Checking Multi-Agent Systems against Epistemic HS Specifications with Regular Expressions. Alessio Lomuscio, Jakub Michaliszyn |
| 2016 | Model Checking Well-Behaved Fragments of HS: The (Almost) Final Picture. Alberto Molinari, Angelo Montanari, Adriano Peron, Pietro Sala |
| 2016 | Negation Without Negation in Probabilistic Logic Programming. David Buchman, David Poole |
| 2016 | On Expressibility of Non-Monotone Operators in SPARQL. Roman Kontchakov, Egor V. Kostylev |
| 2016 | On First-Order μ-Calculus over Situation Calculus Action Theories. Diego Calvanese, Giuseppe De Giacomo, Marco Montali, Fabio Patrizi |
| 2016 | On Logics and Semantics of Indeterminate Causation. Alexander Bochman |
| 2016 | On Partial Information and Contradictions in Probabilistic Abstract Argumentation. Anthony Hunter, Matthias Thimm |
| 2016 | On Referring Expressions in Query Answering over First Order Knowledge Bases. Alexander Borgida, David Toman, Grant E. Weddell |
| 2016 | On the Functional Completeness of Argumentation Semantics. Massimiliano Giacomin, Thomas Linsbichler, Stefan Woltran |
| 2016 | On the Justification of Statements in Argumentation-based Reasoning. Pietro Baroni, Guido Governatori, Ho-Pun Lam, Régis Riveret |
| 2016 | Online Situation-Determined Agents and their Supervision. Bita Banihashemi, Giuseppe De Giacomo, Yves Lespérance |
| 2016 | Open-World Probabilistic Databases. Ismail Ilkan Ceylan, Adnan Darwiche, Guy Van den Broeck |
| 2016 | Parameterized Complexity Results for Symbolic Model Checking of Temporal Logics. Ronald de Haan, Stefan Szeider |
| 2016 | Preference and Priorities: A Study Based on Contrction. Marlo Souza, Álvaro F. Moreira, Renata Vieira, John-Jules Ch. Meyer |
| 2016 | Principles of Knowledge Representation and Reasoning: Proceedings of the Fifteenth International Conference, KR 2016, Cape Town, South Africa, April 25-29, 2016. Chitta Baral, James P. Delgrande, Frank Wolter |
| 2016 | Probabilistic Models over Weighted Orderings: Fixed-Parameter Tractable Variable Elimination. Thomas Lukasiewicz, Maria Vanina Martinez, David Poole, Gerardo Ignacio Simari |
| 2016 | Prompt Alternating-Time Epistemic Logics. Benjamin Aminof, Aniello Murano, Sasha Rubin, Florian Zuleger |
| 2016 | Quantifying Conflicts for Spatial and Temporal Information. Jean-François Condotta, Badran Raddaoui, Yakoub Salhi |
| 2016 | Query-Based Comparison of Mappings in Ontology-Based Data Access. Meghyn Bienvenu, Riccardo Rosati |
| 2016 | Ranking Arguments With Compensation-Based Semantics. Leila Amgoud, Jonathan Ben-Naim, Dragan Doder, Srdjan Vesic |
| 2016 | Reasoning about Truthfulness of Agents Using Answer Set Programming. Tran Cao Son, Enrico Pontelli, Michael Gelfond, Marcello Balduccini |
| 2016 | Regular Open APIs. Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Moshe Y. Vardi |
| 2016 | Representative Solutions for Multi-Objective Constraint Optimization Problems. Nicolas Schwind, Tenda Okimoto, Maxime Clement, Katsumi Inoue |
| 2016 | Sequential Equilibrium in Games of Imperfect Recall. Joseph Y. Halpern, Rafael Pass |
| 2016 | Solving PP Umut Oztok, Arthur Choi, Adnan Darwiche |
| 2016 | Some Complexity Results on Inconsistency Measurement. Matthias Thimm, Johannes P. Wallner |
| 2016 | Succinctness of Languages for Judgment Aggregation. Ulle Endriss, Umberto Grandi, Ronald de Haan, Jérôme Lang |
| 2016 | The Ultimate Guide to Forgetting in Answer Set Programming. Ricardo Gonçalves, Matthias Knorr, João Leite |
| 2016 | Undecidability Results for Database-Inspired Reasoning Problems in Very Expressive Description Logics. Sebastian Rudolph |
| 2016 | Unsupervised Grounding of Textual Descriptions of Object Features and Actions in Video. Muhannad Al-Omari, Eris Chinellato, Yiannis Gatsoulis, David C. Hogg, Anthony G. Cohn |
| 2016 | Using Defeasible Information to Obtain Coherence. Giovanni Casini, Thomas Andreas Meyer |
| 2016 | Using Metric Temporal Logic to Specify Scheduling Problems. Roy Luo, Richard Anthony Valenzano, Yi Li, J. Christopher Beck, Sheila A. McIlraith |
| 2016 | Weighted Rules under the Stable Model Semantics. Joohyung Lee, Yi Wang |
| 2016 | jArgSemSAT: An Efficient Off-the-Shelf Solver for Abstract Argumentation Frameworks. Federico Cerutti, Mauro Vallati, Massimiliano Giacomin |