default search action
15th KR 2016: Cape Town, South Africa
- Chitta Baral, James P. Delgrande, Frank Wolter:
Principles of Knowledge Representation and Reasoning: Proceedings of the Fifteenth International Conference, KR 2016, Cape Town, South Africa, April 25-29, 2016. AAAI Press 2016, ISBN 978-1-57735-755-1
Full Paper: Argumentation
- Leila Amgoud, Jonathan Ben-Naim:
Axiomatic Foundations of Acceptability Semantics. 2-11 - Leila Amgoud, Jonathan Ben-Naim, Dragan Doder, Srdjan Vesic:
Ranking Arguments With Compensation-Based Semantics. 12-21 - Ringo Baumann:
Characterizing Equivalence Notions for Labelling-Based Semantics. 22-32 - Jérôme Delobelle, Adrian Haret, Sébastien Konieczny, Jean-Guy Mailly, Julien Rossit, Stefan Woltran:
Merging of Abstract Argumentation Frameworks. 33-42 - Massimiliano Giacomin, Thomas Linsbichler, Stefan Woltran:
On the Functional Completeness of Argumentation Semantics. 43-52 - Anthony Hunter, Matthias Thimm:
On Partial Information and Contradictions in Probabilistic Abstract Argumentation. 53-62 - Antonio Rago, Francesca Toni, Marco Aurisicchio, Pietro Baroni:
Discontinuity-Free Decision Support with Quantitative Argumentation Debates. 63-73
Full Paper: Automated Reasoning and Computation
- Bart Bogaerts, Tomi Janhunen, Shahab Tasharrofi:
Declarative Solver Development: Case Studies. 74-83 - Saïd Jabbour, Yue Ma, Badran Raddaoui, Lakhdar Sais, Yakoub Salhi:
A MIS Partition Based Framework for Measuring Inconsistency. 84-93 - Umut Oztok, Arthur Choi, Adnan Darwiche:
Solving PPPP-Complete Problems Using Knowledge Compilation. 94-103 - Paul Saikko, Johannes Peter Wallner, Matti Järvisalo:
Implicit Hitting Set Algorithms for Reasoning Beyond NP. 104-113 - Matthias Thimm, Johannes Peter Wallner:
Some Complexity Results on Inconsistency Measurement. 114-124
Full Paper: Belief Revision and Nonmonotonicity
- Glauber De Bona, Marcelo Finger
, Márcio Moretto Ribeiro, Yuri David Santos, Renata Wassermann:
Consolidating Probabilistic Knowledge Bases via Belief Contraction. 125-134 - Ricardo Gonçalves, Matthias Knorr, João Leite:
The Ultimate Guide to Forgetting in Answer Set Programming. 135-144 - Joohyung Lee, Yi Wang:
Weighted Rules under the Stable Model Semantics. 145-154 - Marlo Souza, Álvaro F. Moreira, Renata Vieira, John-Jules Ch. Meyer:
Preference and Priorities: A Study Based on Contrction. 155-165
Full Paper: Decision Theory, Rationality
- Haris Aziz
Boolean Hedonic Games. 166-175 - Ulle Endriss, Umberto Grandi, Ronald de Haan, Jérôme Lang:
Succinctness of Languages for Judgment Aggregation. 176-186
Full Paper: Description Logics
- Andrew Bate, Boris Motik, Bernardo Cuenca Grau, Frantisek Simancik, Ian Horrocks:
Extending Consequence-Based Reasoning to SRIQ. 187-196 - Meghyn Bienvenu, Riccardo Rosati:
Query-Based Comparison of Mappings in Ontology-Based Data Access. 197-206 - Pierre Bourhis, Carsten Lutz:
Containment in Monadic Disjunctive Datalog, MMSNP, and Expressive Description Logics. 207-216 - Ernesto Jiménez-Ruiz, Terry R. Payne, Alessandro Solimando, Valentina A. M. Tamma:
Limiting Logical Violations in Ontology Alignnment Through Negotiation. 217-226 - Boris Konev, Temur Kutsia:
Anti-Unification of Concepts in Description Logic EL. 227-236 - Nhung Ngo, Magdalena Ortiz, Mantas Simkus
Closed Predicates in Description Logics: Results on Combined Complexity. 237-246 - Sebastian Rudolph
Undecidability Results for Database-Inspired Reasoning Problems in Very Expressive Description Logics. 247-257
Full Paper: Epistemic Reasoning
- Benjamin Aminof, Aniello Murano, Sasha Rubin, Florian Zuleger
Prompt Alternating-Time Epistemic Logics. 258-267 - Tristan Charrier, Andreas Herzig, Emiliano Lorini, Faustine Maffre, François Schwarzentruber:
Building Epistemic Logic from Observations and Public Announcements. 268-277 - Joseph Y. Halpern, Rafael Pass:
Sequential Equilibrium in Games of Imperfect Recall. 278-287 - Gerhard Lakemeyer, Hector J. Levesque:
Decidable Reasoning in a Logic of Limited Belief with Function Symbols. 288-297 - Alessio Lomuscio, Jakub Michaliszyn
Model Checking Multi-Agent Systems against Epistemic HS Specifications with Regular Expressions. 298-308
Full Paper: Knowledge Representation and Data Management
- Sergio Abriola, Pablo Barceló, Diego Figueira, Santiago Figueira:
Bisimulations on Data Graphs. 309-318 - Alexander Borgida, David Toman, Grant E. Weddell:
On Referring Expressions in Query Answering over First Order Knowledge Bases. 319-328 - Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Moshe Y. Vardi:
Regular Open APIs. 329-338 - Ismail Ilkan Ceylan, Adnan Darwiche, Guy Van den Broeck:
Open-World Probabilistic Databases. 339-348 - Marco Console, Paolo Guagliardo, Leonid Libkin:
Approximations and Refinements of Certain Answers via Many-Valued Logics. 349-358 - Thomas Eiter, Thomas Lukasiewicz, Livia Predoiu:
Generalized Consistent Query Answering under Existential Rules. 359-368 - Roman Kontchakov, Egor V. Kostylev:
On Expressibility of Non-Monotone Operators in SPARQL. 369-379
Full Paper: Planning, Strategies, and Diagnosis
- Vaishak Belle, Hector J. Levesque:
Foundations for Generalized Planning in Unbounded Stochastic Domains. 380-389 - Julian Gutierrez, Giuseppe Perelli, Michael J. Wooldridge:
Imperfect Information in Reactive Modules Games. 390-400
Full Paper: Reasoning about Actions, Causality
- Alexander Bochman:
On Logics and Semantics of Indeterminate Causation. 401-410 - Diego Calvanese, Giuseppe De Giacomo, Marco Montali, Fabio Patrizi:
On First-Order μ-Calculus over Situation Calculus Action Theories. 411-420 - Zhiyi Luo, Yuchen Sha, Kenny Q. Zhu, Seung-won Hwang, Zhongyuan Wang:
Commonsense Causal Reasoning between Short Texts. 421-431
Full Paper: Temporal and Spatial Reasoning
- Jean-François Condotta, Issam Nouaouri, Michael Sioutis:
A SAT Approach for Maximizing Satisfiability in Qualitative Spatial and Temporal Constraint Networks. 432-442 - Jean-François Condotta, Badran Raddaoui, Yakoub Salhi:
Quantifying Conflicts for Spatial and Temporal Information. 443-452 - Ronald de Haan, Stefan Szeider:
Parameterized Complexity Results for Symbolic Model Checking of Temporal Logics. 453-462 - Zhiguo Long
Encoding Large RCC8 Scenarios Using Rectangular Pseudo-Solutions. 463-472 - Alberto Molinari, Angelo Montanari, Adriano Peron, Pietro Sala:
Model Checking Well-Behaved Fragments of HS: The (Almost) Final Picture. 473-483
Full Paper: Uncertainty
- Magdalena Ivanovska, Audun Jøsang, Francesco Sambo:
Bayesian Deduction with Subjective Opinions. 484-493 - Thomas Lukasiewicz, Maria Vanina Martinez, David Poole, Gerardo Ignacio Simari:
Probabilistic Models over Weighted Orderings: Fixed-Parameter Tractable Variable Elimination. 494-504
Short Papers
- Muhannad Al-Omari, Eris Chinellato, Yiannis Gatsoulis, David C. Hogg, Anthony G. Cohn:
Unsupervised Grounding of Textual Descriptions of Object Features and Actions in Video. 505-508 - Ofer Arieli, Christian Straßer:
Argumentative Approaches to Reasoning with Maximal Consistency. 509-512 - Jean-François Baget, Salem Benferhat, Zied Bouraoui, Madalina Croitoru, Marie-Laure Mugnier, Odile Papini, Swan Rocher, Karim Tabia:
A General Modifier-Based Framework for Inconsistency-Tolerant Query Answering. 513-516 - Bita Banihashemi
Online Situation-Determined Agents and their Supervision. 517-520 - Pietro Baroni, Guido Governatori, Ho-Pun Lam, Régis Riveret:
On the Justification of Statements in Argumentation-based Reasoning. 521-524 - Ringo Baumann, Hannes Strass:
An Abstract Logical Approach to Characterizing Strong Equivalence in Logic-based Knowledge Representation Formalisms. 525-528 - David Buchman, David Poole:
Negation Without Negation in Probabilistic Logic Programming. 529-532 - Arnaud Carayol, Zoltán Ésik:
An Analysis of the Equational Properties of the Well-Founded Fixed Point. 533-536 - Giovanni Casini, Thomas Andreas Meyer:
Using Defeasible Information to Obtain Coherence. 537-540 - Federico Cerutti, Mauro Vallati, Massimiliano Giacomin:
jArgSemSAT: An Efficient Off-the-Shelf Solver for Abstract Argumentation Frameworks. 541-544 - Lukás Chrpa, Roman Barták:
Guiding Planning Engines by Transition-Based Domain Control Knowledge. 545-548 - Kristijonas Cyras, Ken Satoh, Francesca Toni:
Abstract Argumentation for Case-Based Reasoning. 549-552 - Kristijonas Cyras, Francesca Toni:
ABA+: Assumption-Based Argumentation with Preferences. 553-556 - Jun Feng, Minlie Huang, Mingdong Wang, Mantong Zhou, Yu Hao, Xiaoyan Zhu:
Knowledge Graph Embedding by Flexible Translation. 557-560 - Seyed Mehran Kazemi, David Poole:
Knowledge Compilation for Lifted Probabilistic Inference: Compiling to a Low-Level Language. 561-564 - Shakil M. Khan, Yves Lespérance:
Infinite Paths in the Situation Calculus: Axiomatization and Properties. 565-568 - Petra Kubincová, Ján Kluka, Martin Homola:
Expressive Description Logic with Instantiation Metamodelling. 569-572 - Domenico Lembo, Daniele Pantaleone, Valerio Santarelli, Domenico Fabio Savo:
Easy OWL Drawing with the Graphol Visual Ontology Language. 573-576 - Maurizio Lenzerini, Lorenzo Lepore, Antonella Poggi:
A Higher-Order Semantics for Metaquerying in OWL 2 QL. 577-580 - Roy Luo, Richard Anthony Valenzano, Yi Li, J. Christopher Beck, Sheila A. McIlraith:
Using Metric Temporal Logic to Specify Scheduling Problems. 581-584 - Monica Martinez, Edelweis Rohrer, Paula Severi:
Complexity of the Description Logic ALCM. 585-588 - Özgür Lütfü Özçep:
Minimality Postulates for Ontology Revision. 589-592 - Theodore Patkos, Antonis Bikakis, Giorgos Flouris:
A Multi-Aspect Evaluation Framework for Comments on the Social Web. 593-596 - Vasanth Sarathy, Matthias Scheutz:
Cognitive Affordance Representations in Uncertain Logic. 597-600 - Nicolas Schwind, Tenda Okimoto, Maxime Clement, Katsumi Inoue:
Representative Solutions for Multi-Objective Constraint Optimization Problems. 601-604 - Tran Cao Son, Enrico Pontelli, Michael Gelfond
Reasoning about Truthfulness of Agents Using Answer Set Programming. 605-608
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-11-18 20:32 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: