KR Program

14:00	Senthil Rajasekaran and Moshe Y. Vardi Verification and Realizability in Finite-Horizon Multiagent Systems (abstract) PRESENTER: Senthil Rajasekaran
14:30	Alison R. Panisson, Peter McBurney and Rafael H. Bordini Towards an Enthymeme-Based Communication Framework in Multi-Agent Systems (abstract) PRESENTER: Alison R. Panisson
15:00	Natasha Alechina, Giuseppe De Giacomo, Brian Logan and Giuseppe Perelli Automatic Synthesis of Dynamic Norms for Multi-Agent Systems (abstract) PRESENTER: Giuseppe Perelli

14:00-14:30 Session 50F: Doctoral Consortium

Chair:

Giovanni Casini

Location: Taub 3

14:00	Matthias König Matthias König's Thesis: Graph Parameters for Abstract Argumentation
14:05	Lydia Blümel Impact of Logic Paradigms on Abstract Argumentation
14:10	Tuomo Lehtonen Computational Aspects of Structured Argumentation
14:15	Clayton Baker Do Humans Find Postulates of Belief Change Plausible?
14:20	Meliha Sezgin A Conditional Perspective for Reasoning, Revision and Relevance
14:25	Xu Li Deontic Logic for Epistemic Actions

14:30-15:00 Session 51: Doctoral Consortium

Chair:

Giovanni Casini

Location: Taub 3

14:30	Jonas Philipp Haldimann Relevance in Reasoning with and Revision of Conditional Beliefs
14:35	Jonas Karge Doctoral Consortium Application
14:40	Thanh Ma On Merging of Open-Domain Ontologies
14:45	Martin Glauer Structure-based ontology extensions
14:50	Filippo De Bortoli Filippo De Bortoli - Reasoning Efficiently with Description Logics that Count
14:55	Guillaume Pérution-Kihli Data Quality in Ontology-Based Data Access

15:00-15:35 Session 52B: Doctoral Consortium

Chair:

Giovanni Casini

Location: Taub 3

15:00	Albert Gutowski Decidability Limits of Finite Ontology-Mediated Query Entailment
15:05	Stylianos Loukas Vasileiou Towards a Logical Account for Human-Aware Explanation Generation in Model Reconciliation Problems
15:10	Munyque Mittelmann Logics for Representation and Design of Auctions
15:15	Periklis Mantenoglou Optimisation Methods for Complex Event Recognition
15:20	Ionela Mocanu On the learnability of knowledge in language domains
15:25	Alvaro Gunawan Investigating Novel Representations and Deep Reinforcement Learning for General Game Playing
15:30	Pulkit Verma Data Efficient Paradigms for Personalized Assessment of Taskable AI Systems

15:30-16:00Coffee Break

15:30-16:00 Session 53: Doctoral Consortium Poster Session

Chair:

Giovanni Casini

Location: Taub floor 1 lobby

16:00-17:30 Session 54E: Temporal Reasoning

Chair:

Martin Gebser

Location: Taub 2

16:00	Nicola Gigante, Andrea Micheli and Enrico Scala On the Expressive Power of Intermediate and Conditional Effects in Temporal Planning (abstract) PRESENTER: Nicola Gigante
16:30	Marie Fortin, Boris Konev, Vladislav Ryzhikov, Yury Savateev, Frank Wolter and Michael Zakharyaschev Unique Characterisability and Learnability of Temporal Instance Queries (abstract) PRESENTER: Yury Savateev
17:00	Juan Aguilera, Martín Diéguez, David Fernández-Duque and Brett McLean A Gödel calculus for Linear Temporal Logic (abstract) PRESENTER: David Fernández-Duque

16:00-17:30 Session 54F: Description Logics

Chair:

Diego Calvanese

Location: Taub 3

16:00	Meghyn Bienvenu, Quentin Manière and Michaël Thomazo Counting queries over ELHI⊥ ontologies (abstract) PRESENTER: Quentin Manière
16:30	Carsten Lutz, Leif Sabellek and Lukas Schulze Ontology-Mediated Querying on Databases of Bounded Cliquewidth (abstract) PRESENTER: Lukas Schulze
17:00	Victor Gutierrez-Basulto, Albert Gutowski, Yazmin Ibanez-Garcia and Filip Murlak Finite Entailment of UCRPQs over ALC Ontologies (abstract) PRESENTER: Albert Gutowski

17:30-18:30 Session 55: Logic Lounge

Chair:

Georg Weissenbacher

Location: Churchill Auditorium

17:30

Francesca Rossi

Thinking Fast and Slow in AI (abstract)

19:00-21:00 FloC Reception (at the Technion)

Location: Churchill Patio

Wednesday, August 3rd

View this program: with abstracts session overview talk overview side by side with other conferences

08:30-09:00Coffee & Refreshments

09:00-09:30 Session 56D: Report Back on Dagstuhl Perspectives Workshop: Current and Future Challenges in Knowledge Representation and Reasoning

Chair:

Thomas Meyer

Location: Taub 2

09:30-10:30 Session 57: D&I Session

Chair:

Gabriele Kern-Isberner

Location: Taub 2

10:30-11:00Coffee Break

11:00-12:30 Session 58E: KR & Machine Learning

Chair:

Fabio Cozman

Location: Taub 2

11:00	Arseny Skryagin, Wolfgang Stammer, Daniel Ochs, Devendra Dhami and Kristian Kersting Neural-Probabilistic Answer Set Programming (abstract) PRESENTER: Arseny Skryagin
11:30	David Tena Cucala, Bernardo Cuenca Grau and Boris Motik Faithful Approaches to Rule Learning (abstract) PRESENTER: David Tena Cucala
12:00	João Ferreira, Manuel de Sousa Ribeiro, Ricardo Gonçalves and Joao Leite Looking Inside the Black-Box: Logic-based Explanations for Neural Networks (abstract) PRESENTER: João Ferreira

11:00-12:30 Session 58F: Recently Published Research

Chair:

Sebastian Rudolph

Location: Taub 3

11:00	Nicolas Schwind, Sébastien Konieczny and Ramón Pino Pérez On Paraconsistent Belief Revision in LP (Extended Abstract) (abstract) PRESENTER: Nicolas Schwind
11:10	Laura Giordano, Valentina Gliozzi and Daniele Theseider Dupre A conditional, a fuzzy and a probabilistic interpretation of self-organising maps (Abstract) (abstract) PRESENTER: Laura Giordano
11:20	Emanuele Albini, Antonio Rago, Pietro Baroni and Francesca Toni Influence-Driven Explanations for Bayesian Network Classifiers (abstract) PRESENTER: Francesca Toni
11:30	Alice Tarzariol, Martin Gebser and Konstantin Schekotihin Lifting Symmetry Breaking Constraints with Inductive Logic Programming (abstract) PRESENTER: Alice Tarzariol
11:40	Nico Potyka Abstract Argumentation with Markov Networks (Extended Abstract) (abstract)
11:50	Nico Potyka Interpreting Neural Networks as Quantitative Argumentation Frameworks (Extended Abstract) (abstract)
12:00	Adrian Haret and Johannes Wallner An Axiomatic Approach to Revising Preferences (Extended Abstract) (abstract) PRESENTER: Adrian Haret
12:10	Julian Chingoma, Ulle Endriss and Ronald de Haan Simulating Multiwinner Voting Rules in Judgment Aggregation (abstract) PRESENTER: Julian Chingoma

12:30-14:00Lunch Break

Lunch will be held in Taub lobby (CP, LICS, ICLP) and in The Grand Water Research Institute (KR, FSCD, SAT).

12:30-14:00 Doctoral Consortium Mentor Lunch

Chair:

Giovanni Casini

14:00-15:30 Session 59D: KR & Machine Learning

Chair:

Luciano Serafini

Location: Taub 2

14:00	Viktor Pfanschilling, Hikaru Shindo, Devendra Singh Dhami and Kristian Kersting Sum-Product Loop Programming: From Probabilistic Circuits to Loop Programming (abstract) PRESENTER: Viktor Pfanschilling
14:30	Simon Ståhlberg, Blai Bonet and Hector Geffner Learning generalized policies without supervision using GNNs (abstract) PRESENTER: Blai Bonet
15:00	Yaniv Aspis, Krysia Broda, Jorge Lobo and Alessandra Russo Embed2Sym - Scalable Neuro-Symbolic Reasoning via Clustered Embeddings (abstract) PRESENTER: Yaniv Aspis

14:00-15:30 Session 59E: Recently Published Research

Chair:

Sebastian Rudolph

Location: Taub 3

