Program
Sunday, August 7th
A more detailed program can be checked on easychair:
https://easychair.org/smart-program/FLoC2022/NMR-index.html
09:15-09:30 Welcome and Opening
Room: Taub 4
09:30-10:30 Session 1: Argumentation 1
Chair: Markus Ulbricht
Room: Taub 4
09:30 Ofer Arieli, Annemarie Borg, Matthis Hesse and Christian Strasser
Abductive Reasoning with Sequent-Based Argumentation
10:00 Michael Bernreiter, Wolfgang Dvořák, Anna Rapberger and Stefan Woltran
The Effect of Preferences in Abstract Argumentation Under a Claim-Centric View
10:30-11:00 Coffee Break
11:00-12:00 Session 2: FLoC Keynote
11:00 Ziyad Hanna
Harnessing the Power of Formal Verification for the $Trillion Chip Design Industry
12:30-14:00 Lunch Break
14:00-15:00 Session 3: Keynote NMR and DL
Chair: Laura Giordano
Room: Taub 9
14:00 Thomas Eiter
Hybrid Anwer Set Programming: Opportunities and Challenges
15:00-15:30 Session 4: Joint DL/NMR Session A
Chair: Laura Giordano
Room: Taub 9
15:00 Loris Bozzato, Thomas Eiter and Rafael Kiesel
Reasoning on Multi-Relational Contextual Hierarchies via Answer Set Programming with Algebraic Measures
15:30-16:00Coffee Break
16:00-17:30 Session 5: Joint DL/NMR Session B
Chair: Thomas Meyer
Room: Taub 9
16:00 Igor de Camargo E Souza Câmara and Anni-Yasmin Turhan
Rational defeasible subsumption in DLs with nested quantifiers: the case of ELI⊥
16:25 Giovanni Casini and Umberto Straccia
Defeasible reasoning in RDFS
16:50 Lucia Gómez Álvarez, Sebastian Rudolph and Hannes Strass
Modelling Multiple Perspectives by Standpoint-Enhanced Description Logics
17:30-18:30 Session 6: Logic Lounge - Future of Autonomous Driving
Keynote by Shai Shalev-Shwartz (Mobileye and The Hebrew University of Jerusalem);
Panel: Gila Kamhi (Intel, Haifa), Sanjit Seshia (UC Berkeley)
19:00-20:30 FLoC Reception (at the Technion)
Monday, August 8th
09:00-10:00 Session 7: Keynote NMR and DL
Chair: Marie-Laure Mugnier
Room: Taub 9
09:00 Pierre Marquis
Rectifying Classifiers
10:00-10:30 Session 8: Joint DL/NMR Session C
Chair: Marie-Laure Mugnier
Room: Taub 9
10:00 Fajar Haifani, Patrick Koopmann, Sophie Tourret and Christoph Weidenbach
Connection-Minimal Abduction in EL via Translation to FOL
10:30-11:00 Coffee Break
11:00-12:30 Session 9: Joint DL/NMR Session D
Chair: Richard Booth
Room: Taub 9
11:00 Faiq Miftakhul Falakh and Sebastian Rudolph
AGM Revision in Description Logics Under Fixed-Domain Semantics
11:25 Vinícius Bitencourt Matos and Renata Wassermann
Repairing Ontologies via Kernel Pseudo-Contraction
11:50 Federica Di Stefano, Magdalena Ortiz and Mantas Šimkus
Pointwise Circumscription in Description Logics
12:15 Martin Homola, Júlia Pukancová, Iveta Balintová and Janka Boborová
Hybrid MHS-MXP ABox Abduction Solver: First Emprical Results
12:30-14:00 Lunch Break
14:00-15:30 Session 10: Belief Revision
Chair: Renata Wassermann
Room: Taub 4
14:00 Aaron Hunter and Sam Tadey
Trust Graphs for Belief Revision: Framework and Implementation
14:30 Joseph Singleton and Richard Booth
Truth-Tracking with Non-Expert Information Sources
15:00 Clayton Baker and Thomas Meyer
Asking human reasoners to judge postulates of belief change for plausibility
15:30-16:00 Coffee Break
16:00-17:30 Session 11: Preferences and Conditionals
Chair: Aaron Hunter
Room: Taub 4
16:00 Jesse Heyninck, Gabriele Kern-Isberner and Tommie Meyer
Conditional Syntax Splitting, Lexicographic Entailment and the Drowning Effect
16:30 Giovanni Casini, Thomas Meyer and Ivan Varzinczak
Situated Conditionals - A Brief Introduction
17:00 Xavier Parent
On some weakenings of transitivity in the logic of norms
18:30-20:30 Walking tour (at Haifa)
Tuesday, August 9th
09:00-10:00 Session 12: Keynote NMR
Chair: Giovanni Casini
Room: Taub 4
09:00 Serena Villata
Fallacious arguments: the place where Knowledge Representation and Argument Mining meet each other
10:00-10:30 Session 13: NMR and Learning
Chair: Giovanni Casini
Room: Taub 4
10:00 Mohan Sridharan, Chloe Benz, Arthur Findelair and Kevin Gloaguen
There and Back Again: Combining Nonmonotonic Logical Reasoning and Deep Learning on an Assistive Robot
10:30-11:00 Coffee Break
11:00-12:30 Session 14: Argumentation 2
Chair: Ofer Arieli
Room: Taub 4
11:00 Anna Rapberger, Markus Ulbricht and Johannes P. Wallner
Argumentation Frameworks induced by Assumption-based Argumentation: Relating Size and Complexity
11:30 Victor Hugo Rocha and Fabio Cozman
Bipolar Argumentation Frameworks with Explicit Conclusions: Connecting Argumentation and Logic Programming
12:00 Laura Giordano
From Weighted Conditionals to a Gradual Argumentation Semantics and back
12:30-14:00 Lunch Break
14:00-15:30 Session 15: Agents, actions and planning
Chair: Laura Giordano
Room: Taub 4
14:00 Stefania Costantini, Valentina Pitoni and Andrea Formisano
Modelling Agents Roles in the Epistemic Logic L-DINF
14:30 Richard Scherl
A situation-calculus model of Knowledge and Belief based on Thinking about Justifications
15:00 Hisashi Hayashi and Ken Satoh
Towards Legally and Ethically Correct Online HTN Planning for Data Transfer
15:30-15:40 Best Student Paper Prize
Room: Taub 4
15:40-16:00 Closing
Room: Taub 4
16:00-16:30Coffee Break
16:30-17:30 Session 16: FLoC Plenary
16:30 Aarti Gupta
SMT-based Verification of Distributed Network Control Planes
19:30-22:00 FLoC Banquet (at Bikta Bayar - Beit Oren)