KR PROGRAM

Natural Language Understanding with World Knowledge and Inference (Part I) (abstract)

Dynamic Epistemic Logic and Its Interaction with Knowledge Representation (Part I) (abstract)

Natural Language Understanding with World Knowledge and Inference (Part II) (abstract)

Dynamic Epistemic Logic and Its Interaction with Knowledge Representation (Part II) (abstract)

Verification of Multi-Agent Systems against Epistemic Specifications (Part I) (abstract)

Query Answering and Rewriting in Ontology-Based Data Access (Part I) (abstract)

Verification of Multi-Agent Systems against Epistemic Specifications (Part II) (abstract)

Query Answering and Rewriting in Ontology-Based Data Access (Part II) (abstract)

VSL Keynote Talk: Ontology-Based Monitoring of Dynamic Systems (abstract)

Polynomial Combined Rewritings for Existential Rules (abstract)

Nested Regular Path Queries in Description Logics (abstract)

Query Inseparability for Description Logic Knowledge Bases (abstract)

Answering Instance Queries Relaxed by Concept Similarity (abstract)

Characteristics of Multiple Viewpoints in Abstract Argumentation (abstract)

On the Revision of Argumentation Systems: Minimal Change of Arguments Statuses (abstract)

An SCC Recursive Meta-Algorithm for Computing Preferred Labellings in Abstract Argumentation (abstract)

A Dynamic Logic Framework for Abstract Argumentation (abstract)

Rough Set Semantics for Identity on the Web (abstract)

Predicting Performance of OWL Reasoners: Locally or Globally? (abstract)

Concept Dissimilarity with Triangle Inequality (abstract)

Interval Methods for Judgment Aggregation in Argumentation (abstract)

How to Argue for Anything: Enforcing Arbitrary Sets of Labellings Using AFs (abstract)

A Psychology-Inspired Approach to Automated Narrative Text Comprehension (abstract)

An Abstraction Technique for the Verification of Multi-Agent Systems Against ATL Specifications (abstract)

Reasoning about Equilibria in Game-like Concurrent Systems (abstract)

A Temporal Logic of Strategic Knowledge (abstract)

Belief Change and Semiorders (abstract)

On Egalitarian Belief Merging (abstract)

David Poole’s Specificity Revised (abstract)

FLoC Olympic Games Award Ceremony 2 (abstract)

Lifetime Achievement Award (abstract)

Lifetime Achievement Award (abstract)

EMCL Distinguished Alumni Award (abstract)

FLoC Closing Week 2 (abstract)

Generalized Multi-Context Systems (abstract)

Qualitative Spatial Representation and Reasoning in Angry Birds: the Extended Rectangle Algebra (abstract)

On OBDDs for CNFs of Bounded Treewidth (abstract)

Probabilistic Sentential Decision Diagrams (abstract)

VSL Public Lecture: Vienna Circle(s) - Between Philosophy and Science in Cultural Context (abstract)

VSL Keynote Talk: Verification of Computer Systems with Model Checking (abstract)

Exact Learning of Lightweight Description Logic Ontologies (abstract)

Finite Model Reasoning in Horn Description Logics (abstract)

Lightweight Description Logics and Branching Time: a Troublesome Marriage (abstract)

Belief Change and Base Dependence (abstract)

Justified Beliefs by Justified Arguments (abstract)

Belief Change Operations: A Short History of Nearly Everything, Told in Dynamic Logic of Propositional Assignments (abstract)

On Redundant Topological Constraints (Extended Abstract) (abstract)

Knowledge Maps of Web Graphs (abstract)

On the Progression of Knowledge in Multiagent Systems (abstract)

Heuristic Guided Optimization for Propositional Planning (abstract)

Action Theories over Generalized Databases with Equality Constraints (Extended Abstract) (abstract)

Representing and Reasoning About Time Travel Narratives: Foundational Concepts (abstract)

