Open Session

Invited Speaker (EUrAI)
João Leite

New University of Lisbon

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ć)
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)
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)
Ventana ballroom
Memorial Union
the same building of the meetings 
Invited Speaker NMR+DL
Renata Wassermann

University of São Paulo
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
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)
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)
Macayo’s Depot Cantina,
300 S. Ash Ave.
Tempe, AZ 85281
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)
Coffe Break
Open Discussion Panel
Trends in NMR 

Closing NMR