Oct-27 |
|
| 8:45-09:00 | Open Session |
| 9:00-10:00 | Invited Speaker (EUrAI) New University of Lisbon |
| 10:00-10:30 | Coffe Break |
| 10:30-12:30 | Session 1 1. A simple qualitative framework for resource allocation (Franklin Camacho, Gerardo R. Chacón and Ramon Pino Perez) 2. Splitting Epistemic Logic Programs (Pedro Cabalar, Jorge Fandinno and Luis Farinas Del Cerro) 3. Towards a Boolean dynamical system representation into a monmonotonic modal logic: application to genetic networks (Pierre Siegel, Andrei Doncescu, Vincent Risch and Sylvain Sené) 4. A logic of default justifications (Stipe Pandžić) |
| 12:30-14:00 | Lunch |
| 14:00-15:30 | Session 2 1. Exploiting Treewidth for Counting Projected Answer Sets (Johannes K. Fichte and Markus Hecher) 2. Relating Two Dialects of Answer Set Programming (Amelia Harrison and Vladimir Lifschitz) 3. Lower Bound Founded Logic of Here-and-There: A Preliminary Report (Pedro Cabalar, Jorge Fandinno, Torsten Schaub and Sebastian Schellhorn) |
| 15:30-16:00 | Coffe break |
| 16:00-18:00 | Session 3 1. Epistemic states, fusion and strategy-proofness (Amílcar Mata Diaz and Ramon Pino Perez) 2. Belief Revision Operators with Varying Attitudes Towards Initial Beliefs (Adrian Haret and Stefan Woltran) 3. How to construct Remainder Sets for Paraconsistent Revisions (Rafael Testa, Eduardo Fermé, Marco Garapa and Maurício Reis) 4. On Iterated Contraction: syntactic characterization, representation theorem and limitations of the Levi identity (Sébastien Konieczny and Ramon Pino Perez) |
| 19:00 | Reception Ventana ballroom Memorial Union the same building of the meetings |
Oct-28 |
|
| 9:00-10:00 | Invited Speaker NMR+DL Renata Wassermann University of São Paulo |
| 10:00-10:30 | Coffe Break |
| 10:30-12:30 | Session 4: Joint Session NMR-DL 1. Reasoning in the Defeasible Description Logic EL_bot - Computing Standard Inferences under Rational and Relevant Semantics 2. Defeasible Entailment: from Rational Closure to Lexicographic Closure and Beyond (Giovanni Casini, Thomas Meyer and Ivan Varzinczak) 3. Preferential Default Reasoning on the Semantic Web 4. A Dynamic Extension of ALCO for Repairing via Preferred Updates |
| 12:30-14:00 | Lunch |
| 14:00-15:30 | Session 5 1. Support Trees For Answer Set Programs (Richard Watson) 2. Implementing Logic Programs with Ordered Disjunction Using asprin (Joohyung Lee and Zhun Yang) |
| 15:30-16:00 | Coffe Break |
| 16:00-18:00 | Session 6 1. A critical assessment of Pollock's work on logic-based argumentation with suppositions (Mathieu Beirlaen, Jesse Heyninck and Christian Straße) 2. Manipulation of Semantic Aggregation Procedures for Propositional Knowledge Bases and Argumentation Frameworks (Adrian Haret and Johannes Wallner) 3. A Tutorial for Weighted Bipolar Argumentation with Continuous Dynamical Systems and the Java Library Attractor (Nico Potyka) 4. Measuring Disagreement among Knowledge Bases (Extended Version (Nico Potyka) |
| 19:00 | Banquet Macayo’s Depot Cantina, 300 S. Ash Ave. Tempe, AZ 85281 |
Oct-29 |
|
| 9:00-10:00 | Session 7 1. Consistency in Justification Theory (Simon Marynissen, Niko Passchyn, Bart Bogaerts and Marc Denecker) 2. Causal reasoning in a logic with possible causal process semantics (Marc Denecker, Bart Bogaerts and Joost Vennekens) |
| 10:00-10:30 | Coffe Break |
| 10:30-12:30 | Open Discussion Panel Trends in NMR --- Closing NMR |
