Registration Hours: 18:00 - 20:00

 

Registration Hours: 08:00 - 13:00 & 14:00 - 17:00

09:00 - 10:00 Keynote Talk 1
Hybrid Reasoning with Answer Set Programming
Torsten Schaub

10:05 - 11:20 Paper Session 1 (Belief Revision)
Characterizability in Horn Belief Revision
György Turán and Jon Yaggie

Kinetic Consistency and Relevance in Belief Revision
Pavlos Peppas and Mary-Anne Williams

Revising Possibilistic Knowledge Bases via Compatibility Degrees
Yifan Jin, Kewen Wang, Zhe Wang and Zhiqiang Zhuang

11:50 - 13:05 Paper Session 2 (Computability of Logics)
On Decidability of a Logic of Gossips
Krzysztof R. Apt and Dominik Wojtczak

Decidability and Expressivity of Ockhamist Propositional Dynamic Logics
Joseph Boudou and Emiliano Lorini

Efficient Reasoning for Inconsistent Horn Formulae
Joao Marques-Silva, Alexey Ignatiev, Carlos Mencía, and Rafael Peñaloza

14:35 - 15:35 Keynote Talk 2
We Reason in Uncertainty, But of What Kinds?
Keith Stenning

15:40 - 16:55 Paper Session 3 (Argumentation I)
Understanding the Abstract Dialectical Framework
Sylwia Polberg

Correct Grounded Reasoning with Presumptive Arguments
Bart Verheij

17:25 - 18:15 Paper Session 4 (Sequent Calculi)
Standard Sequent Calculi for Lewis' Logics of Counterfactuals
Marianna Girlando, Björn Lellmann, Nicola Olivetti, and Gian Luca Pozzato

Proving Craig and Lyndon Interpolation Using Labelled Sequent Calculi
Roman Kuznets

Registration Hours: 08:30 - 13:00 & 14:00 - 15:00

09:00 - 10:00 Keynote Talk 3
The FO(.) Knowledge Base System Project
Marc Denecker

10:05 - 11:40 Paper Session 5 (Argumentation II)
Opposition Frameworks
Cosmina Croitoru and Kurt Mehlhorn

A Relaxation of Internal Conflict and Defence in Weighted Argumentation Frameworks
Stefano Bistarelli, Fabio Rossi and Francesco Santini

Incremental Computation of Deterministic Extensions for Dynamic Argumentation Frameworks
Sergio Greco and Francesco Parisi

Pakota: A System for Enforcement in Abstract Argumentation [System Description]
Andreas Niskanen, Johannes P. Wallner, and Matti Järvisalo

10:05 - 11:40 Paper Session 6 ASP / SAT Applications)
Exploiting Contextual Knowledge for Hybrid Classification of Visual Objects
Thomas Eiter and Tobias Kaminski

Writing Declarative Specifications for Clauses
Martin Gebser, Tomi Janhunen, Roland Kaminski, Torsten Schaub and Shahab Tasharrofi

DRAT Proofs for XOR Reasoning
Tobias Philipp and Adrián Rebola-Pardo

A Tool for Probabilistic Reasoning Based on Logic Programming and First-Order Theories Under Stable Model Semantics [System Description]
Matthias Nickles

12:10 - 13:00 Spotlight Session
Formalizing Goal Serializability For Evaluation Of Planning Features
Reza Basseda and Michael Kifer

Rule-based Stream Reasoning for Intelligent Administration of Content-Centric Networks
Harald Beck, Bruno Bierbaumer, Minh Dao-Tran, Thomas Eiter, Hermann Hellwagner and Konstantin Schekotihin

Inconsistency Management in Reactive Multi-Context Systems
Gerhard Brewka, Stefan Ellmauthaler, Ricardo Gonçalves, Matthias Knorr, João Leite, and Jörg Pührer

Iteratively-Supported Formulas and Strongly Supported Models for Kleene Answer Set Programs
Patrick Doherty, Jonas Kvarnström, and Andrzej Szałas

Forgetting in ASP: The Forgotten Properties
Ricardo Gonçalves, Matthias Knorr, and João Leite

On hierarchical task networks
Andreas Herzig, Laurent Perrussel and Zhanhao Xiao

Refinement of Intentions
Andreas Herzig, Laurent Perrussel, Zhanhao Xiao and Dongmo Zhang

GenB: A General Solver for AGM Revision
Aaron Hunter and Eric Tsang

A Two-Phase Dialogue Game for Skeptical Complete-based Semantics
Zohreh Shams and Nir Oren

Measuring Inconsistency in Answer Set Programs
Markus Ulbricht, Matthias Thimm and Gerhard Brewka

13:55 - 14:55 Keynote Talk 4
Frontiers of Cognitive Computing
Costas Bekas

Registration Hours: 08:30 - 13:00 & 14:00 - 17:00

09:00 - 10:00 Keynote Talk 5
To the Extent that You Are Like a Grape: Symbolic Models of Analogy and Concept Blending in Cognitive AI
Tarek R. Besold

10:05 - 11:45 Paper Session 7 (Temporal Logics)
On the Expressiveness of Temporal Equilibrium Logic
Laura Bozzelli and David Pearce

Prompt Interval Temporal Logic
Dario Della Monica, Angelo Montanari, Aniello Murano and Pietro Sala

Metabolic Pathways as Temporal Logic Programs
Jean-Marc Alliot, Martín Diéguez, and Luis Fariñas del Cerro

Temporal Here and There
Philippe Balbiani and Martín Diéguez

10:05 - 11:45 Paper Session 8 DL and Semantic Web)
Approximate Unification in the Description Logic FL0
Franz Baader, Pavlos Marantidis and Alexander Okhotin

Introducing Role Defeasibility in Description Logics
Arina Britz and Ivan Varzinczak

Inconsistency-Tolerant Query Answering: Rationality Properties and Computational Complexity Analysis
Jean François Baget, Salem Benferhat, Zied Bouraoui, Madalina Croitoru, Marie-Laure Mugnier, Odile Papini, Swan Rocher, and Karim Tabia

Hilbert-style Axiomatization for Hybrid XPath with Data
Carlos Areces and Raul Fervari

12:15 - 13:30 Paper Session 9 (Knowledge and Belief)
A Three-value Abstraction Technique for the Verification of Epistemic Properties in Multi-agent Systems
Francesco Belardinelli and Alessio Lomuscio

Reasoning about Justified Belief Based on the Fusion of Evidence
Tuan-Fang Fan and Churn-Jung Liau

On Logics of Group Belief in Structured Coalitions
Philippe Balbiani, David Pearce and Levan Uridia

15:00 - 16:15 Paper Session 10 (Applications of Logic)
Reactive Policies with Planning for Action Languages
Zeynep Gozen Saribatur and Thomas Eiter

Information Flow under Budget Constraints
Pavel Naumov and Jia Tao

Extensional Semantics for Higher-Order Logic Programs with Negation
Panos Rondogiannis and Ioanna Symeonidou