default search action
14th KR 2014: Vienna, Austria
- Chitta Baral, Giuseppe De Giacomo, Thomas Eiter:
Principles of Knowledge Representation and Reasoning: Proceedings of the Fourteenth International Conference, KR 2014, Vienna, Austria, July 20-24, 2014. AAAI Press 2014, ISBN 978-1-57735-657-8 - Conference Committee.
- Area Chairs and Program Committee.
- Preface.
- Matthias Baaz, Thomas Eiter, Helmut Veith:
Vienna Summer of Logic. - Franz Baader, Anthony G. Cohn, Georg Gottlob, Sheila A. McIlraith:
Invited Talks. - Alessio Lomuscio, Lawrence S. Moss, Ekaterina Ovchinnikova, Riccardo Rosati:
Tutorials. - Sponsors.
Answer Set Programming and Logic Programming
- Vernon Asuncion, Yan Zhang, Heng Zhang:
Logic Programs with Ordered Disjunction: First-Order Semantics and Expressiveness. - Angelos Charalambidis, Panos Rondogiannis:
Constructive Negation in Extensional Higher-Order Logic Programming. - Marc Denecker, Joost Vennekens:
The Well-Founded Semantics Is the Principle of Inductive Definition, Revisited. - Amelia J. Harrison, Vladimir Lifschitz, Fangkai Yang:
The Semantics of Gringo and Infinitary Propositional Formulas.
Argumentation
- Federico Cerutti, Massimiliano Giacomin, Mauro Vallati, Marina Zanella:
An SCC Recursive Meta-Algorithm for Computing Preferred Labellings in Abstract Argumentation. - Sylvie Coste-Marquis, Sébastien Konieczny, Jean-Guy Mailly, Pierre Marquis:
On the Revision of Argumentation Systems: Minimal Change of Arguments Statuses. - Sylvie Doutre, Andreas Herzig, Laurent Perrussel:
A Dynamic Logic Framework for Abstract Argumentation. - Paul E. Dunne, Wolfgang Dvorák, Thomas Linsbichler, Stefan Woltran:
Characteristics of Multiple Viewpoints in Abstract Argumentation.
Automated Reasoning and Computation
- Ronald de Haan, Stefan Szeider:
The Parameterized Complexity of Reasoning Problems Beyond NP. - Igor Razgon:
On OBDDs for CNFs of Bounded Treewidth. - Hannes Strass, Johannes Peter Wallner:
Analyzing the Computational Complexity of Abstract Dialectical Frameworks via Approximation Fixpoint Theory. - Guy Van den Broeck, Wannes Meert, Adnan Darwiche:
Skolemization for Weighted First-Order Model Counting.
Belief Revision and Nonmonotonicity
- Patricia Everaere, Sébastien Konieczny, Pierre Marquis:
On Egalitarian Belief Merging. - Davide Grossi, Wiebe van der Hoek:
Justified Beliefs by Justified Arguments. - Andreas Herzig:
Belief Change Operations: A Short History of Nearly Everything, Told in Dynamic Logic of Propositional Assignments. - Mehrdad Oveisi, James P. Delgrande, Francis Jeffry Pelletier, Fred Popowich:
Belief Change and Base Dependence. - Pavlos Peppas, Mary-Anne Williams:
Belief Change and Semiorders. - Claus-Peter Wirth, Frieder Stolzenburg:
David Poole's Specificity Revised.
Causality and Rationality
- Adam Bjorndahl, Joseph Y. Halpern, Rafael Pass:
Axiomatizing Rationality. - Alexander Bochman:
Dynamic Causal Calculus. - Joseph Y. Halpern:
Appropriate Causal Models and Stability of Causation. - Egor Ianovski, Luke Ong:
EGuaranteeNash for Boolean Games Is NEXP-Hard.
Description Logics
- Meghyn Bienvenu, Diego Calvanese, Magdalena Ortiz, Mantas Simkus
:
Nested Regular Path Queries in Description Logics. - Stefan Borgwardt, Felix Distel, Rafael Peñaloza:
Decidable Gödel Description Logics without the Finitely-Valued Model Property. - Elena Botoeva, Roman Kontchakov, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev:
Query Inseparability for Description Logic Knowledge Bases. - Andreas Ecke, Rafael Peñaloza, Anni-Yasmin Turhan:
Answering Instance Queries Relaxed by Concept Similarity. - Georg Gottlob, André Hernich, Clemens Kupke, Thomas Lukasiewicz:
Stable Model Semantics for Guarded Existential Rules and Description Logics. - Georg Gottlob, Marco Manna, Andreas Pieris:
Polynomial Combined Rewritings for Existential Rules. - Víctor Gutiérrez-Basulto, Jean Christoph Jung
Lightweight Description Logics and Branching Time: A Troublesome Marriage. - Yazmín Angélica Ibáñez-García, Carsten Lutz, Thomas Schneider:
Finite Model Reasoning in Horn Description Logics. - Boris Konev, Carsten Lutz, Ana Ozaki, Frank Wolter:
Exact Learning of Lightweight Description Logic Ontologies. - Markus Krötzsch, Sebastian Rudolph
Nominal Schemas in Description Logics: Complexities Clarified. - Michel Ludwig, Boris Konev:
Practical Uniform Interpolation and Forgetting for ALC TBoxes with Applications to Logical Difference.
Knowledge Representation and Reasoning
- Leonid Libkin:
Certain Answers as Objects and Knowledge. - Fangzhen Lin:
A Formalization of Programs in First-Order Logic with a Discrete Linear Order. - Loizos Michael:
Simultaneous Learning and Prediction. - Peter Schüller:
Tackling Winograd Schemas by Formalizing Relevance Theory in Knowledge Graphs. - Shahab Tasharrofi, Eugenia Ternovska:
Generalized Multi-Context Systems. - Peng Zhang, Jochen Renz:
Qualitative Spatial Representation and Reasoning in Angry Birds: The Extended Rectangle Algebra.
Planning, Strategies, and Diagnosis
- Jorge A. Baier, Brent Mombourquette, Sheila A. McIlraith:
Diagnostic Problem Solving via Planning with Ontic and Epistemic Goals. - Francesco Belardinelli
Satisfiability of Alternating-Time Temporal Epistemic Logic Through Tableaux. - Julian Gutierrez, Paul Harrenstein, Michael J. Wooldridge:
Reasoning about Equilibria in Game-Like Concurrent Systems. - Xiaowei Huang, Ron van der Meyden:
A Temporal Logic of Strategic Knowledge. - Alessio Lomuscio, Jakub Michaliszyn
An Abstraction Technique for the Verification of Multi-Agent Systems Against ATL Specifications.
Reasoning about Actions and Processes
- Vaishak Belle, Hector J. Levesque:
How to Progress Beliefs in Continuous Domains. - Christopher James Ewin, Adrian R. Pearce, Stavros Vassos:
Transforming Situation Calculus Action Theories for Optimised Reasoning. - Babak Bagheri Hariri, Diego Calvanese, Marco Montali, Alin Deutsch:
State-Boundedness in Data-Aware Dynamic Systems. - Gerhard Lakemeyer, Hector J. Levesque:
Decidable Reasoning in a Fragment of the Epistemic Situation Calculus. - Fangzhen Lin:
A First-Order Semantics for Golog and ConGolog under a Second-Order Induction Axiom for Situations. - Alessio Lomuscio, Jakub Michaliszyn
Model Checking Unbounded Artifact-Centric Systems. - David Rajaratnam, Hector J. Levesque, Maurice Pagnucco, Michael Thielscher:
Forgetting in Action.
Reports from the Field
- Mehul Bhatt, Carl Schultz, Madhura Thosar:
Computing Narratives of Cognitive User Experience for Building Design Analysis: KR for Industry Scale Computer-Aided Architecture Design. - Andrea Marrella, Massimo Mecella, Sebastian Sardiña:
SmartPM: An Adaptive Process Management System through Situation Calculus, IndiGolog, and Classical Planning. - Matthias Thimm:
Tweety: A Comprehensive Collection of Java Libraries for Logical Aspects of Artificial Intelligence and Knowledge Representation.
Uncertainty
- Salem Benferhat, Karim Tabia:
Reasoning with Uncertain Inputs in Possibilistic Networks. - Seyed Mehran Kazemi, David Buchman, Kristian Kersting, Sriraam Natarajan, David Poole:
Relational Logistic Regression. - Doga Kisa, Guy Van den Broeck, Arthur Choi, Adnan Darwiche:
Probabilistic Sentential Decision Diagrams. - Nico Potyka:
Linear Programs for Measuring Inconsistency in Probabilistic Logics.
Short Papers
- Guillaume Aucher:
Axioms .2 and .4 as Interaction Axioms. - Michael Bartholomew, Joohyung Lee:
Stable Models of Multi-Valued Formulas: Partial versus Total Functions. - Wouter Beek, Stefan Schlobach, Frank van Harmelen:
Rough Set Semantics for Identity on the Web. - Vaishak Belle, Gerhard Lakemeyer:
On the Progression of Knowledge in Multiagent Systems. - Richard Booth, Edmond Awad, Iyad Rahwan:
Interval Methods for Judgment Aggregation in Argumentation. - Pedro Cabalar, Martín Diéguez:
Strong Equivalence of Non-Monotonic Temporal Theories. - Sofie De Clercq, Kim Bauters, Steven Schockaert, Martine De Cock, Ann Nowé:
Using Answer Set Programming for Solving Boolean Games. - James P. Delgrande:
Towards a Knowledge Level Analysis of Forgetting. - Irene-Anna Diakidoy, Antonis C. Kakas, Loizos Michael, Rob Miller:
A Psychology-Inspired Approach to Automated Narrative Text Comprehension. - Felix Distel, Jamal Atif, Isabelle Bloch:
Concept Dissimilarity with Triangle Inequality. - Matt Duckham, Sanjiang Li, Weiming Liu, Zhiguo Long:
On Redundant Topological Constraints. - Valmi Dufour-Lussier, Alice Hermann, Florence Le Ber, Jean Lieber:
Belief Revision in the Propositional Closure of a Qualitative Algebra. - Sjur Kristoffer Dyrkolbotn:
How to Argue for Anything: Enforcing Arbitrary Sets of Labellings using AFs. - Valeria Fionda, Claudio Gutierrez, Giuseppe Pirrò:
Knowledge Maps of Web Graphs. - Martin Gebser, Tomi Janhunen, Jussi Rintanen:
ASP Encodings of Acyclicity Properties. - Codruta Liliana Gîrlea, Eyal Amir, Roxana Girju:
Tracking Beliefs and Intentions in the Werewolf Game. - Leora Morgenstern:
Representing and Reasoning about Time Travel Narratives: Foundational Concepts. - Xavier Parent, Leon van der Torre:
Aggregative Deontic Detachment for Normative Reasoning. - Fabio Patrizi, Stavros Vassos:
Action Theories over Generalized Databases with Equality Constraints (Extended Abstract). - Luís Moniz Pereira, Emmanuelle-Anna Dietz, Steffen Hölldobler:
An Abductive Reasoning Approach to the Belief Bias Effect. - Márcio Moretto Ribeiro, Renata Wassermann:
Minimal Change in AGM Revision for Non-Classical Logics. - Viachaslau Sazonau, Uli Sattler, Gavin Brown:
Predicting Performance of OWL Reasoners: Locally or Globally? - Yuping Shen, Xishun Zhao:
Canonical Logic Programs are Succinctly Incomparable with Propositional Formulas. - Andreas Sideris, Yannis Dimopoulos:
Heuristic Guided Optimization for Propositional Planning. - Yi Zhou:
First-Order Default Logic Revisited.
Invited Talks
- Franz Baader:
Ontology-Based Monitoring of Dynamic Systems. - Georg Gottlob, Thomas Lukasiewicz, Andreas Pieris:
Datalog+/-: Questions and Answers.
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-27 20:30 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: