Days: Sunday, July 20th Monday, July 21st Tuesday, July 22nd Wednesday, July 23rd Thursday, July 24th
View this program: with abstractssession overviewtalk overviewside by side with other conferences
09:15 | Natural Language Understanding with World Knowledge and Inference (Part I) (abstract) |
09:15 | Dynamic Epistemic Logic and Its Interaction with Knowledge Representation (Part I) (abstract) |
10:45 | Natural Language Understanding with World Knowledge and Inference (Part II) (abstract) |
10:45 | Dynamic Epistemic Logic and Its Interaction with Knowledge Representation (Part II) (abstract) |
14:30 | Verification of Multi-Agent Systems against Epistemic Specifications (Part I) (abstract) |
14:30 | Query Answering and Rewriting in Ontology-Based Data Access (Part I) (abstract) |
16:30 | Verification of Multi-Agent Systems against Epistemic Specifications (Part II) (abstract) |
16:30 | Query Answering and Rewriting in Ontology-Based Data Access (Part II) (abstract) |
View this program: with abstractssession overviewtalk overviewside by side with other conferences
10:45 | Polynomial Combined Rewritings for Existential Rules (abstract) |
11:15 | Nested Regular Path Queries in Description Logics (abstract) |
11:45 | Query Inseparability for Description Logic Knowledge Bases (abstract) |
12:15 | Answering Instance Queries Relaxed by Concept Similarity (abstract) |
10:45 | Characteristics of Multiple Viewpoints in Abstract Argumentation (abstract) |
11:15 | On the Revision of Argumentation Systems: Minimal Change of Arguments Statuses (abstract) |
11:45 | An SCC Recursive Meta-Algorithm for Computing Preferred Labellings in Abstract Argumentation (abstract) |
12:15 | A Dynamic Logic Framework for Abstract Argumentation (abstract) |
12:45 | Rough Set Semantics for Identity on the Web (abstract) |
12:50 | Predicting Performance of OWL Reasoners: Locally or Globally? (abstract) |
12:55 | Concept Dissimilarity with Triangle Inequality (abstract) |
12:45 | Interval Methods for Judgment Aggregation in Argumentation (abstract) |
12:50 | How to Argue for Anything: Enforcing Arbitrary Sets of Labellings Using AFs (abstract) |
12:55 | A Psychology-Inspired Approach to Automated Narrative Text Comprehension (abstract) |
14:30 | An Abstraction Technique for the Verification of Multi-Agent Systems Against ATL Specifications (abstract) |
15:00 | Reasoning about Equilibria in Game-like Concurrent Systems (abstract) |
15:30 | A Temporal Logic of Strategic Knowledge (abstract) |
14:30 | Belief Change and Semiorders (abstract) |
15:00 | On Egalitarian Belief Merging (abstract) |
15:30 | David Poole’s Specificity Revised (abstract) |
View this program: with abstractssession overviewtalk overviewside by side with other conferences
View this program: with abstractssession overviewtalk overviewside by side with other conferences
16:30 | Generalized Multi-Context Systems (abstract) |
17:00 | Qualitative Spatial Representation and Reasoning in Angry Birds: the Extended Rectangle Algebra (abstract) |
16:30 | On OBDDs for CNFs of Bounded Treewidth (abstract) |
17:00 | Probabilistic Sentential Decision Diagrams (abstract) |
08:45 | VSL Keynote Talk: Ontology-Based Monitoring of Dynamic Systems (abstract) |
View this program: with abstractssession overviewtalk overviewside by side with other conferences
10:45 | Exact Learning of Lightweight Description Logic Ontologies (abstract) |
11:15 | Finite Model Reasoning in Horn Description Logics (abstract) |
11:45 | Lightweight Description Logics and Branching Time: a Troublesome Marriage (abstract) |
View this program: with abstractssession overviewtalk overviewside by side with other conferences
19:00 | VSL Public Lecture: Vienna Circle(s) - Between Philosophy and Science in Cultural Context (abstract) |
View this program: with abstractssession overviewtalk overviewside by side with other conferences
10:45 | Belief Change and Base Dependence (abstract) |
11:15 | Justified Beliefs by Justified Arguments (abstract) |
11:45 | Belief Change Operations: A Short History of Nearly Everything, Told in Dynamic Logic of Propositional Assignments (abstract) |
12:15 | On Redundant Topological Constraints (Extended Abstract) (abstract) |
12:20 | Knowledge Maps of Web Graphs (abstract) |
12:25 | On the Progression of Knowledge in Multiagent Systems (abstract) |
12:30 | Heuristic Guided Optimization for Propositional Planning (abstract) |
12:35 | Action Theories over Generalized Databases with Equality Constraints (Extended Abstract) (abstract) |
12:40 | Representing and Reasoning About Time Travel Narratives: Foundational Concepts (abstract) |
12:45 | Canonical Logic Programs are Succinctly Incomparable with Propositional Formulas (abstract) |
12:50 | Using Answer Set Programming for Solving Boolean Games (abstract) |
12:55 | ASP Encodings of Acyclicity Properties (abstract) |
13:00 | Stable Models of Multi-Valued Formulas: Partial vs. Total Functions (abstract) |
12:15 | First-Order Default Logic Revisited (abstract) |
12:20 | Strong Equivalence of Non-monotonic Temporal Theories (abstract) |
12:25 | Belief Revision in the Propositional Closure of a Qualitative Algebra (abstract) |
12:30 | Minimal Change in AGM Revision for Non-classical Logics (abstract) |
12:35 | Toward a Knowledge Level Analysis of Forgetting (abstract) |
12:40 | An Abductive Reasoning Approach to the Belief-Bias Effect (abstract) |
12:45 | Tracking Beliefs and Intentions in the Werewolf Game (abstract) |
12:50 | Axioms .2 and .4 as Interaction Axioms (abstract) |
12:55 | Aggregative Deontic Detachment for Normative Reasoning (abstract) |
14:30 | Decidable Reasoning in a Fragment of the Epistemic Situation Calculus (abstract) |
15:00 | Model Checking Unbounded Artifact-Centric Systems (abstract) |
15:30 | State-Boundedness for Decidability of Verification in Data-Aware Dynamic Systems (abstract) |
View this program: with abstractssession overviewtalk overviewside by side with other conferences
16:30 | FLoC Olympic Games Award Ceremony 2 (abstract) |
18:00 | Lifetime Achievement Award (abstract) |
18:10 | Lifetime Achievement Award (abstract) |
18:20 | EMCL Distinguished Alumni Award (abstract) |
18:30 | FLoC Closing Week 2 (abstract) |
View this program: with abstractssession overviewtalk overviewside by side with other conferences
14:30 | Skolemization for Weighted First-Order Model Counting (abstract) |
15:00 | Analyzing the Computational Complexity of Abstract Dialectical Frameworks via Approximation Fixpoint Theory (abstract) |
15:30 | The Parameterized Complexity of Reasoning Problems Beyond NP (abstract) |
08:45 | VSL Keynote Talk: Verification of Computer Systems with Model Checking (abstract) |
View this program: with abstractssession overviewtalk overviewside by side with other conferences
09:00 | Knowledge Representation Meets Computer Vision: From Pixels to Symbolic Activity Descriptions (abstract) |
10:45 | Stable Model Semantics for Guarded Existential Rules and Description Logics (abstract) |
11:15 | Practical Uniform Interpolation and Forgetting for ALC TBoxes with Applications to Logical Difference (abstract) |
11:45 | Nominal Schemas in Description Logics: Complexities Clarified (abstract) |
12:15 | Decidable Gödel Description Logics without the Finitely-Valued Model Property (abstract) |
10:45 | A First-Order Semantics for Golog and ConGolog under a Second-Order Induction Axiom for Situations (abstract) |
11:15 | How To Progress Beliefs in Continuous Domains (abstract) |
11:45 | Transforming Situation Calculus Action Theories for Optimised Reasoning (abstract) |
12:15 | Forgetting in Action (abstract) |
14:30 | Certain Answers as Objects and Knowledge (abstract) |
15:00 | Tackling Winograd Schemas by Formalizing Relevance Theory in Knowledge Graphs (abstract) |
15:30 | Simultaneous Learning and Prediction (abstract) |
14:30 | Computing Narratives of Cognitive User Experience for Building Design Analysis: KR for Industry Scale Computer-Aided Architecture Design (abstract) |
15:00 | Tweety: A Comprehensive Collection of Java Libraries for Logical Aspects of Artificial Intelligence and Knowledge Representation (abstract) |
15:30 | SmartPM: An Adaptive Process Management System through Situation Calculus, IndiGolog, and Classical Planning (abstract) |
16:30 | Diagnostic Problem Solving via Planning with Ontic and Epistemic Goals (abstract) |
17:00 | A Formalization of Programs in First-Order Logic with a Discrete Linear Order (abstract) |
17:30 | Satisfiability of Alternating-time Temporal Epistemic Logic through Tableaux (abstract) |
16:30 | Linear Programs for Measuring Inconsistency in Probabilistic Logics (abstract) |
17:00 | Reasoning with Uncertain Inputs in Possibilistic Networks (abstract) |
17:30 | Relational Logistic Regression (abstract) |
18:30 | Situation Calculus: The Last 15 Years (abstract) |
View this program: with abstractssession overviewtalk overviewside by side with other conferences
09:00 | Datalog+/–: Questions and Answers (abstract) |
10:45 | Logic Programs with Ordered Disjunction: First-order Semantics and Expressiveness (abstract) |
11:15 | Constructive Negation in Extensional Higher-Order Logic Programming (abstract) |
11:45 | The Well-Founded Semantics Is the Principle of Inductive Definition, revisited (abstract) |
12:15 | The Semantics of Gringo and Infinitary Propositional Formulas (abstract) |
10:45 | Dynamic Causal Calculus (abstract) |
11:15 | Appropriate Causal Models and Stability of Causation (abstract) |
11:45 | Axiomatizing Rationality (abstract) |
12:15 | ∃GUARANTEENASH for Boolean Games Is NEXP-Hard (abstract) |