FLOC 2022: FEDERATED LOGIC CONFERENCE 2022
KR PROGRAM

Days: Tuesday, August 2nd Wednesday, August 3rd Thursday, August 4th Friday, August 5th

Tuesday, August 2nd

View this program: with abstractssession overviewtalk overviewside by side with other conferences

08:30-09:00Coffee & Refreshments
09:30-10:30 Session 46: Invited Talk
Location: Taub 2
09:30
Neuro-Symbolic Adventures on Commonsense Knowledge and Reasoning (abstract)
10:30-11:00Coffee Break
11:10-12:10 Session 48: Keynote
11:10
Information Structures for Privacy and Fairness (abstract)
12:10-12:40 Session 49B: Knowledge Graphs
Location: Taub 3
12:10
Open Relation Extraction With Non-existent and Multi-span Relationships (abstract)
PRESENTER: Huifan Yang
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 50E: Multi-Agent Systems
Location: Taub 2
14:00
Verification and Realizability in Finite-Horizon Multiagent Systems (abstract)
14:30
Towards an Enthymeme-Based Communication Framework in Multi-Agent Systems (abstract)
15:00
Automatic Synthesis of Dynamic Norms for Multi-Agent Systems (abstract)
PRESENTER: Giuseppe Perelli
14:00-14:30 Session 50F: Doctoral Consortium
Location: Taub 3
14:00
Matthias König's Thesis: Graph Parameters for Abstract Argumentation
14:05
Impact of Logic Paradigms on Abstract Argumentation
14:10
Computational Aspects of Structured Argumentation
14:15
Do Humans Find Postulates of Belief Change Plausible?
14:20
A Conditional Perspective for Reasoning, Revision and Relevance
14:25
Deontic Logic for Epistemic Actions
14:30-15:00 Session 51: Doctoral Consortium
Location: Taub 3
14:30
Relevance in Reasoning with and Revision of Conditional Beliefs
14:35
Doctoral Consortium Application
14:40
On Merging of Open-Domain Ontologies
14:45
Structure-based ontology extensions
14:50
Filippo De Bortoli - Reasoning Efficiently with Description Logics that Count
14:55
Data Quality in Ontology-Based Data Access
15:00-15:35 Session 52B: Doctoral Consortium
Location: Taub 3
15:00
Decidability Limits of Finite Ontology-Mediated Query Entailment
15:05
Towards a Logical Account for Human-Aware Explanation Generation in Model Reconciliation Problems
15:10
Logics for Representation and Design of Auctions
15:15
Optimisation Methods for Complex Event Recognition
15:20
On the learnability of knowledge in language domains
15:25
Investigating Novel Representations and Deep Reinforcement Learning for General Game Playing
15:30
Data Efficient Paradigms for Personalized Assessment of Taskable AI Systems
15:30-16:00Coffee Break
16:00-17:30 Session 54E: Temporal Reasoning
Location: Taub 2
16:00
On the Expressive Power of Intermediate and Conditional Effects in Temporal Planning (abstract)
PRESENTER: Nicola Gigante
16:30
Unique Characterisability and Learnability of Temporal Instance Queries (abstract)
PRESENTER: Yury Savateev
17:00
A Gödel calculus for Linear Temporal Logic (abstract)
16:00-17:30 Session 54F: Description Logics
Location: Taub 3
16:00
Counting queries over ELHI⊥ ontologies (abstract)
PRESENTER: Quentin Manière
16:30
Ontology-Mediated Querying on Databases of Bounded Cliquewidth (abstract)
PRESENTER: Lukas Schulze
17:00
Finite Entailment of UCRPQs over ALC Ontologies (abstract)
PRESENTER: Albert Gutowski
Wednesday, August 3rd

View this program: with abstractssession overviewtalk overviewside by side with other conferences

08:30-09:00Coffee & Refreshments
10:30-11:00Coffee Break
11:00-12:30 Session 58E: KR & Machine Learning
Location: Taub 2
11:00
Neural-Probabilistic Answer Set Programming (abstract)
PRESENTER: Arseny Skryagin
11:30
Faithful Approaches to Rule Learning (abstract)
12:00
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
Location: Taub 3
11:00
On Paraconsistent Belief Revision in LP (Extended Abstract) (abstract)
PRESENTER: Nicolas Schwind
11:10
A conditional, a fuzzy and a probabilistic interpretation of self-organising maps (Abstract) (abstract)
PRESENTER: Laura Giordano
11:20
Influence-Driven Explanations for Bayesian Network Classifiers (abstract)
PRESENTER: Francesca Toni
11:30
Lifting Symmetry Breaking Constraints with Inductive Logic Programming (abstract)
PRESENTER: Alice Tarzariol
11:40
Abstract Argumentation with Markov Networks (Extended Abstract) (abstract)
11:50
Interpreting Neural Networks as Quantitative Argumentation Frameworks (Extended Abstract) (abstract)
12:00
An Axiomatic Approach to Revising Preferences (Extended Abstract) (abstract)
PRESENTER: Adrian Haret
12:10
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).

14:00-15:30 Session 59D: KR & Machine Learning
Location: Taub 2
14:00
Sum-Product Loop Programming: From Probabilistic Circuits to Loop Programming (abstract)
14:30
Learning generalized policies without supervision using GNNs (abstract)
PRESENTER: Blai Bonet
15:00
Embed2Sym - Scalable Neuro-Symbolic Reasoning via Clustered Embeddings (abstract)
PRESENTER: Yaniv Aspis
14:00-15:30 Session 59E: Recently Published Research
Location: Taub 3
14:00
Solving Lam's Problem via SAT and Isomorph-Free Exhaustive Generation (abstract)
PRESENTER: Curtis Bright
14:10
Rushing and Strolling among Answer Sets -- Navigation Made Easy (Extended Abstract) (abstract)
PRESENTER: Dominik Rusovac
14:20
A General Framework for Stable Roommates Problems using Answer Set Programming (abstract)
PRESENTER: Esra Erdem
14:30
Reasoning about Cardinal Directions between 3-Dimensional Extended Objects using Answer Set Programming (abstract)
14:40
Hybrid Conditional Planning for Robotic Applications (Extended Abstract) (abstract)
PRESENTER: Esra Erdem
14:50
LACE: A Logical Approach to Collective Entity Resolution (abstract)
PRESENTER: Meghyn Bienvenu
15:00
Rule Learning over Knowledge Graphs with Genetic Logic Programming (abstract)
15:30-16:00Coffee Break
16:00-17:00 Session 61D: Invited Talk
Location: Taub 2
16:00
Probabilities, Reasoning, and Argumentation (abstract)
17:00-18:00 Session 62A: Conditionals
Location: Taub 2
17:00
Compound conditionals as random quantities and Boolean algebras (abstract)
PRESENTER: Tommaso Flaminio
17:30
A General Framework for Modelling Conditional Reasoning - Preliminary Report (abstract)
PRESENTER: Giovanni Casini
17:00-18:00 Session 62B: Actions
Location: Taub 3
17:00
Act for Your Duties but Maintain Your Rights (abstract)
PRESENTER: Shufang Zhu
17:30
Epistemic Actions: Comparing Multi-agent Belief Bases with Action Models (abstract)
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 abstractssession overviewtalk overviewside by side with other conferences

08:30-09:00Coffee & Refreshments
09:00-10:30 Session 63E: Argumentation
Location: Taub 2
09:00
Rediscovering Argumentation Principles Utilizing Collective Attacks (abstract)
PRESENTER: Matthias König
09:30
A Credal Least Undefined Stable Semantics for Probabilistic Logic Programs and Probabilistic Argumentation (abstract)
PRESENTER: Fabio Cozman
10:00
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
Location: Taub 3
09:00
On Syntactic Forgetting with Strong Persistence (abstract)
09:30
Kernel Contraction and the Order of Relevance (abstract)
10:00
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
Location: Taub 2
11:00
Graph Queries: Do We Study What Matters? (abstract)
12:00-12:30 Session 66A: Automated Reasoning
Location: Taub 2
12:00
Automating Reasoning with Standpoint Logic via Nested Sequents (abstract)
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
Location: Taub 2
14:00
Online Grounding of Symbolic Planning Domains in Unknown Environments (abstract)
PRESENTER: Leonardo Lamanna
14:30
Stream Reasoning with Cycles (abstract)
15:00
Symbolic Knowledge Extraction from Opaque Machine Learning Predictors: GridREx & PEDRO (abstract)
PRESENTER: Roberta Calegari
14:00-15:30 Session 67F: Belief Revision/RDFS
Location: Taub 3
14:00
A Minimal Deductive System for RDFS with Negative Statements (abstract)
PRESENTER: Umberto Straccia
14:30
Hyperintensional Partial Meet Contractions (abstract)
15:00
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
16:00
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.

 