14:00	Curtis Bright, Kevin K. H. Cheung, Brett Stevens, Ilias Kotsireas and Vijay Ganesh Solving Lam's Problem via SAT and Isomorph-Free Exhaustive Generation (abstract) PRESENTER: Curtis Bright
14:10	Dominik Rusovac, Sarah Alice Gaggl and Johannes K. Fichte Rushing and Strolling among Answer Sets -- Navigation Made Easy (Extended Abstract) (abstract) PRESENTER: Dominik Rusovac
14:20	Esra Erdem, Müge Fidan, David Manlove and Patrick Prosser A General Framework for Stable Roommates Problems using Answer Set Programming (abstract) PRESENTER: Esra Erdem
14:30	Yusuf Izmirlioglu and Esra Erdem Reasoning about Cardinal Directions between 3-Dimensional Extended Objects using Answer Set Programming (abstract) PRESENTER: Yusuf Izmirlioglu
14:40	Ahmed Nouman, Volkan Patoglu and Esra Erdem Hybrid Conditional Planning for Robotic Applications (Extended Abstract) (abstract) PRESENTER: Esra Erdem
14:50	Meghyn Bienvenu, Gianluca Cima and Victor Gutierrez-Basulto LACE: A Logical Approach to Collective Entity Resolution (abstract) PRESENTER: Meghyn Bienvenu
15:00	Lianlong Wu, Emanuel Sallinger, Evgeny Sherkhonov, Sahar Vahdati and Georg Gottlob Rule Learning over Knowledge Graphs with Genetic Logic Programming (abstract) PRESENTER: Emanuel Sallinger

15:30-16:00Coffee Break

16:00-17:00 Session 61D: Invited Talk

Chair:

Gerhard Lakemeyer

Location: Taub 2

16:00

Ulrike Hahn

Probabilities, Reasoning, and Argumentation (abstract)

17:00-18:00 Session 62A: Conditionals

Chair:

Alexander Bochman

Location: Taub 2

17:00	Tommaso Flaminio, Angelo Gilio, Lluis Godo and Giuseppe Sanfilippo Compound conditionals as random quantities and Boolean algebras (abstract) PRESENTER: Tommaso Flaminio
17:30	Giovanni Casini and Umberto Straccia A General Framework for Modelling Conditional Reasoning - Preliminary Report (abstract) PRESENTER: Giovanni Casini

17:00-18:00 Session 62B: Actions

Chair:

Lucía Gómez Álvarez

Location: Taub 3

17:00	Shufang Zhu and Giuseppe De Giacomo Act for Your Duties but Maintain Your Rights (abstract) PRESENTER: Shufang Zhu
17:30	Emiliano Lorini, Elise Perrotin and Francois Schwarzentruber Epistemic Actions: Comparing Multi-agent Belief Bases with Action Models (abstract) PRESENTER: Francois Schwarzentruber

18:30-20:30 Walking tour (at Haifa)

pickup at 18:00 from the Technion (Tour at Haifa, no food will be provided)

Thursday, August 4th

View this program: with abstracts session overview talk overview side by side with other conferences

08:30-09:00Coffee & Refreshments

09:00-10:30 Session 63E: Argumentation

Chair:

Nico Potyka

Location: Taub 2

09:00	Wolfgang Dvořák, Matthias König, Markus Ulbricht and Stefan Woltran Rediscovering Argumentation Principles Utilizing Collective Attacks (abstract) PRESENTER: Matthias König
09:30	Victor Hugo Nascimento Rocha and Fabio Cozman A Credal Least Undefined Stable Semantics for Probabilistic Logic Programs and Probabilistic Argumentation (abstract) PRESENTER: Fabio Cozman
10:00	Tuomo Lehtonen, Johannes P. Wallner and Matti Järvisalo Computing Stable Argumentative Conclusions under the Weakest-Link Principle in the ASPIC+ Framework (abstract) PRESENTER: Tuomo Lehtonen

09:00-10:30 Session 63F: Belief Revision

Chair:

Kai Sauerwald

Location: Taub 3

09:00	Matti Berthold On Syntactic Forgetting with Strong Persistence (abstract)
09:30	Jandson S. Ribeiro Kernel Contraction and the Order of Relevance (abstract)
10:00	Joe Singleton and Richard Booth Who’s the Expert? On Multi-source Belief Change (abstract) PRESENTER: Joe Singleton

10:30-11:00Coffee Break

11:00-12:00 Session 65E: Invited Talk

Chair:

Thomas Meyer

Location: Taub 2

11:00

Leon Libkin

Graph Queries: Do We Study What Matters? (abstract)

12:00-12:30 Session 66A: Automated Reasoning

Chair:

Kai Sauerwald

Location: Taub 2

12:00

Tim Lyon and Lucía Gómez Álvarez

Automating Reasoning with Standpoint Logic via Nested Sequents (abstract)

PRESENTER: Lucía Gómez Álvarez

12:00-12:30 Session 66B: Strategic Reasoning

Chair:

Eugenia Ternovska

Location: Taub 3

12:00

Nathanaël Fijalkow, Bastien Maubert, Aniello Murano, Sasha Rubin and Moshe Vardi