Canonical Logic Programs are Succinctly Incomparable with Propositional Formulas (abstract)

Using Answer Set Programming for Solving Boolean Games (abstract)

ASP Encodings of Acyclicity Properties (abstract)

Stable Models of Multi-Valued Formulas: Partial vs. Total Functions (abstract)

First-Order Default Logic Revisited (abstract)

Strong Equivalence of Non-monotonic Temporal Theories (abstract)

Belief Revision in the Propositional Closure of a Qualitative Algebra (abstract)

Minimal Change in AGM Revision for Non-classical Logics (abstract)

Toward a Knowledge Level Analysis of Forgetting (abstract)

An Abductive Reasoning Approach to the Belief-Bias Effect (abstract)

Tracking Beliefs and Intentions in the Werewolf Game (abstract)

Axioms .2 and .4 as Interaction Axioms (abstract)

Aggregative Deontic Detachment for Normative Reasoning (abstract)

Decidable Reasoning in a Fragment of the Epistemic Situation Calculus (abstract)

Model Checking Unbounded Artifact-Centric Systems (abstract)

State-Boundedness for Decidability of Verification in Data-Aware Dynamic Systems (abstract)

Skolemization for Weighted First-Order Model Counting (abstract)

Analyzing the Computational Complexity of Abstract Dialectical Frameworks via Approximation Fixpoint Theory (abstract)

The Parameterized Complexity of Reasoning Problems Beyond NP (abstract)

Knowledge Representation Meets Computer Vision: From Pixels to Symbolic Activity Descriptions (abstract)

Stable Model Semantics for Guarded Existential Rules and Description Logics (abstract)

Practical Uniform Interpolation and Forgetting for ALC TBoxes with Applications to Logical Difference (abstract)

Nominal Schemas in Description Logics: Complexities Clarified (abstract)

Decidable Gödel Description Logics without the Finitely-Valued Model Property (abstract)

A First-Order Semantics for Golog and ConGolog under a Second-Order Induction Axiom for Situations (abstract)

How To Progress Beliefs in Continuous Domains (abstract)

Transforming Situation Calculus Action Theories for Optimised Reasoning (abstract)

Forgetting in Action (abstract)

Certain Answers as Objects and Knowledge (abstract)

Tackling Winograd Schemas by Formalizing Relevance Theory in Knowledge Graphs (abstract)

Simultaneous Learning and Prediction (abstract)

Computing Narratives of Cognitive User Experience for Building Design Analysis: KR for Industry Scale Computer-Aided Architecture Design (abstract)

Tweety: A Comprehensive Collection of Java Libraries for Logical Aspects of Artificial Intelligence and Knowledge Representation (abstract)

SmartPM: An Adaptive Process Management System through Situation Calculus, IndiGolog, and Classical Planning (abstract)

Diagnostic Problem Solving via Planning with Ontic and Epistemic Goals (abstract)

A Formalization of Programs in First-Order Logic with a Discrete Linear Order (abstract)

Satisfiability of Alternating-time Temporal Epistemic Logic through Tableaux (abstract)

Linear Programs for Measuring Inconsistency in Probabilistic Logics (abstract)

Reasoning with Uncertain Inputs in Possibilistic Networks (abstract)

Relational Logistic Regression (abstract)

Situation Calculus: The Last 15 Years (abstract)

Datalog+/–: Questions and Answers (abstract)

Logic Programs with Ordered Disjunction: First-order Semantics and Expressiveness (abstract)

Constructive Negation in Extensional Higher-Order Logic Programming (abstract)

The Well-Founded Semantics Is the Principle of Inductive Definition, revisited (abstract)

The Semantics of Gringo and Infinitary Propositional Formulas (abstract)

Dynamic Causal Calculus (abstract)

Appropriate Causal Models and Stability of Causation (abstract)

Axiomatizing Rationality (abstract)

∃GUARANTEENASH for Boolean Games Is NEXP-Hard (abstract)