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