NMR PROGRAM
Days: Sunday, August 7th Monday, August 8th Tuesday, August 9th
Sunday, August 7th
View this program: with abstractssession overviewtalk overviewside by side with other conferences
08:30-09:00Coffee & Refreshments
09:30-10:30 Session 87: Argumentation 1
Chair:
Location: Taub 4
| 09:30 | Abductive Reasoning with Sequent-Based Argumentation (Extended Abstract) (abstract) PRESENTER: Ofer Arieli |
| 10:00 | The Effect of Preferences in Abstract Argumentation Under a Claim-Centric View (abstract) PRESENTER: Michael Bernreiter |
10:30-11:00Coffee Break
11:00-12:00 Session 89: Keynote
Chair:
Location: Churchill Auditorium
| 11:00 | Harnessing the Power of Formal Verification for the $Trillion Chip Design Industry (abstract) |
12:30-14:00Lunch Break
Lunches will be held in Taub lobby (CAV, CSF) and in The Grand Water Research Institute (DL, NMR, ITP).
14:00-15:00 Session 90E: Keynote NMR and DL
Chair:
Location: Taub 9
| 14:00 | Hybrid Anwer Set Programming: Opportunities and Challenges (abstract) |
15:00-15:30 Session 91: Joint DL/NMR Session A
Chair:
Location: Taub 9
| 15:00 | Reasoning on Multi-Relational Contextual Hierarchies via Answer Set Programming with Algebraic Measures PRESENTER: Rafael Kiesel |
15:30-16:00Coffee Break
16:00-17:30 Session 92E: Joint DL/NMR Session B
Chair:
Location: Taub 9
| 16:00 | Rational defeasible subsumption in DLs with nested quantifiers: the case of ELI_⊥ (abstract)  PRESENTER: Igor de Camargo E Souza Câmara |
| 16:25 | Defeasible reasoning in RDFS (abstract) PRESENTER: Giovanni Casini |
| 16:50 | Modelling Multiple Perspectives by Standpoint-Enhanced Description Logics PRESENTER: Lucia Gómez Álvarez |
17:30-18:45 Session 93: 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)
Chair:
Location: Churchill Auditorium
Monday, August 8th
View this program: with abstractssession overviewtalk overviewside by side with other conferences
08:30-09:00Coffee & Refreshments
10:00-10:30 Session 95: Joint DL/NMR Session C
Chair:
Location: Taub 9
| 10:00 | Connection-Minimal Abduction in EL via Translation to FOL PRESENTER: Fajar Haifani |
10:30-11:00Coffee Break
11:00-12:30 Session 96F: Joint DL/NMR Session D
Chair:
Location: Taub 9
| 11:00 | AGM Revision in Description Logics Under Fixed-Domain Semantics PRESENTER: Faiq Miftakhul Falakh |
| 11:25 | Repairing Ontologies via Kernel Pseudo-Contraction (abstract) PRESENTER: Renata Wassermann |
| 11:50 | Pointwise Circumscription in Description Logics PRESENTER: Federica Di Stefano |
| 12:15 | Hybrid MHS-MXP ABox Abduction Solver: First Emprical Results PRESENTER: Martin Homola |
12:30-14:00Lunch Break
Lunches will be held in Taub lobby (CAV, CSF) and in The Grand Water Research Institute (DL, NMR, IJCAR, ITP).
14:00-15:30 Session 97F: Belief Revision
Chair:
Location: Taub 4
| 14:00 | Trust Graphs for Belief Revision: Framework and Implementation (abstract) PRESENTER: Aaron Hunter |
| 14:30 | Truth-Tracking with Non-Expert Information Sources (abstract) PRESENTER: Joseph Singleton |
| 15:00 | Asking human reasoners to judge postulates of belief change for plausibility (abstract) PRESENTER: Clayton Baker |
15:30-16:00Coffee Break
16:00-17:30 Session 98F: Preferences and Conditionals
Chair:
Location: Taub 4
| 16:00 | Conditional Syntax Splitting, Lexicographic Entailment and the Drowning Effect (abstract) PRESENTER: Jesse Heyninck |
| 16:30 | Situated Conditionals - A Brief Introduction (abstract) PRESENTER: Giovanni Casini |
| 17:00 | On some weakenings of transitivity in the logic of norms (extended abstract) (abstract) |
18:30-20:30 Walking tour (at Haifa)
pickup at 18:00 from the Technion (Tour at Haifa, no food will be provided)
Tuesday, August 9th
View this program: with abstractssession overviewtalk overviewside by side with other conferences
08:30-09:00Coffee & Refreshments
09:00-10:00 Session 100F: Keynote
Chair:
Location: Taub 4
| 09:00 | Fallacious arguments: the place where Knowledge Representation and Argument Mining meet each other (abstract) |
10:00-10:30 Session 101: NMR and Learning
Chair:
Location: Taub 4
| 10:00 | There and Back Again: Combining Nonmonotonic Logical Reasoning and Deep Learning on an Assistive Robot (abstract) PRESENTER: Mohan Sridharan |
10:30-11:00Coffee Break
11:00-12:30 Session 102F: Argumentation 2
Argumentation
Chair:
Location: Taub 4
| 11:00 | Argumentation Frameworks induced by Assumption-based Argumentation: Relating Size and Complexity (abstract) PRESENTER: Markus Ulbricht |
| 11:30 | Bipolar Argumentation Frameworks with Explicit Conclusions: Connecting Argumentation and Logic Programming (abstract) PRESENTER: Fabio Cozman |
| 12:00 | From Weighted Conditionals to a Gradual Argumentation Semantics and back (abstract) |
12:30-14:00Lunch Break
Lunches will be held in Taub lobby (CAV, CSF) and in The Grand Water Research Institute (DL, NMR, IJCAR, ITP).
14:00-15:30 Session 104F: Agents, actions and planning
Chair:
Location: Taub 4
| 14:00 | Modelling Agents Roles in the Epistemic Logic L-DINF (abstract) PRESENTER: Stefania Costantini |
| 14:30 | A situation-calculus model of Knowledge and Belief based on Thinking about Justifications (abstract) |
| 15:00 | Towards Legally and Ethically Correct Online HTN Planning for Data Transfer (abstract)  PRESENTER: Hisashi Hayashi |
15:30-16:00 Session 106B: Closing
Location: Taub 4
16:00-16:30Coffee Break
16:30-17:30 Session 108: Plenary
Chair:
Location: Churchill Auditorium
| 16:30 | SMT-based Verification of Distributed Network Control Planes (abstract) |