default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID9. NMR 2002: Toulouse, France
- Salem Benferhat, Enrico Giunchiglia:
9th International Workshop on Non-Monotonic Reasoning (NMR 2002), April 19-21, Toulouse, France, Proceedings. 2002
General Track
- Mary-Anne Williams:
Collaborative belief revision. NMR 2002: 3 - Georg Gottlob:
Visual Data Extraction Through Visual Logic Programming. NMR 2002: 4 - Vladimir Lifschitz:
Why Sam doesn't know calculus. NMR 2002: 5 - Adnan Darwiche, Pierre Marquis:
Compilation of propositional weighted bases. NMR 2002: 6-14 - Yves Moinard:
Linking Makinson and Kraus-Lehmann- Magidor preferential entailments. NMR 2002: 15-24 - Samir Chopra, Johannes Heidema, Thomas Andreas Meyer:
Some logics of belief and disbelief. NMR 2002: 25-32 - Mehdi Dastani, Leendert W. N. van der Torre:
What is a joint goal? Games with beliefs and defeasible desires. NMR 2002: 33-40 - Eyal Amir:
Interpolation theorems for nonmonotonic reasoning systems. NMR 2002: 41-50 - David Gilis, Marc Denecker:
Compositionally results for stratified nonmonotone operators. NMR 2002: 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. NMR 2002: 57-66 - Gerhard Brewka:
Logic programming with ordered disjunction. NMR 2002: 67-76 - Philippe Besnard, Robert E. Mercer, Torsten Schaub:
Optimality theory through default logic. NMR 2002: 77-83 - Grigoris Antoniou:
Defeasible logic with dynamic priorities. NMR 2002: 84-90 - Henry Prakken:
Intuitions and the modelling of defeasible reasoning: some case studies. NMR 2002: 91-102
Changing and Integrating Information: From Theory to Practice
- Didier Dubois, Henri Prade:
Possibility theory in information fusion. NMR 2002: 103-116 - Samir Chopra, Aditya Ghose, Thomas Andreas Meyer:
Iterated revision and the axiom of recovery: a unified treatment via epistemic states. NMR 2002: 117-123 - Alberto Finzi, Fiora Pirri:
Explanatory diagnosing and meaningful perception. NMR 2002: 124-134 - Alexander Bochman:
Two representations for iterative non-prioritized change. NMR 2002: 135-141 - Salem Benferhat, Sylvain Lagrue, Odile Papini:
Revising partially ordered beliefs. NMR 2002: 142-149 - James P. Delgrande, Matthew Suderman:
Considerations on compositional update operators. NMR 2002: 150-159 - Pablo Barceló, Leopoldo E. Bertossi:
Repairing databases with annotated predicate logic. NMR 2002: 160-170 - Sébastien Konieczny, Ramón Pino Pérez:
Dynamical revision operators with memory. NMR 2002: 171-182
Answer Set Programming and Abductive Reasoning
- Marc Denecker:
Unifying abductive logic programming and stable logic programming. NMR 2002: 183 - Piero A. Bonatti:
Abduction, ASP and open logic programs. NMR 2002: 184-190 - Ken Satoh:
Speculative computation and abduction for an autonomous agent. NMR 2002: 191-199 - Francesco Calimeri, Wolfgang Faber, Nicola Leone, Gerald Pfeifer:
Pruning operators for answer set programming systems. NMR 2002: 200-209 - Thomas Linke, Christian Anger, Kathrin Konczak:
More on noMoRe. NMR 2002: 210-218 - Victor W. Marek, Jeffrey B. Remmel:
On logic programs with cardinality constraints. NMR 2002: 219-228 - Pedro Cabalar:
Alternative characterizations for strong equivalence of logic programs. NMR 2002: 229-237 - Torsten Schaub, Kewen Wang:
Preferred well-founded semantics for logic programming by alternating fixpoints: preliminary report. NMR 2002: 238-246 - Sibylle Schwarz:
Answer sets generated by selector functions. NMR 2002: 247-256
Uncertainty Frameworks in NMR
- Henry E. Kyburg Jr., Choh Man Teng:
Evaluating defaults. NMR 2002: 257-264 - Thomas Lukasiewicz:
Nonmonotonic probabilistic logics between model-theoretic probabilistic logic and probabilistic logic under coherence. NMR 2002: 265-274 - Giulianella Coletti, Romano Scozzafava, Barbara Vantaggi:
Default reasoning in a coherent setting. NMR 2002: 275-282 - Emil Weydert:
Default epistemology rankings, reasoning and revision (a very preliminary account). NMR 2002: 283-292 - John Fox, Peter McBurney:
Decision making by intelligent agents: logical argument, probabilistic inference and the maintenance of beliefs and acts. NMR 2002: 293-301 - Dritan Berzati, Bernhard Anrig, Jürg Kohlas:
Embedding default logic in propositional argumentation systems. NMR 2002: 302-310 - René Witte:
Fuzzy belief revision. NMR 2002: 311-320 - Eva Richter:
Nonmonotonic inference operators for fuzzy logic. NMR 2002: 321-332
Representing Action and Change
- Laura Giordano, Camilla Schwind:
Towards a conditional logic of actions and causation. NMR 2002: 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. NMR 2002: 343-348 - David Lorenzo:
Learning non-monotonic causal theories from narratives of actions. NMR 2002: 349-355 - Sheila A. McIlraith, Ronald Fadel:
Planning with complex actions. NMR 2002: 356-364 - Jan M. Broersen, John-Jules Ch. Meyer, Roel J. Wieringa:
The mutual exclusion problem in reasoning about action and change. NMR 2002: 365-371 - Graham White:
Intensionality and circumscription. NMR 2002: 372-379 - Antonis C. Kakas, Loizos Michael:
Modeling complex domains of actions and change. NMR 2002: 380-390
Argument, Dialogue and Decision
- John F. Horty:
Skepticism and floating conclusions. NMR 2002: 391 - Paul E. Dunne:
On concise encodings of preferred extensions. NMR 2002: 392-398 - Leila Amgoud, Nicolas Maudet:
Strategical considerations for argumentative agents (preliminary report). NMR 2002: 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. NMR 2002: 408-415 - Bart Verheij:
On the existence and multiplicity of extensions in dialectical argumentation. NMR 2002: 416-425 - Ralf Schweimeier, Michael Schroeder:
Well-founded argumentation semantics for extended logic programming. NMR 2002: 426-435 - Alexander Bochman:
Collective argumentation. NMR 2002: 436-443 - Trevor J. M. Bench-Capon:
Value-based argumentation frameworks. NMR 2002: 443-454
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 2025-02-21 19:40 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:
