Abstract is missing.
- A First-Order Semantics for Golog and ConGolog under a Second-Order Induction Axiom for SituationsFangzhen Lin. [doi]
- The Semantics of Gringo and Infinitary Propositional FormulasAmelia J. Harrison, Vladimir Lifschitz, Fangkai Yang. [doi]
- Datalog+/-: Questions and AnswersGeorg Gottlob, Thomas Lukasiewicz, Andreas Pieris. [doi]
- Qualitative Spatial Representation and Reasoning in Angry Birds: The Extended Rectangle AlgebraPeng Zhang, Jochen Renz. [doi]
- A Formalization of Programs in First-Order Logic with a Discrete Linear OrderFangzhen Lin. [doi]
- Characteristics of Multiple Viewpoints in Abstract ArgumentationPaul E. Dunne, Wolfgang Dvorák, Thomas Linsbichler, Stefan Woltran. [doi]
- SmartPM: An Adaptive Process Management System through Situation Calculus, IndiGolog, and Classical PlanningAndrea Marrella, Massimo Mecella, Sebastian Sardiña. [doi]
- The Well-Founded Semantics Is the Principle of Inductive Definition, RevisitedMarc Denecker, Joost Vennekens. [doi]
- Belief Revision in the Propositional Closure of a Qualitative AlgebraValmi Dufour-Lussier, Alice Hermann, Florence Le Ber, Jean Lieber. [doi]
- A Dynamic Logic Framework for Abstract ArgumentationSylvie Doutre, Andreas Herzig, Laurent Perrussel. [doi]
- Interval Methods for Judgment Aggregation in ArgumentationRichard Booth, Edmond Awad, Iyad Rahwan. [doi]
- Towards a Knowledge Level Analysis of ForgettingJames P. Delgrande. [doi]
- An Abstraction Technique for the Verification of Multi-Agent Systems Against ATL SpecificationsAlessio Lomuscio, Jakub Michaliszyn. [doi]
- Justified Beliefs by Justified ArgumentsDavide Grossi, Wiebe van der Hoek. [doi]
- The Parameterized Complexity of Reasoning Problems Beyond NPRonald de Haan, Stefan Szeider. [doi]
- Reasoning with Uncertain Inputs in Possibilistic NetworksSalem Benferhat, Karim Tabia. [doi]
- Decidable Gödel Description Logics without the Finitely-Valued Model PropertyStefan Borgwardt, Felix Distel, Rafael Peñaloza. [doi]
- Model Checking Unbounded Artifact-Centric SystemsAlessio Lomuscio, Jakub Michaliszyn. [doi]
- EGuaranteeNash for Boolean Games Is NEXP-HardEgor Ianovski, Luke Ong. [doi]
- Stable Models of Multi-Valued Formulas: Partial versus Total FunctionsMichael Bartholomew, Joohyung Lee. [doi]
- Linear Programs for Measuring Inconsistency in Probabilistic LogicsNico Potyka. [doi]
- Dynamic Causal CalculusAlexander Bochman. [doi]
- Simultaneous Learning and PredictionLoizos Michael. [doi]
- State-Boundedness in Data-Aware Dynamic SystemsBabak Bagheri Hariri, Diego Calvanese, Alin Deutsch. [doi]
- Analyzing the Computational Complexity of Abstract Dialectical Frameworks via Approximation Fixpoint TheoryHannes Strass, Johannes Peter Wallner. [doi]
- Action Theories over Generalized Databases with Equality Constraints (Extended Abstract)Fabio Patrizi, Stavros Vassos. [doi]
- Query Inseparability for Description Logic Knowledge BasesElena Botoeva, Roman Kontchakov, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev. [doi]
- Nested Regular Path Queries in Description LogicsMeghyn Bienvenu, Diego Calvanese, Magdalena Ortiz, Mantas Simkus. [doi]
- On the Revision of Argumentation Systems: Minimal Change of Arguments StatusesSylvie Coste-Marquis, Sébastien Konieczny, Jean-Guy Mailly, Pierre Marquis. [doi]
- Forgetting in ActionDavid Rajaratnam, Hector J. Levesque, Maurice Pagnucco, Michael Thielscher. [doi]
- Representing and Reasoning about Time Travel Narratives: Foundational ConceptsLeora Morgenstern. [doi]
- On Redundant Topological ConstraintsMatt Duckham, Sanjiang Li, Weiming Liu, Zhiguo Long. [doi]
- Reasoning about Equilibria in Game-Like Concurrent SystemsJulian Gutierrez, Paul Harrenstein, Michael Wooldridge. [doi]
- Skolemization for Weighted First-Order Model CountingGuy Van den Broeck, Wannes Meert, Adnan Darwiche. [doi]
- A Psychology-Inspired Approach to Automated Narrative Text ComprehensionIrene-Anna Diakidoy, Antonis C. Kakas, Loizos Michael, Rob Miller 0002. [doi]
- Vienna Summer of LogicMatthias Baaz, Thomas Eiter, Helmut Veith. [doi]
- Axiomatizing RationalityAdam Bjorndahl, Joseph Y. Halpern, Rafael Pass. [doi]
- How to Progress Beliefs in Continuous DomainsVaishak Belle, Hector J. Levesque. [doi]
- Satisfiability of Alternating-Time Temporal Epistemic Logic Through TableauxFrancesco Belardinelli. [doi]
- Invited TalksFranz Baader, Anthony G. Cohn, Georg Gottlob, Sheila A. McIlraith. [doi]
- Certain Answers as Objects and KnowledgeLeonid Libkin. [doi]
- Practical Uniform Interpolation and Forgetting for ALC TBoxes with Applications to Logical DifferenceMichel Ludwig, Boris Konev. [doi]
- On the Progression of Knowledge in Multiagent SystemsVaishak Belle, Gerhard Lakemeyer. [doi]
- Transforming Situation Calculus Action Theories for Optimised ReasoningChristopher James Ewin, Adrian R. Pearce, Stavros Vassos. [doi]
- Appropriate Causal Models and Stability of CausationJoseph Y. Halpern. [doi]
- Lightweight Description Logics and Branching Time: A Troublesome MarriageVíctor Gutiérrez-Basulto, Jean Christoph Jung, Thomas Schneider 0002. [doi]
- Preface [doi]
- Probabilistic Sentential Decision DiagramsDoga Kisa, Guy Van den Broeck, Arthur Choi, Adnan Darwiche. [doi]
- Predicting Performance of OWL Reasoners: Locally or Globally?Viachaslau Sazonau, Uli Sattler, Gavin Brown. [doi]
- Aggregative Deontic Detachment for Normative ReasoningXavier Parent, Leon van der Torre. [doi]
- Using Answer Set Programming for Solving Boolean GamesSofie De Clercq, Kim Bauters, Steven Schockaert, Martine De Cock, Ann Nowé. [doi]
- Conference Committee [doi]
- A Temporal Logic of Strategic KnowledgeXiaowei Huang, Ron van der Meyden. [doi]
- Belief Change and Base DependenceMehrdad Oveisi, James P. Delgrande, Francis Jeffry Pelletier, Fred Popowich. [doi]
- Belief Change Operations: A Short History of Nearly Everything, Told in Dynamic Logic of Propositional AssignmentsAndreas Herzig. [doi]
- Exact Learning of Lightweight Description Logic OntologiesBoris Konev, Carsten Lutz, Ana Ozaki, Frank Wolter. [doi]
- ASP Encodings of Acyclicity PropertiesMartin Gebser, Tomi Janhunen, Jussi Rintanen. [doi]
- Rough Set Semantics for Identity on the WebWouter Beek, Stefan Schlobach, Frank van Harmelen. [doi]
- Tweety: A Comprehensive Collection of Java Libraries for Logical Aspects of Artificial Intelligence and Knowledge RepresentationMatthias Thimm. [doi]
- Belief Change and SemiordersPavlos Peppas, Mary-Anne Williams. [doi]
- Knowledge Maps of Web GraphsValeria Fionda, Claudio Gutierrez, Giuseppe Pirrò. [doi]
- Canonical Logic Programs are Succinctly Incomparable with Propositional FormulasYuping Shen, Xishun Zhao. [doi]
- Finite Model Reasoning in Horn Description LogicsYazmín Ibáñez García, Carsten Lutz, Thomas Schneider 0002. [doi]
- Nominal Schemas in Description Logics: Complexities ClarifiedMarkus Krötzsch, Sebastian Rudolph. [doi]
- Ontology-Based Monitoring of Dynamic SystemsFranz Baader. [doi]
- Strong Equivalence of Non-Monotonic Temporal TheoriesPedro Cabalar, Martín Diéguez. [doi]
- Sponsors [doi]
- On Egalitarian Belief MergingPatricia Everaere, Sébastien Konieczny, Pierre Marquis. [doi]
- Answering Instance Queries Relaxed by Concept SimilarityAndreas Ecke, Rafael Peñaloza, Anni-Yasmin Turhan. [doi]
- Decidable Reasoning in a Fragment of the Epistemic Situation CalculusGerhard Lakemeyer, Hector J. Levesque. [doi]
- First-Order Default Logic RevisitedYi Zhou. [doi]
- David Poole's Specificity RevisedClaus-Peter Wirth, Frieder Stolzenburg. [doi]
- TutorialsAlessio Lomuscio, Lawrence S. Moss, Ekaterina Ovchinnikova, Riccardo Rosati. [doi]
- Generalized Multi-Context SystemsShahab Tasharrofi, Eugenia Ternovska. [doi]
- Constructive Negation in Extensional Higher-Order Logic ProgrammingAngelos Charalambidis, Panos Rondogiannis. [doi]
- Tackling Winograd Schemas by Formalizing Relevance Theory in Knowledge GraphsPeter Schüller. [doi]
- How to Argue for Anything: Enforcing Arbitrary Sets of Labellings using AFsSjur Kristoffer Dyrkolbotn. [doi]
- Heuristic Guided Optimization for Propositional PlanningAndreas Sideris, Yannis Dimopoulos. [doi]
- On OBDDs for CNFs of Bounded TreewidthIgor Razgon. [doi]
- Diagnostic Problem Solving via Planning with Ontic and Epistemic GoalsJorge A. Baier, Brent Mombourquette, Sheila A. McIlraith. [doi]
- Concept Dissimilarity with Triangle InequalityFelix Distel, Jamal Atif, Isabelle Bloch. [doi]
- Stable Model Semantics for Guarded Existential Rules and Description LogicsGeorg Gottlob, André Hernich, Clemens Kupke, Thomas Lukasiewicz. [doi]
- Tracking Beliefs and Intentions in the Werewolf GameCodruta Liliana Gîrlea, Eyal Amir, Roxana Girju. [doi]
- An Abductive Reasoning Approach to the Belief Bias EffectLuís Moniz Pereira, Emmanuelle-Anna Dietz, Steffen Hölldobler. [doi]
- Minimal Change in AGM Revision for Non-Classical LogicsMárcio Moretto Ribeiro, Renata Wassermann. [doi]
- Logic Programs with Ordered Disjunction: First-Order Semantics and ExpressivenessVernon Asuncion, Yan Zhang, Heng Zhang. [doi]
- Relational Logistic RegressionSeyed Mehran Kazemi, David Buchman, Kristian Kersting, Sriraam Natarajan, David Poole. [doi]
- Area Chairs and Program Committee [doi]
- Polynomial Combined Rewritings for Existential RulesGeorg Gottlob, Marco Manna, Andreas Pieris. [doi]
- Computing Narratives of Cognitive User Experience for Building Design Analysis: KR for Industry Scale Computer-Aided Architecture DesignMehul Bhatt, Carl Schultz, Madhura Thosar. [doi]
- Axioms .2 and .4 as Interaction AxiomsGuillaume Aucher. [doi]
- An SCC Recursive Meta-Algorithm for Computing Preferred Labellings in Abstract ArgumentationFederico Cerutti, Massimiliano Giacomin, Mauro Vallati, Marina Zanella. [doi]