9. NMR 2002: Toulouse, France

@proceedings{DBLP:conf/nmr/2002,
  editor    = {Salem Benferhat and
               Enrico Giunchiglia},
  title     = {9th International Workshop on Non-Monotonic Reasoning (NMR 2002),
               April 19-21, Toulouse, France, Proceedings},
  booktitle = {NMR},
  year      = {2002},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

General Track

• Mary-Anne Williams: Collaborative belief revision. 3
• Georg Gottlob: Visual Data Extraction Through Visual Logic Programming. 4
• Vladimir Lifschitz: Why Sam doesn't know calculus. 5
• Adnan Darwiche, Pierre Marquis: Compilation of propositional weighted bases. 6-14
• Yves Moinard: Linking Makinson and Kraus-Lehmann- Magidor preferential entailments. 15-24
• Samir Chopra, Johannes Heidema, Thomas Andreas Andreas Meyer: Some logics of belief and disbelief. 25-32
• Mehdi Dastani, Leendert W. N. van der Torre: What is a joint goal? Games with beliefs and defeasible desires. 33-40
• Eyal Amir: Interpolation theorems for nonmonotonic reasoning systems. 41-50
• David Gilis, Marc Denecker: Compositionally results for stratified nonmonotone operators. 51-56
• David Pearce, Vladimir Sarsakov, Torsten Schaub, Hans Tompits, Stefan Woltran: A polynomial translation of logic programs with nested expressions into disjunctive logic programs: preliminary report. 57-66
• Gerhard Brewka: Logic programming with ordered disjunction. 67-76
• Philippe Besnard, Robert E. Mercer, Torsten Schaub: Optimality theory through default logic. 77-83
• Grigoris Antoniou: Defeasible logic with dynamic priorities. 84-90
• Henry Prakken: Intuitions and the modelling of defeasible reasoning: some case studies. 91-102

Changing and Integrating Information: From Theory to Practice

• Didier Dubois, Henri Prade: Possibility theory in information fusion. 103-116
• Samir Chopra, Aditya Ghose, Thomas Andreas Meyer: Iterated revision and the axiom of recovery: a unified treatment via epistemic states. 117-123
• Alberto Finzi, Fiora Pirri: Explanatory diagnosing and meaningful perception. 124-134
• Alexander Bochman: Two representations for iterative non-prioritized change. 135-141
• Salem Benferhat, Sylvain Lagrue, Odile Papini: Revising partially ordered beliefs. 142-149
• James P. Delgrande, Matthew Suderman: Considerations on compositional update operators. 150-159
• Pablo Barceló, Leopoldo E. Bertossi: Repairing databases with annotated predicate logic. 160-170
• Sébastien Konieczny, Ramón Pino Pérez: Dynamical revision operators with memory. 171-182

Answer Set Programming and Abductive Reasoning

• Marc Denecker: Unifying abductive logic programming and stable logic programming. 183
• Piero A. Bonatti: Abduction, ASP and open logic programs. 184-190
• Ken Satoh: Speculative computation and abduction for an autonomous agent. 191-199
• Francesco Calimeri, Wolfgang Faber, Nicola Leone, Gerald Pfeifer: Pruning operators for answer set programming systems. 200-209
• Thomas Linke, Christian Anger, Kathrin Konczak: More on noMoRe. 210-218
• Victor W. Marek, Jeffrey B. Remmel: On logic programs with cardinality constraints. 219-228
• Pedro Cabalar: Alternative characterizations for strong equivalence of logic programs. 229-237
• Torsten Schaub, Kewen Wang: Preferred well-founded semantics for logic programming by alternating fixpoints: preliminary report. 238-246
• Sibylle Schwarz: Answer sets generated by selector functions. 247-256

Uncertainty Frameworks in NMR

• Henry E. Kyburg Jr., Choh-Man Teng: Evaluating defaults. 257-264
• Thomas Lukasiewicz: Nonmonotonic probabilistic logics between model-theoretic probabilistic logic and probabilistic logic under coherence. 265-274
• Giulianella Coletti, Romano Scozzafava, Barbara Vantaggi: Default reasoning in a coherent setting. 275-282
• Emil Weydert: Default epistemology rankings, reasoning and revision (a very preliminary account). 283-292
• John Fox, Peter McBurney: Decision making by intelligent agents: logical argument, probabilistic inference and the maintenance of beliefs and acts. 293-301
• Dritan Berzati, Bernhard Anrig, Jürg Kohlas: Embedding default logic in propositional argumentation systems. 302-310
• René Witte: Fuzzy belief revision. 311-320
• Eva Richter: Nonmonotonic inference operators for fuzzy logic. 321-332

Representing Action and Change

• Laura Giordano, Camilla Schwind: Towards a conditional logic of actions and causation. 333-342
• Marcos A. Castilho, Andreas Herzig, Ivan José Varzinczak: It depends on the context! A decidable logic of actions and plans based on a ternary dependence relation. 343-348
• David Lorenzo: Learning non-monotonic causal theories from narratives of actions. 349-355
• Sheila A. McIlraith, Ronald Fadel: Planning with complex actions. 356-364
• Jan Broersen, John-Jules Ch. Meyer, Roel Wieringa: The mutual exclusion problem in reasoning about action and change. 365-371
• Graham White: Intensionality and circumscription. 372-379
• Antonis C. Kakas, Loizos Michael: Modeling complex domains of actions and change. 380-390

Argument, Dialogue and Decision

• John F. Horty: Skepticism and floating conclusions. 391
• Paul E. Dunne: On concise encodings of preferred extensions. 392-398
• Leila Amgoud, Nicolas Maudet: Strategical considerations for argumentative agents (preliminary report). 399-407
• Claudette Cayrol, Sylvie Doutre, Marie-Christine Lagasquie-Schiex, Jérôme Mengin: "Minimal defence": a refinement of the preferred semantics for argumentation frameworks. 408-415
• Bart Verheij: On the existence and multiplicity of extensions in dialectical argumentation. 416-425
• Ralf Schweimeier, Michael Schroeder: Well-founded argumentation semantics for extended logic programming. 426-435
• Alexander Bochman: Collective argumentation. 436-443
• Trevor J. M. Bench-Capon: Value-based argumentation frameworks. 443-454