Private and public affairs in strategic reasoning (abstract)

PRESENTER: Aniello Murano

12:30-14:00Lunch Break

Lunch will be held in Taub lobby (CP, LICS, ICLP) and in The Grand Water Research Institute (KR, FSCD, SAT).

14:00-15:30 Session 67E: Systems & Robotics

Chair:

Wolfgang Faber

Location: Taub 2

14:00	Leonardo Lamanna, Luciano Serafini, Alessandro Saetti, Alfonso Emilio Gerevini and Paolo Traverso Online Grounding of Symbolic Planning Domains in Unknown Environments (abstract) PRESENTER: Leonardo Lamanna
14:30	Periklis Mantenoglou, Manolis Pitsikalis and Alexander Artikis Stream Reasoning with Cycles (abstract) PRESENTER: Periklis Mantenoglou
15:00	Federico Sabbatini and Roberta Calegari Symbolic Knowledge Extraction from Opaque Machine Learning Predictors: GridREx & PEDRO (abstract) PRESENTER: Roberta Calegari

14:00-15:30 Session 67F: Belief Revision/RDFS

Chair:

Richard Booth

Location: Taub 3

14:00	Umberto Straccia and Giovanni Casini A Minimal Deductive System for RDFS with Negative Statements (abstract) PRESENTER: Umberto Straccia
14:30	Marlo Souza and Renata Wassermann Hyperintensional Partial Meet Contractions (abstract) PRESENTER: Renata Wassermann
15:00	Nicolas Schwind, Sébastien Konieczny and Ramon Pino Perez On the Representation of Darwiche and Pearl’s Epistemic States for Iterated Belief Revision (abstract) PRESENTER: Nicolas Schwind

15:30-16:00Coffee Break

16:00-17:00 Session 70: Plenary

Chair:

Orna Grumberg

Location: Churchill Auditorium

16:00

Orna Kupferman

Complexity Measures for Reactive Systems (abstract)

17:00-17:30 Piano concert

Program:

Mozart Sonata n°3 K. 281 B-flat major
Liszt Rhapsody n°7
Gerschwin Three preludes

Bio: François Schwarzentruber is associate professor at école normale supérieure de Rennes. He took piano lessons by Suzanne Muller-Gunst. He performed Beethoven's piano concertos n° 3 and 4 with the orchestra of institut national polytechnique (INP) of Toulouse,Rhapsody in Blue of Gershwin together with the university orchestra of Rennes. He gave several concerts, in the public library Champs Libres in Rennes, in retirement houses, but also in festivals. He won the "special Mozart and "Amateurs virtuoses" awards at International Ile-de-France Piano Competition (amateurs). He also composes, mostly short pieces for piano.

Chair:

Francois Schwarzentruber

Location: Churchill Auditorium

19:30-22:00 FLoC Banquet (at Bikta Bayar - Beit Oren) - Paid event

Friday, August 5th

View this program: with abstracts session overview talk overview side by side with other conferences

08:30-09:00Coffee & Refreshments

09:00-10:30 Session 73C: Description Logics

Chair:

Martin Homola

Location: Taub 2

09:00	Marie Fortin, Boris Konev and Frank Wolter Interpolants and Explicit Definitions in Extensions of the Description Logic EL (abstract) PRESENTER: Marie Fortin
09:30	Piero Bonatti and Luigi Sauro Sticky Policies in OWL2: Extending PL with fixpoints and Transitive Closure (abstract) PRESENTER: Luigi Sauro
10:00	Franz Baader and Francesco Kriegel Pushing Optimal ABox Repair from EL Towards More Expressive Horn-DLs (abstract) PRESENTER: Francesco Kriegel

09:00-10:30 Session 73D: Systems & Robotics / Existential Rules

Chair:

Jean Christoph Jung

Location: Taub 3

09:00	Meghyn Bienvenu and Camille Bourgaux Querying Inconsistent Prioritized Data with ORBITS: Algorithms, Implementation, and Experiments (abstract) PRESENTER: Meghyn Bienvenu
09:30	Benjamin Irwin, Antonio Rago and Francesca Toni Forecasting Argumentation Frameworks (abstract) PRESENTER: Francesca Toni
10:00	Thomas Eiter, Tobias Geibinger, Nelson Higuera, Nysret Musliu, Johannes Oetsch and Daria Stepanova ALASPO: An Adaptive Large-Neighbourhood ASP Optimiser (abstract) PRESENTER: Tobias Geibinger
10:10	Teodoro Baldazzi, Luigi Bellomarini, Marco Favorito and Emanuel Sallinger On the Relationship between Shy and Warded Datalog+/- (abstract) PRESENTER: Teodoro Baldazzi
10:20	Jacopo Urbani, Markus Krötzsch and Thomas Eiter Chasing streams with existential rules (abstract) PRESENTER: Thomas Eiter

