NMR logo

International Workshop on
Non-Monotonic Reasoning

June 6-8, 2004
Westin Whistler Resort and Spa,
Whistler BC, Canada

 

Programme for Sunday June 6

9:00 - 10:30am
09:00-10:00 Mirek Truszczynski, "Answer-set programming - directions and challenges"

10:00-10:30 Coffee break
10:30-12:00pm

Workshop 1 - Foundations of NMR

R. Milnikel,
"Sequent Calculus for Skeptical Reasoning in Autopeistemic Logic"

V. Marek and J. Remmel,
"Answer set programming with default logic"

Q. Han and Z. Lin,
"Paraconsistent Default Reasoning"

Workshop 1 - Uncertainty Frameworks

L. Amgoud, M. Lagasquie, C. Cayrol
"On the bi-polarity in argumentation framework"

Meltem Özturk and Alexis Tsoukias
"Modelling continuous positive and negative reasons in decision aiding"

S. Kaci, D . Dubois, H. Prade
"Conditional and logical representation of positive information in possibility theory"

12:00-1:30pm
Lunch Break
1:30-3:30pm

Workshop 2 - Foundations of NMR

M. Balduccini, V. Mellarkod,
"CR-prolog with ordered disjunction"

N. Pelov and M. Truszczynski,
"Semantics of Disjunctive Programs with Monotone Aggregates - an Operator-based Approach"

P. Nicolas, L. Garcia, I. Stephan,
"A possibilistic approach to restore consistency in Answer Set Programming"

J. Vennekens, D. Gilis, and M. Denecker,
"Splitting an operator: An algebraic modularity result and its application to auto-epistemic logic"

Workshop 2 - Uncertainty Frameworks

A. Gilio
"On Csaszar condition in nonmonotonic reasoning"

Lorenzo Sacconi, Stefano Moretti
"Fuzzy Social Norms, Default Reasoning and Equilibrium Selection in Games under Unforeseen Contingencies and Incomplete Knowledge."

Gregory Wheeler
"A Resource Bounded Non-monotonic Logic,"

Miodrag Raskovic, Zoran Ognjanovic and Zoran Markovic
"A Probabilistic Approach to Default Reasoning"

3:30-4:00pm
Coffee Break
4:00-6:00pm

Workshop 3- Foundations of NMR

G. Brewka,
"A Rank Based Description Language for Qualitative Preferences"

D. Billington,
"A plausible logic which detects loops"

J. Sefranek,
"Semantic considerations on rejection"

Workshop 3 - Uncertainty Frameworks

Guilin Qi, Weiru Liu
"Combining individually inconsistent prioritized knowledge bases"

Joost Vennekens, Sofie Verbaeten, Maurice Bruynooghe
"Logic Programs with Annotated Disjunctions"

L. Iocchi, T. Lukasiewicz, D. Nardi, R. Rosati
"Qualitative and Probabilistic Uncertainty in Reasoning About Actions with Sensing"

X. An, Y. Xiang, and N. Cercone
"Probabilistic Reasoning in a Dynamic Multiagent Systems"

 

Programme for Monday June 7

9:00 - 10:30am
09:00-10:00 Henry Kyburg, "The Logic of Risky Knowledge"

10:00-10:30 Coffee break
10:30-12:00pm

Workshop 1 - Action languages and Causal Reasoning

R.Baldwin, E.Neufeld
"The Structural Model Interpretation of the NESS Test"

A.Hunter
"Adding Modal Operators to the Action Language A"

A.Herzig, I.Varzinczak
"Domain Descriptions should be Modular"

Workshop 1 - Computational Aspects of NMR

D. A. Meyer, J. Pommersheim, and J. B. Remmel:
"Finding Stable Models via Quantum Computation"

T. Linke, H. Tompits, and S. Woltran:
"On Acyclic and Head-Cycle Free Nested Logic Programs"

K. Satoh
"All's Well that Ends Well: A Proposal of Global Abduction"

12:00-1:30pm
Lunch Break
1:30-3:30pm

Workshop 2- Frame Problem and Planning

T.Eiter, E.Erdem, W.Faber
"Plan Reversals for Recovery in Execution Monitoring"

A.Bracciali, A.Kakas
"Frame Consistency: Reasoning with Explanations"

G.Simari, A.Garcia, M.Capobianco
"Actions, Planning and Defeasible Reasoning"

Workshop 2- Computational Aspects of NMR

E. Giunchiglia, Y. Lierler, and M. Maratea:
"A SAT-Based Polynomial Space Algorithm for Answer Set Programming"

N. Leone, S. Perri, and F. Scarcello:
"BackJumping Techniques for Rules Instantiation in the DLV system"

O. Elkhatib, E. Pontelli, T. C. Son:
"ASP-PROLOG: A System for Reasoning about Answer Set Programs in Prolog"

G. Ianni, G. Ielpa, A. Pietramala, M. C. Santoro, and F. Calimeri:
"Enhancing Answer Set Programming with Templates"

3:30-4:00pm
Coffee Break
4:00-6:00pm

General Panel:

Michael Thielscher
"Should we bring Action and Change competitions into being?"

 

Programme for Tuesday June 8

9:00 - 10:30am
09:00-10:00 Jerome Lang, "Logical languages for preference representation (and their relation to
nonmonotonic reasoning)"

10:00-10:30 Coffee break
10:30-12:00pm

Workshop 1 - Belief Change

Horacio Arlo-Costa and Isaac Levi
"A complete characterization of a decision-theoretical notion of contraction"

Charles G. Morgan
"Probability, rational belief, and belief change"

James P. Delgrande
"Preliminary considerations on the modelling of belief change operators by metric spaces"

Workshop 1 - Argument, Dialogue and Decision

F Tohme and G Simari
"Preferential defeasiblity: Utility in defeasible logic programming"

P Baroni and M Giacomin
"A recursive approach to argumentation: Motivation and perspectives"

C Chesnevar, A Maguitman and G Simari
"A first approach to argument-based recommender systems based on defeasible logic programming"

12:00-1:30pm
Lunch Break
1:30-3:30pm

Workshop 2- Belief Change

Alexander Nittka
"Adjusting adjustments - An algorithm for knowledge base exraction"

Marcelo A. Falapa, Alejandro J. Garcia and Guillermo R. Simari
"Belief dynamics and defeasible argumentation in rational agents"

Richard Booth, Samir Chopra, Thomas Meyer and Aditya Ghose
"A unifying semantics for belief change"

Giorgos Flouris, Dimitris Plexousakis and Grigoris Antoniou
"Generalizing the AGM postulates: Preliminary results and applications"

Workshop 2 - Argument, Dialogue and Decision

T Takahashi and H Sawamura
"A logic of multiple-valued argumentation"

J Hulstijn and L van der Torre
"Combining goal generation and planning in an argumentation framework"

S Doutre and J Mengin
"On sceptical vs credulous acceptance for abstract argumentation systems"

M Caminada
"Dialogoues and HY-arguments"

3:30-4:00pm
Coffee Break
4:00-5:30pm

Workshop 3- Belief Change

Jose Luis Chacon and Roman Pino Perez
"Logic-based merging: The infinite case"

James P. Delgrande and Torsten Schaub
"Consistency-based approaches to merging knowledge bases"

Sebastien Konieczny
"Propositional belief merging and belief negotiation model"

Workshop 3 - Argument, Dialogue and Decision

L Amgoud and H Prade
"Generation and evaluation of different types of arguments in negotiation"

Ph Besnard and S Doutre
"Checking the acceptability of a set of arguments"

Anthony Hunter
"Towards higher impact argumentation"