NMR 2020 Virtual Program
Videos of NMR talks will be uploaded to the KR Virtual YouTube channel:
https://www.youtube.com/channel/UC0-gO4TkVy7zLAbfCAerh9Q/featured
IMPORTANT: Here is the link to enter NMR zoom room:
https://zoom.us/j/4931459113?pwd=aU16R0dvL2VuaWJpaWN0azYzbGloZz09
- Instructions for presenters are here. Remember that for NMR we will have only live presentations.
- Slack workspace for discussions here.
- To join the social events click here (watch a walkthrough. You will get a password by email, please contact us if you have not).
If you have any questions please contact nmr2020@easychair.org
NMR 2020 Final Schedule
All times are CEST (UTC+2)
Presentations: 20 minutes
Saturday, September 12, 2020:
12:45–13:00: Opening DL & NMR
13:00–14:00: Non-Monotonic Logics/ Reasoning – Session 1
Joint Session with DL 2020
Chair: Tommie Meyer
Co-chair: Martin Homola
- Invited Talk by Andreas Herzig: “Knowledge Base Repair: from Active Integrity Constraints to Active TBoxes”
- James Delgrande and Christos Rantsoudis: “A Preference-Based Approach for Representing Defaults in First-Order Logic” [slides]
14:00–14:20: Break
14:20–15:30 Non-Monotonic Logics/ Reasoning - Session 2
Chair: Nourhan Ehab
Co-chair: Gerardo I. Simari
- Walter Carnielli and Rafael Testa: “Paraconsistent Logics for Knowledge Representation and Reasoning: advances and perspectives” [slides]
- Giovanni Casini, Thomas Meyer and Guy Paterson-Jones: “BKLM - An expressive logic for defeasible reasoning” [slides]
- Laura Giordano and Daniele Theseider Dupre: “A framework for a modular multi-concept lexicographic closure semantics” [slides]
15:30–15:50: Break
15:50 - 16:50 ASP and Logic Programming - Session 1
Chair: Marco Maratea
Co-chair: Gerardo I. Simari
- Panos Rondogiannis and Ioanna Symeonidou: “Stratified disjunctive logic programs and the infinite-valued semantics” [slides]
- Andre Thevapalan and Gabriele Kern-Isberner: “Towards Interactive Conflict Resolution in ASP Programs” [slides]
16:50–17:10: Break
17:10–18:20: Reasoning with Conditionals
Chair: Laura Giordano
Co-chair: Rachel Ben-Eliyahu-Zohary
- Richard Booth and Ivan Varzinczak: “Towards Conditional Inference under Disjunctive Rationality” [slides]
- Meliha Sezgin, Gabriele Kern-Isberner and Hans Rott: “Inductive Reasoning with Difference-making Conditionals” [slides]
- Jesse Heyninck, Gabriele Kern-Isberner, Matthias Thimm and Kenneth Skiba: “Interpreting Conditionals in Argumentative Environments”
18:45–20:00: Virtual Reception (click here)
Sunday, September 13, 2020:
13:00–14:00: ASP and Logic Programming – Session 2
Chair: Rachel Ben-Eliyahu-Zohary
Co-chair: Matthias Knorr
- Flavio Everardo, Markus Hecher and Ankit Shukla: “An Approximate Model Counter for Answer Set Programming”
- Jorge Fandinno and Markus Hecher: “Treewidth-Aware Complexity in ASP: Not all Positive Cycles are Equally Hard” [slides]
14:00–14:20: Break
14:20–15:30: Belief Revision
Chair: Gerardo I. Simari
Co-chair: Wolfgang Dvořák
- Marco Wilhelm and Gabriele Kern-Isberner: “Probabilistic Belief Fusion at Maximum Entropy by First-Order Embedding”
- Ammar Yasser and Haythem Ismail: Information Revision: “The Joint Revision of Belief and Trust” [slides]
- Fillipe Resina and Renata Wassermann: “A Survey on Multiple Revision” [slides]
15:30–15:50: Break
15:50–16:50: Non-Monotonic Logics/ Reasoning – Session 3
Chair: Jesse Heyninck
Co-chair: Wolfgang Dvořák
- Johannes K. Fichte and Markus Hecher: “Counting with Bounded Treewidth: Meta Algorithm and Runtime Guarantees”
- Nourhan Ehab and Haythem Ismail: “Algebraic Foundations for Non-Monotonic Practical Reasoning” [slides]
16:50–17:10: Break
17:10–18:20: Non-Monotonic Logics/ Reasoning – Session 4
Chair: Alexander Bochman
Co-chair: Ioanna Symeonidou
- Jesse Heyninck, Ricardo Gonçalves, Matthias Knorr and Joao Leite: “Towards Efficient Reasoning with Intensional Concepts”
- Ali Farjami: Discursive Input/Output Logic: “Deontic Modals, Norms, and Semantic Unification” [slides]
- Huimin Dong, Beishui Liao and Leon van der Torre: “Kratzer Style Deontic Logics in Formal Argumentation”
18:30–20:00: Virtual Dinner (click here)
Monday, September 14, 2020:
13:00–14:00: Argumentation – Session 1
Chair: Gabriele Kern-Isberner
Co-chair: Vanina Martinez
- Invited Talk by Francesca Toni: “Non-monotonic reasoning by computational argumentation”
- Liuwen Yu and Leendert Van Der Torre: “A Principle-based Approach to Bipolar Argumentation” [slides]
14:00–14:20: Break
14:20–15:30 Argumentation – Session 2
Chair: Bettina Fazzinga
Co-chair: Vanina Martinez
- Jean-Guy Mailly and Julien Rossit: “Stability in Argumentation” [slides]
- Guilherme Paulino-Passos and Francesca Toni: “Cautious Monotonicity in Case-Based Reasoning with Abstract Argumentation”
- Wolfgang Dvořák, Markus Ulbricht and Stefan Woltran: “Weak Admissibility is PSPACE-complete” [slides]
15:30–15:50: Break
15:50–17:00: ASP and Logic Programming – Session 3
Chair: Markus Hecher
Co-chair: Felipe Resina
- Rachel Ben-Eliyahu-Zohary: “Splitting a Logic Program Efficiently” [slides]
- Bart Bogaerts, Simon Marynissen and Antonius Weinzierl: “Towards Lightweight Completion Formulas for Lazy Grounding in Answer Set Programming”
- Ricardo Gonçalves, Tomi Janhunen, Matthias Knorr, Joao Leite and Stefan Woltran: “Obfuscating Knowledge in Modular Answer Set Programming”