default search action
10. NMR 2004: Whistler, Canada
- James P. Delgrande, Torsten Schaub:
10th International Workshop on Non-Monotonic Reasoning (NMR 2004), Whistler, Canada, June 6-8, 2004, Proceedings. 2004, ISBN 92-990021-0-X - 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 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
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-11-15 19:20 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: