Saturday 12
Workshop: Races - Session 1
Sunday 13
Workshop: XLoKR - Session 1
Workshop: XLoKR - Session 2
Tutorial: Cognitive Logics - Formal and Cognitive Methods for Reasoning in an Uncertain and Dynamic World (page) - Part 1
Workshop: XLoKR - Session 3
Tutorial: Cognitive Logics - Formal and Cognitive Methods for Reasoning in an Uncertain and Dynamic World (page) - Part 2
Tutorial: Practical Uses of Existential Rules in Knowledge Representation (page) - Part 1
Workshop: XLoKR - Session 4
Tutorial: Practical Uses of Existential Rules in Knowledge Representation (page) - Part 2
Monday 14
Workshop: XLoKR - Session 5
Workshop: XLoKR - Session 6
Tutorial: Dynamic Epistemic Logic and Epistemic Planning (page) - Part 1
- Session 1 -
2020-09-14T13:00:00+02:00 -2020-09-14T14:00:00+02:00 13:00 - 14:00 chair: Rafael Penaloza - Belief Program Verification
- Description Logics for Threat Modeling in Cloud Infrastructure
- An Algebraic Logical Framework for Non-Monotonic Practical Reasoning
- Session 2 -
2020-09-14T14:30:00+02:00 -2020-09-14T15:30:00+02:00 14:30 - 15:30 chair: Vaishak Belle - Towards a Claim-centered View in Abstract Argumentation
- Interpreting Deep Neural Networks through Knowledge Extraction and Graph Analysis
- Using the Knowledge Expression and Reasoning method to solve the problems in Formal Verification
- Session 3 -
2020-09-14T16:00:00+02:00 -2020-09-14T17:00:00+02:00 16:00 - 17:00 chair: Vaishak Belle - Abstraction in Ontology-based Data Access
- An Auction Language for General Auction Players: Representation and Reasoning
- Ontology-Enriched Data Management with Partially Complete Data
- Session 4 -
2020-09-14T17:20:00+02:00 -2020-09-14T18:20:00+02:00 17:20 - 18:20 chair: Rafael Penaloza - Multiple Revision in Description Logics
- Quantitative and Stream Extensions of Answer Set Programming
- Content-Based Information Retrieval of Case Law - Towards Explainable Legal Argument Mining
Tutorial: Dynamic Epistemic Logic and Epistemic Planning (page) - Part 2
Workshop: AI2Forensics - Session 1
Tutorial: Argumentative Explanations in AI (page) - Part 1
Workshop: AI2Forensics - Session 2
Tutorial: Argumentative Explanations in AI (page) - Part 2
Workshop: AI2Forensics - Session 3
Tuesday 15
Invited Talk by Rachid Alami
"Models and Decisional issues for Human-Robot Joint Action"
- chair: Michael Thielscher
- Comparing Weak Admissibility Semantics to their Dung-style Counterparts -- Reduct, Modularization, and Strong Equivalence in Abstract Argumentation
The next three sessions are in parallel. In each session, each long talk is allocated 15 min, each short paper is allocated 5 minutes, and each abstract is allocated 5 minutes, including Q&A.
Application & Systems
- WOLED: A tool for Online Learning Weighted Answer Set Rules for Temporal Reasoning Under Uncertainty
- Explainable and Argumentation-based Decision Making with Qualitative Preferences for Diagnostics and Prognostics of Alzheimer's Disease
- Computationally Explored Simplifications of Gödel’s Ontological Argument
- mu-toksia: An Efficient Abstract Argumentation Reasoner
KR & Robotics
- Towards a Framework for Visual Intelligence in Service Robotics: Epistemic Requirements and Gap Analysis
- Modeling Affordances and Functioning for Personalized Robotic Assistance
- On the Reversibility of Actions in Planning
- What do you really want to do? Towards a Theory of Intentions for Human-Robot Collaboration
Ontologies
- Logical Separability of Incomplete Data under Ontologies
- Balancing expressiveness and inexpressiveness in view design
- Non-monotonic ontology-based abstractions of data services
- Semantic Characterization of Data Services through Ontologies
The next three sessions are in parallel. In each session, each long talk is allocated 15 min, each short paper is allocated 5 minutes, and each abstract is allocated 5 minutes, including Q&A.
Answer Set Programming 1
- An Answer Set Programming Framework for Reasoning about Agents' Beliefs and Truthfulness of Statements
- Spatial Reasoning about String Loops and Holes in Temporal ASP
- An Answer Set Programming Approach to Argumentative Reasoning in the ASPIC+ Framework
- A Semantic Perspective on Omission Abstraction in ASP
- Rationality and Maximal Consistent Sets for a Fragment of ASPIC+ without Undercut
Uncertainty and Explainability
- Reasoning about Measures of Unmeasurable Sets
- Signature-Based Abduction for Expressive Description Logics
- Explainable Acceptance in Probabilistic Abstract Argumentation: Complexity and Approximation
- Towards a Logic of Meta-Analysis
- Abstracting Probabilistic Models: Relations, Constraints and Beyond
KR & ML 1
- Temporal Logic Monitoring Rewards via Transducers
- Neuro-Symbolic Probabilistic Argumentation Machines
- On the Approximability of Weighted Model Integration on DNF Structures
- Towards an Inductive Logic Programming approach for explaining black-box preference learning systems
- Knowledge Graph Inference using Tensor Embedding
- Embedding Symbolic Knowledge into Deep Networks
Invited Talk by David Poole
"Lessons from three decades of research into learning and reasoning with relational probabilistic models"
- chair: Sheila McIlraith
Wednesday 16
Invited Talk by Thomas Eiter
"A Hitchhiker's Tour Through Computational Complexity in Knowledge Representation and Reasoning"
- chair: Diego Calvanese
- Treewidth-Aware Reductions of normal ASP to SAT – Is normal ASP harder than SAT after all?
The next three sessions are in parallel. In each session, each long talk is allocated 15 min, each short paper is allocated 5 minutes, and each abstract is allocated 5 minutes, including Q&A.
Argumentation 1
- Argumentation as a Framework for Interactive Explanations for Recommendations
- Argumentation Semantics under a Claim-centric View: Properties, Expressiveness and Relation to SETAFs
- Reasoning with Inconsistent Knowledge using the Epistemic Approach to Probabilistic Argumentation
- Smallest Explanations and Diagnoses of Rejection in Abstract Argumentation
- Cognitive Argumentation for Human Syllogistic Reasoning
Plans, Strategies and Explainability
- Reasoning about plan robustness versus plan cost for partially informed agents
- Explanatory diagnosis of discrete-event systems with temporal information and smart knowledge-compilation
- An Optimization Approach to Robust Goal Obfuscation
- Abstraction for Zooming-In to Unsolvability Reasons of Grid-Cell Problems
Query Answering 1
- Knowledge-Preserving Certain Answers for SQL-like Queries
- Querying and Repairing Inconsistent Prioritized Knowledge Bases: Complexity Analysis and Links with Abstract Argumentation
- Preference-based Inconsistency-Tolerant Query Answering under Existential Rules
- A Dichotomy Result for Query Evaluation on Probabilistic Graphs
The next three sessions are in parallel. In each session, each long talk is allocated 15 min, each short paper is allocated 5 minutes, and each abstract is allocated 5 minutes, including Q&A.
Answer Set Programming 2
- Stable and Supported Semantics in Continuous Vector Spaces
- A Uniform Treatment of Aggregates and Constraints in Hybrid ASP
- Answer Set Programming with Composed Predicate Names
- Knowledge of Uncertain Worlds: Programming with Logical Constraints
Nonmonotonic Reasoning and Belief Change
- Revision by conditionals: From hook to arrow
- Syntax Splitting = Relevance + Independence: New Postulates for Nonmonotonic Reasoning From Conditional Belief Bases
- Rational Defeasible Belief Change
- Intention as Commitment toward Time (Extended Abstract)
- Belief Base Contraction by Belief Accrual
KR & ML 2
- Analyzing Differentiable Fuzzy Implications
- On Tractable Representations of Binary Neural Networks
- On Tractable XAI Queries based on Compiled Representations
- Ontology-guided Semantic Composition for Zero-shot Learning
- Learning Reward Machines for Partially Observable Reinforcement Learning (Extended Abstract)
- Implicitly learning to reason in first-order logic
Posters
- A Formal Framework for Designing Self-organizing Multi-agent Systems - PDF - video - poster meeting
- A General Framework for Representing Combinatorial Auction-based Markets with Complex Bids - PDF - video - poster meeting
- Answering Regular Path Queries Under Approximate Semantics in Lightweight Description Logics - PDF - video - poster meeting
- Argumentation Frameworks with Higher-Order Attacks: Semantics and Complexity - PDF - video - poster meeting
- Conditional Updates of Logic Programs and its Applications - PDF - video - poster meeting
- Controller Synthesis for Golog Programs over Finite Domains with Metric Temporal Constraints - PDF - video - poster meeting
- Fitted Q-Learning for Relational Domains - PDF - video - poster meeting
- HyperLDL over Finite Traces - PDF - video - poster meeting (pass: KR_254)
- Interactive Configuration Problems in Observable Environments - PDF - video - poster meeting
- On the Complexity of Finding Justifications for Collective Decisions - PDF - video - poster meeting
- Rule Extraction from Decision Tree Ensembles by Answer Set Programming - PDF - video - poster meeting
- Specifying and Reasoning about Concerns in Cyber-Physical System Using Answer Set Programming - PDF - video - poster meeting
- Towards a Logic of 'Inferable' - PDF - video - poster meeting
- Unit Testing in ASP Revisited: Language, Complexity, and Test-Driven Development Environment - PDF - video - poster meeting
- When nominal analogical proportions do not fail - PDF - video - poster meeting
Invited Talk by Gary Marcus
"Taking AI to the Next Level"
- chair: Pavlos Peppas
Thursday 17
Invited Talk by Mateja Jamnik
"How to (Re)represent it?"
- chair: Esra Erdem
The next three sessions are in parallel. In each session, each long talk is allocated 15 min, each short paper is allocated 5 minutes, and each abstract is allocated 5 minutes, including Q&A.
Belief Change and Revision
- Dynamic Awareness
- Syntax Splitting for Iterated Contractions
- Non-Prioritized Iterated Revision: Improvement via Incremental Belief Merging
- Jokes and belief revision
- Choosing what to Believe - New Results in Selective Revision
Epistemic Planning
- Token-based Execution Semantics for Multi-Agent Epistemic Planning
- Lightweight Parallel Multi-Agent Epistemic Planning
- Simultaneous Representation of Knowledge and Belief for Epistemic Planning with Belief Revision
- Explainable Planning Using Answer Set Programming
Query Answering 2
- Containment of Simple Conjunctive Regular Path Queries
- A Data Complexity and Rewritability Tetrachotomy of Ontology-Mediated Queries with a Covering Axiom
- Datalog Rewritability and Data Complexity of ALCHOIF with Closed Predicates
The next three sessions are in parallel. In each session, each long talk is allocated 15 min, each short paper is allocated 5 minutes, and each abstract is allocated 5 minutes, including Q&A.
Datalog and Existential Rules
- Multi-head Guarded Existential Rules Over Fixed Signatures
- Computing Cores for Existential Rules with the Standard Chase and ASP
- Explanations for Negative Query Answers under Existential Rules
- Oblivious and Semi-Oblivious Boundedness for Existential Rules
Argumentation 2
- Independence and D-separation in Abstract Argumentation
- Bipolar Abstract Argumentation with Dual Attacks and Supports
- Argument, I Choose You! Preferences and Ranking Semantics in Abstract Argumentation
- How we designed winning algorithms for abstract argumentation and which insight we attained (Extended Abstract)
- United We Stand: Accruals in Strength-based Argumentation (Extended Abstract)
Reasoning about Actions and Change
- Inputs, Outputs, and Composition in the Logic of Information Flows
- Dyadic Obligations over Complex Actions as Deontic Constraints in the Situation Calculus
- Changing Beliefs about Domain Dynamics in the Situation Calculus
- Designing Normative Theories for Ethical and Legal Reasoning:LOGIKEYFramework, Methodology, and Tool Support (Extended Abstract)
- A Logic of Information Flows --- Recent Published Research
The next three sessions are in parallel. In each session, each long talk is allocated 15 min, each short paper is allocated 5 minutes, and each abstract is allocated 5 minutes, including Q&A.
Spatial and Temporal Reasoning
- Modelling the Polysemy of Spatial Prepositions in Referring Expressions
- DatalogMTL over the Integer Timeline
- Fine-Grained Complexity of Temporal Problems
Computational Aspects of KR
- Fixed-Parameter Tractability of Dependency QBF with Structural Parameters
- Satisfiability of Symbolic Constraint Satisfaction Problems Parameterized by Width
- A First-Order Logic of Limited Belief Based on Possible Worlds
Ontologies & Knowledge Graphs
- Entity Type Recognition -- dealing with the Diversity of Knowledge
- Seq2KG: An End-to-End Neural Model for Domain Agnostic Knowledge Graph (not Text Graph) Construction from Text
- Plausible reasoning about EL ontologies using concept interpolation
Friday 18
Invited Talk by Marta Kwiatkowska
"Probabilistic model checking for strategic equilibria-based decision making"
- chair: Frank Wolter
The next three sessions are in parallel. In each session, each long talk is allocated 15 min, each short paper is allocated 5 minutes, and each abstract is allocated 5 minutes, including Q&A.
Strategies and Verification
- Designing Participatory Budgeting Mechanisms Grounded in Judgment Aggregation
- Nondeterministic Strategies and their Refinement in Strategy Logic
- Module checking of pushdown multi-agent systems
- Verifying Strategic Abilities of Neural Multi-agent Systems
Uncertainty and Preferences
- Ordinal Polymatrix Games with Incomplete Information
- Logics of Preference when There Is No Best
- A Preference-Based Approach to Defeasible Deontic Reasoning
- Relation-Based Counterfactual Explanations for Bayesian Network Classifiers - Extended Abstract
Description Logics 1
- On the Description Logic SHOIF Extended with Transitive Closure and (Restricted Forms of) Regular Role Expressions
- Concept Contraction in the Description Logic EL
- An ExpTime Upper Bound for ALC with Integers
- Reasoning in the Defeasible Description Logic EL_bot ---Computing Standard Inferences under Rational and Relevant Semantics
The next three sessions are in parallel. In each session, each long talk is allocated 15 min, each short paper is allocated 5 minutes, and each abstract is allocated 5 minutes, including Q&A.
Model Checking
- A Three-valued Approach to Strategic Abilities under Imperfect Information
- SAT-Based ATL Satisfiability Checking
- On Sufficient and Necessary Conditions in Bounded CTL: A Forgetting Approach
- Lower Bounds for QBFs of Bounded Treewidth
- The Hierarchy of Hyperlogics
Synthesis and Robotics
- Two-Stage Technique for LTLf Synthesis Under LTL Assumptions
- High-level Programming via Generalized Planning and LTL Synthesis
- Strategy Synthesis for Data-Aware Dynamic Systems with Multiple Actors
- REBA: A Renement-Based Architecture for Knowledge Representation and Reasoning in Robotics
- Integrating Non-monotonic Logical Reasoning and Inductive Learning with Deep Learning for Explainable Visual Question Answering
Description Logics 2
- Finite Controllability for Ontology-Mediated Query Answering of CRPQ
- Reasoning with Contextual Knowledge and Influence Diagrams
- On Finite Entailment of Non-Local Queries in Description Logics
- Boolean Role Inclusions in DL-Lite With and Without Time