Friday, August 5th

View this program: with abstractssession overviewtalk overviewside by side with other conferences

08:30-09:00Coffee & Refreshments
09:00-10:30 Session 73C: Description Logics
Location: Taub 2
09:00
Interpolants and Explicit Definitions in Extensions of the Description Logic EL (abstract)
PRESENTER: Marie Fortin
09:30
Sticky Policies in OWL2: Extending PL with fixpoints and Transitive Closure (abstract)
PRESENTER: Luigi Sauro
10:00
Pushing Optimal ABox Repair from EL Towards More Expressive Horn-DLs (abstract)
09:00-10:30 Session 73D: Systems & Robotics / Existential Rules
Location: Taub 3
09:00
Querying Inconsistent Prioritized Data with ORBITS: Algorithms, Implementation, and Experiments (abstract)
PRESENTER: Meghyn Bienvenu
09:30
Forecasting Argumentation Frameworks (abstract)
PRESENTER: Francesca Toni
10:00
ALASPO: An Adaptive Large-Neighbourhood ASP Optimiser (abstract)
PRESENTER: Tobias Geibinger
10:10
On the Relationship between Shy and Warded Datalog+/- (abstract)
PRESENTER: Teodoro Baldazzi
10:20
Chasing streams with existential rules (abstract)
PRESENTER: Thomas Eiter
10:30-11:00Coffee Break
11:00-12:30 Session 76E: Belief Merging/Revision
Location: Taub 2
11:00
The More the Worst-Case-Merrier: A Generalized Condorcet Jury Theorem for Belief Fusion (abstract)
PRESENTER: Jonas Karge
11:30
Region-Based Merging of Open-Domain Terminological Knowledge (abstract)
PRESENTER: Thanh Ma
12:00
Projection of Belief in the Presence of Nondeterministic Actions and Fallible Sensing (abstract)
PRESENTER: Jens Classen
12:10
Inference with System W Satisfies Syntax Splitting (abstract)
PRESENTER: Jonas Haldimann
12:20
Iterated Belief Change, Computationally (abstract)
PRESENTER: Kai Sauerwald
11:00-12:30 Session 76F: Datalog & Existential Rules
Location: Taub 3
11:00
Conservative Extensions for Existential Rules (abstract)
PRESENTER: Carsten Lutz
11:30
Revisiting Semiring Provenance for Datalog (abstract)
PRESENTER: Liat Peterfreund
12:00
Normalisations of Existential Rules: Not so Innocuous! (abstract)
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
Location: Taub 2
14:00
From Non-monotonic Reasoning to Argumentation and Commonsense (Great Moments in KR Talk) (abstract)
15:00-15:30 Session 79A: Planning
Location: Taub 2
15:00
Discovering User-Interpretable Capabilities of Black-Box Planning Agents (abstract)
PRESENTER: Pulkit Verma
15:00-15:30 Session 79B: Deontic Logic
Chair:
Location: Taub 3
15:00
Dynamic Deontic Logic for Permitted Announcements (abstract)
PRESENTER: Xu Li
15:30-16:00Coffee Break
15:30-17:00 Session 80A: KR & Machine Learning
Location: Taub 2
15:30
Learning Typed Rules over Knowledge Graphs (abstract)
PRESENTER: Hong Wu
16:00
A Graph Neural Network Reasoner for Game Description Language (abstract)
PRESENTER: Alvaro Gunawan
16:30
Explaining Causal Models with Argumentation: the Case of Bi-variate Reinforcement (abstract)
PRESENTER: Francesca Toni
15:30-16:30 Session 80B: Argumentation
Location: Taub 3
15:30
On Dynamics in Structured Argumentation Formalisms (abstract)
PRESENTER: Anna Rapberger
16:00
Defining Defense and Defeat in Abstract Argumentation From Scratch -- A Generalizing Approach (abstract)
PRESENTER: Lydia Blümel