International Workshop on Non-Monotonic Reasoning June 6-8, 2004 Westin Whistler Resort and Spa, Whistler BC, Canada

Slides from Invited Talks

Logical Representation of Preference and Nonmonotonic Reasoning
(A file with 6 slides per page is available here .)
Jérôme Lang

Answer-set Programming: Themes and Challenges
Miroslaw Truszczynski

Foundations of Nonmonotonic Reasoning

A plausible logic which detects loops
David Billington

A rank based description language for qualitative preferences
Gerhard Brewka

Paraconsistent default reasoning
Qing Han and Zuoquan Lin

Answer set programming with default logic
Victor W. Marek and Jeffrey B. Remmel

Sequent calculus for skeptical reasoning in autopeistemic logic
Robert Saxon Milnikel

A possibilistic approach to restore consistency in answer set programming
Pascal Nicolas, Laurent Garcia and Igor Stephan

Semantics of disjunctive programs with monotone aggregates - an operator-based approach
Nikolay Pelov and Miroslaw Truszczynski

Semantic considerations on rejection
Jan Sefranek

Splitting an operator: an algebraic modularity result and its application to auto-epistemic logic
Joost Vennekens, David Gilis and Marc Denecker

Computational Aspects of Nonmonotonic Reasoning

A SAT-based polynomial space algorithm for answer set programming
Enrico Giunchiglia, Yuliya Lierler and Marco Maratea

Enhancing answer set programming with templates
Giovambattista Ianni, Giuseppe Ielpa, Adriana Pietramala, Maria Carmela Santoro and Francesco Calimeri

BackJumping techniques for rules instantiation in the DLV system
Nicola Leone, Simona Perri and Francesco Scarcello

On acyclic and head-cycle free nested logic programs
Thomas Linke, Hans Tompits and Stefan Woltran

Finding stable models via quantum computation
David A. Meyer, James Pommersheim and Jeffrey. B. Remmel

``All's well that ends well'' - a proposal of global abduction
Ken Satoh

Action and Causality

Frame consistency: computing with causal explanations
Andrea Bracciali, Antonis Kakas

Plan reversals for recovery in execution monitoring
Thomas Eiter, Esra Erdem, and Wolfgang Faber

Domain descriptions should be modular
Andreas Herzig and Ivan Varzinczak

Adding modal operators to the action language A
Aaron Hunter

Actions, planning and defeasible reasoning
Guillermo R. Simari, Alejandro J. Garcia and Marcela Capobianco

Belief Change

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

Logic-based merging: the infinite case
Jose Luis Chacon and Ramon Pino-Perez

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

Consistency-based approaches to merging knowledge bases: preliminary report
James P. Delgrande and Torsten Schaub

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

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

Propositional belief merging and belief negotiation model
Sebastien Konieczny

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

Adjusting adjustments - an algorithm for knowledge base extraction
Alexander Nittka

Uncertainty Frameworks

Probabilistic reasoning in dynamic multiagent systems
Xiangdong An, Yang Xiang and Nick Cercone

Ordinal and absolute representations of positive information in possibilistic logic
Didier Dubois, Souhila Kaci and Henri Prade

On Csaszar's condition in nonmonotonic reasoning
Angelo Gilio

Qualitative and probabilistic uncertainty in reasoning about actions with sensing
Luca Iocchi, Thomas Lukasiewicz, Daniele Nardi and Riccardo Rosati

Modelling continuous positive and negative reasons in decision aiding
Meltem Ozturk and Alexis Tsoukias

A probabilistic approach to default reasoning
Miodrag Raskovic, Zoran Ognjanovic and Zoran Markovic

Combining individually inconsistent prioritized knowledge bases
Guilin Qi, Weiru Liu and David H. Glass

A fuzzy logic and default reasoning model of social norm and equilibrium selection in games under unforeseen contingencies
Lorenzo Sacconi and Stefano Moretti

Logic programs with annotated disjunctions
Joost Vennekens, Sofie Verbaeten and Maurice Bruynooghe

A resource bounded default logic
Gregory R. Wheeler

Argument Decision and Dialogue

A recursive approach to argumentation: motivation and perspectives
Pietro Baroni and Massimiliano Giacomin

Checking the acceptability of a set of arguments
Philippe Besnard and Sylvie Doutre

Dialogues and HY-arguments
Martin Caminada

A first approach to argument-based recommender systems based on defeasible logic programming
Carlos Ivan Chesnevar, Ana Gabriela Maguitman and Guillermo Ricardo Simari

On sceptical vs credulous acceptance for abstract argument systems
Sylvie Doutre and Jerome Mengin

Combining goal generation and planning in an argumentation framework
Joris Hulstijn and Leendert van der Torre

Towards higher impact argumentation
Anthony Hunter

Theory of multiple-valued defeasible argumentation and its applications
Takehisa Takahashi and Hajime Sawamura

Preferential defeasiblity: utility in defeasible logic programming
Fernando A. Tohme and Guillermo R. Simari