10. NMR 2004: Whistler, Canada

@proceedings{DBLP:conf/nmr/2004,
  editor    = {James P. Delgrande and
               Torsten Schaub},
  title     = {10th International Workshop on Non-Monotonic Reasoning (NMR 2004),
               Whistler, Canada, June 6-8, 2004, Proceedings},
  booktitle = {NMR},
  year      = {2004},
  isbn      = {92-990021-0-X},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

• Leila Amgoud, Claudette Cayrol, Marie-Christine Lagasquie-Schiex:
  On the bipolarity in argumentation frameworks. 1-9
  
• Leila Amgoud, Henri Prade:
  Generation and evaluation of different types of arguments in negotiation. 10-15
  
• Xiangdong An, Yang Xiang, Nick Cercone:
  Probabilistic reasoning in dynamic multiagent systems. 16-24
  
• Horacio L. Arló-Costa, Isaac Levi:
  A complete characterization of a notion of contraction based on information-value. 25-40
  
• Richard A. Baldwin, Eric Neufeld:
  The structural model interpretation of the NESS test. 41-49
  
• Pietro Baroni, Massimiliano Giacomin:
  A recursive approach to argumentation: motivation and perspectives. 50-58
  
• Philippe Besnard, Sylvie Doutre:
  Checking the acceptability of a set of arguments. 59-64
  
• David Billington:
  A plausible logic which detects loops. 65-71
  
• Richard Booth, Samir Chopra, Thomas Andreas Meyer, Aditya Ghose:
  A unifying semantics for belief change. 72-78
  
• Andrea Bracciali, Antonis C. Kakas:
  Frame consistency: computing with causal explanations. 79-87
  
• Gerhard Brewka:
  A rank based description language for qualitative preferences. 88-93
  
• Martin Caminada:
  Dialogues and HY-arguments. 94-99
  
• José Luis Chacón, Ramón Pino Pérez:
  Logic-based merging: the infinite case. 100-108
  
• Carlos Iván Chesñevar, Ana Gabriela Maguitman, Guillermo Ricardo Simari:
  A first approach to argument-based recommender systems based on defeasible logic programming. 109-117
  
• James P. Delgrande:
  Preliminary considerations on the modelling of belief change operators by metric spaces. 118-125
  
• James P. Delgrande, Torsten Schaub:
  Consistency-based approaches to merging knowledge bases: preliminary report. 126-133
  
• Sylvie Doutre, Jérôme Mengin:
  On sceptical vs credulous acceptance for abstract argument systems. 134-139
  
• Didier Dubois, Souhila Kaci, Henri Prade:
  Ordinal and absolute representations of positive information in possibilistic logic. 140-146
  
• Thomas Eiter, Esra Erdem, Wolfgang Faber:
  Plan reversals for recovery in execution monitoring. 147-154
  
• Omar El-Khatib, Enrico Pontelli, Tran Cao Son:
  ASP-PROLOG: a system for reasoning about answer set programs in prolog. 155-163
  
• Marcelo A. Falappa, Alejandro Javier García, Guillermo Ricardo Simari:
  Belief dynamics and defeasible argumentation in rational agents. 164-170
  
• Giorgos Flouris, Dimitris Plexousakis, Grigoris Antoniou:
  Generalizing the AGM postulates: preliminary results and applications. 171-179
  
• Angelo Gilio:
  On Császár's condition in nonmonotonic reasoning. 180-188
  
• Enrico Giunchiglia, Yuliya Lierler, Marco Maratea:
  A SAT-based polynomial space algorithm for answer set programming. 189-196
  
• Qing Han, Zuoquan Lin:
  Paraconsistent default reasoning. 197-203
  
• Andreas Herzig, Ivan José Varzinczak:
  Domain descriptions should be modular. 204-211
  
• Joris Hulstijn, Leendert W. N. van der Torre:
  Combining goal generation and planning in an argumentation framework. 212-218
  
• Aaron Hunter:
  Adding modal operators to the action language A. 219-226
  
• Anthony Hunter:
  Towards higher impact argumentation. 227-232
  
• Giovambattista Ianni, Giuseppe Ielpa, Adriana Pietramala, Maria Carmela Santoro, Francesco Calimeri:
  Enhancing answer set programming with templates. 233-239
  
• Luca Iocchi, Thomas Lukasiewicz, Daniele Nardi, Riccardo Rosati:
  Qualitative and probabilistic uncertainty in reasoning about actions with sensing. 240-248
  
• Sébastien Konieczny:
  Propositional belief merging and belief negotiation model. 249-257
  
• Nicola Leone, Simona Perri, Francesco Scarcello:
  BackJumping techniques for rules instantiation in the DLV system. 258-266
  
• Thomas Linke, Hans Tompits, Stefan Woltran:
  On acyclic and head-cycle free nested logic programs. 267-275
  
• Victor W. Marek, Jeffrey B. Remmel:
  Answer set programming with default logic. 276-284
  
• David A. Meyer, James Pommersheim, Jeffrey B. Remmel:
  Finding stable models via quantum computation. 285-291
  
• Robert Saxon Milnikel:
  A sequent calculus for skeptical reasoning in autopeistemic logic. 292-296
  
• Charles G. Morgan:
  Probability, rational belief and belief change. 297-305
  
• Pascal Nicolas, Laurent Garcia, Igor Stéphan:
  A possibilistic approach to restore consistency in answer set programming. 306-312
  
• Alexander Nittka:
  Adjusting adjustments - an algorithm for knowledge base extraction. 313-320
  
• Nikolay Pelov, Miroslaw Truszczynski:
  Semantics of disjunctive programs with monotone aggregates - an operator-based approach. 327-334
  
• Miodrag Raskovic, Zoran Ognjanovic, Zoran Markovic:
  A probabilistic approach to default reasoning. 335-341
  
• Guilin Qi, Weiru Liu, David H. Glass:
  Combining individually inconsistent prioritized knowledge bases. 342-349
  
• Lorenzo Sacconi, Stefano Moretti:
  A fuzzy logic and default reasoning model of social norm and equilibrium selection in games under unforeseen contingencies. 350-359
  
• Ken Satoh:
  "All's well that ends well" - a proposal of global abduction. 360-367
  
• Ján Sefránek:
  Semantic considerations on rejection. 368-376
  
• Guillermo Ricardo Simari, Alejandro Javier García, Marcela Capobianco:
  Actions, planning and defeasible reasoning. 377-384
  
• Takehisa Takahashi, Hajime Sawamura:
  Theory of multiple-valued defeasible argumentation and its applications. 385-393
  
• Fernando A. Tohmé, Guillermo Ricardo Simari:
  Preferential defeasibility: utility in defeasible logic programming. 394-399
  
• Joost Vennekens, David Gilis, Marc Denecker:
  Splitting an operator: an algebraic modularity result and its application to auto-epistemic logic. 400-408
  
• Joost Vennekens, Sofie Verbaeten, Maurice Bruynooghe:
  Logic programs with annotated disjunctions. 409-415
  
• Gregory R. Wheeler:
  A resource bounded default logic. 416-422