10:30-11:00Coffee Break

11:00-12:30 Session 76E: Belief Merging/Revision

Chair:

Renata Wassermann

Location: Taub 2

11:00	Jonas Karge and Sebastian Rudolph The More the Worst-Case-Merrier: A Generalized Condorcet Jury Theorem for Belief Fusion (abstract) PRESENTER: Jonas Karge
11:30	Zied Bouraoui, Sébastien Konieczny, Thanh Ma, Nicolas Schwind and Ivan Varzinczak Region-Based Merging of Open-Domain Terminological Knowledge (abstract) PRESENTER: Thanh Ma
12:00	Jens Classen and James Delgrande Projection of Belief in the Presence of Nondeterministic Actions and Fallible Sensing (abstract) PRESENTER: Jens Classen
12:10	Jonas Haldimann and Christoph Beierle Inference with System W Satisfies Syntax Splitting (abstract) PRESENTER: Jonas Haldimann
12:20	Kai Sauerwald and Christoph Beierle Iterated Belief Change, Computationally (abstract) PRESENTER: Kai Sauerwald

11:00-12:30 Session 76F: Datalog & Existential Rules

Chair:

Meghyn Bienvenu

Location: Taub 3

11:00	Jean Christoph Jung, Carsten Lutz and Jerzy Marcinkowski Conservative Extensions for Existential Rules (abstract) PRESENTER: Carsten Lutz
11:30	Camille Bourgaux, Pierre Bourhis, Liat Peterfreund and Michaël Thomazo Revisiting Semiring Provenance for Datalog (abstract) PRESENTER: Liat Peterfreund
12:00	David Carral, Lucas Larroque, Marie-Laure Mugnier and Michaël Thomazo Normalisations of Existential Rules: Not so Innocuous! (abstract) PRESENTER: Marie-Laure Mugnier

12:30-14:00Lunch Break

Lunch will be held in Taub lobby (CP, LICS, ICLP) and in The Grand Water Research Institute (KR, FSCD, SAT).

14:00-15:00 Session 78C: Invited Talk

Chair:

Francesca Toni

Location: Taub 2

14:00

Anthony Hunter

From Non-monotonic Reasoning to Argumentation and Commonsense (Great Moments in KR Talk) (abstract)

15:00-15:30 Session 79A: Planning

Chair:

Giuseppe De Giacomo

Location: Taub 2

15:00

Pulkit Verma, Shashank Rao Marpally and Siddharth Srivastava

Discovering User-Interpretable Capabilities of Black-Box Planning Agents (abstract)

PRESENTER: Pulkit Verma

15:00-15:30 Session 79B: Deontic Logic

Chair:

Tim Lyon

Location: Taub 3

15:00

Xu Li, Dov Gabbay and Réka Markovich

Dynamic Deontic Logic for Permitted Announcements (abstract)

PRESENTER: Xu Li

15:30-16:00Coffee Break

15:30-17:00 Session 80A: KR & Machine Learning

Chair:

Fabio Cozman

Location: Taub 2

15:30	Hong Wu, Zhe Wang, Kewen Wang and Yi-Dong Shen Learning Typed Rules over Knowledge Graphs (abstract) PRESENTER: Hong Wu
16:00	Alvaro Gunawan, Ji Ruan and Xiaowei Huang A Graph Neural Network Reasoner for Game Description Language (abstract) PRESENTER: Alvaro Gunawan
16:30	Antonio Rago, Pietro Baroni and Francesca Toni Explaining Causal Models with Argumentation: the Case of Bi-variate Reinforcement (abstract) PRESENTER: Francesca Toni

15:30-16:30 Session 80B: Argumentation

Chair:

Anthony Hunter

Location: Taub 3

15:30	Anna Rapberger and Markus Ulbricht On Dynamics in Structured Argumentation Formalisms (abstract) PRESENTER: Anna Rapberger
16:00	Lydia Blümel and Markus Ulbricht Defining Defense and Defeat in Abstract Argumentation From Scratch -- A Generalizing Approach (abstract) PRESENTER: Lydia Blümel

17:00-17:30 Session 84A: Closing

Location: Taub 2

17:00-17:30 Session 84B: Closing

Chair:

Thomas Meyer

Location: Taub 2

17:00

Gabriele Kern-Isberner and Thomas Meyer

KR 2022 Closing (abstract)

PRESENTER: Gabriele Kern-Isberner