Papers
Belief Revision and Progression of Knowledge Bases in the Epistemic Situation Calculus
Christoph Schwering, Gerhard Lakemeyer, Maurice Pagnucco
Qualitative Reasoning about Directions in Semantic Spaces
Steven Schockaert, Jae Hee Lee
Towards Fully Observable Non-Deterministic Planning as Assumption-based Automatic Synthesis
Sebastian Sardina, Nicolas D'Ippolito
Characterization of the Expressivity of Existential Rule Queries
Sebastian Rudolph, Michaël Thomazo
Membership Constraints in Formal Concept Analysis
Sebastian Rudolph, Christian Sacarea, Diana Troanca
Execution Monitoring as Meta-Games for General Game-Playing Robots
David Rajaratnam, Michael Thielscher
Did You Know? — Mining Interesting Trivia for Entities from Wikipedia
Abhay Prakash, Manoj Kumar Chinnakotla, Dhaval Patel et al.
Probabilistic Reasoning with Inconsistent Beliefs Using Inconsistency Measures
Nico Potyka, Matthias Thimm
On the Parameterized Complexity of Belief Revision
Andreas Pfandler, Stefan Rümmele, Johannes Peter Wallner et al.
A Top-Down Compiler for Sentential Decision Diagrams
Umut Oztok, Adnan Darwiche
Kernel Contraction and Base Dependence: Redundancy in the Base Resulting in Different Types of Dependence
Mehrdad Oveisi, James P. Delgrande, Fred Popowich et al.
Combining Rewriting and Incremental Materialisation Maintenance for Datalog Programs with Equality
Boris Motik, Yavor Nenov, Robert Piro et al.
Ontology-Mediated Queries with Closed Predicates
Carsten Lutz, Inanc Seylan, Frank Wolter
Automatic Verification of Partial Correctness of Golog Programs
Naiqi Li, Yongmei Liu
Query Rewriting for Existential Rules with Compiled Preorder
Melanie Konig, Michel Leclere, Marie-Laure Mugnier
Efficient Paraconsistent Reasoning with Ontologies and Rules
Tobias Kaminski, Matthias Knorr, João Leite
Computing Horn Rewritings of Description Logics Ontologies
Mark Kaminski, Bernardo Cuenca Grau
Efficient Semantic Features for Automated Reasoning over Large Theories
Cezary Kaliszyk, Josef Urban, Jiri Vyskocil
On Forgetting Postulates in Answer Set Programming
Jianmin Ji, Jia-Huai You, Yisong Wang
Simplifying A Logic Program Using Its Consequences
Jianmin Ji, Hai Wan, Ziwei Huo et al.
Trust-Sensitive Belief Revision
Aaron Hunter, Richard Booth
Schema.org as a Description Logic
Andre Hernich, Carsten Lutz, Ana Ozaki et al.
Merging in the Horn Fragment
Adrian Haret, Stefan Rümmele, Stefan Woltran