The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications at "NMR"( http://dblp.L3S.de/Venues/NMR )

URL (DBLP): http://dblp.uni-trier.de/db/conf/nmr

Publication years (Num. hits)
1984 (25) 1988 (15) 1989 (1) 2002 (55) 2004 (53)
Publication types (Num. hits)
inproceedings(145) proceedings(4)
Venues (Conferences, Journals, ...)
NMR(149)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
No Growbag Graphs found.

Results
Found 149 publication records. Showing 149 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1James P. Delgrande, Torsten Schaub (eds.) 10th International Workshop on Non-Monotonic Reasoning (NMR 2004), Whistler, Canada, June 6-8, 2004, Proceedings Search on Bibsonomy NMR The full citation details ... 2004 DBLP  BibTeX  RDF
1Joost Vennekens, David Gilis, Marc Denecker Splitting an operator: an algebraic modularity result and its application to auto-epistemic logic. Search on Bibsonomy NMR The full citation details ... 2004 DBLP  BibTeX  RDF
1Richard A. Baldwin, Eric Neufeld The structural model interpretation of the NESS test. Search on Bibsonomy NMR The full citation details ... 2004 DBLP  BibTeX  RDF
1José Luis Chacón, Ramón Pino Pérez Logic-based merging: the infinite case. Search on Bibsonomy NMR The full citation details ... 2004 DBLP  BibTeX  RDF
1Leila Amgoud, Henri Prade Generation and evaluation of different types of arguments in negotiation. Search on Bibsonomy NMR The full citation details ... 2004 DBLP  BibTeX  RDF
1Guillermo Ricardo Simari, Alejandro Javier García, Marcela Capobianco Actions, planning and defeasible reasoning. Search on Bibsonomy NMR The full citation details ... 2004 DBLP  BibTeX  RDF
1Takehisa Takahashi, Hajime Sawamura Theory of multiple-valued defeasible argumentation and its applications. Search on Bibsonomy NMR The full citation details ... 2004 DBLP  BibTeX  RDF
1Gregory R. Wheeler A resource bounded default logic. Search on Bibsonomy NMR The full citation details ... 2004 DBLP  BibTeX  RDF
1Marcelo A. Falappa, Alejandro Javier García, Guillermo Ricardo Simari Belief dynamics and defeasible argumentation in rational agents. Search on Bibsonomy NMR The full citation details ... 2004 DBLP  BibTeX  RDF
1Sylvie Doutre, Jérôme Mengin On sceptical vs credulous acceptance for abstract argument systems. Search on Bibsonomy NMR The full citation details ... 2004 DBLP  BibTeX  RDF
1Ján Sefránek Semantic considerations on rejection. Search on Bibsonomy NMR The full citation details ... 2004 DBLP  BibTeX  RDF
1Thomas Eiter, Esra Erdem 0001, Wolfgang Faber 0001 Plan reversals for recovery in execution monitoring. Search on Bibsonomy NMR The full citation details ... 2004 DBLP  BibTeX  RDF
1Aaron Hunter Adding modal operators to the action language A. Search on Bibsonomy NMR The full citation details ... 2004 DBLP  BibTeX  RDF
1Nikolay Pelov, Miroslaw Truszczynski Semantics of disjunctive programs with monotone aggregates - an operator-based approach. Search on Bibsonomy NMR The full citation details ... 2004 DBLP  BibTeX  RDF
1Fernando A. Tohmé, Guillermo Ricardo Simari Preferential defeasibility: utility in defeasible logic programming. Search on Bibsonomy NMR The full citation details ... 2004 DBLP  BibTeX  RDF
1Anthony Hunter Towards higher impact argumentation. Search on Bibsonomy NMR The full citation details ... 2004 DBLP  BibTeX  RDF
1Qing Han, Zuoquan Lin Paraconsistent default reasoning. Search on Bibsonomy NMR The full citation details ... 2004 DBLP  BibTeX  RDF
1Didier Dubois, Souhila Kaci, Henri Prade Ordinal and absolute representations of positive information in possibilistic logic. Search on Bibsonomy NMR The full citation details ... 2004 DBLP  BibTeX  RDF
1Omar El-Khatib, Enrico Pontelli, Tran Cao Son ASP-PROLOG: a system for reasoning about answer set programs in prolog. Search on Bibsonomy NMR The full citation details ... 2004 DBLP  BibTeX  RDF
1Angelo Gilio On Császár's condition in nonmonotonic reasoning. Search on Bibsonomy NMR The full citation details ... 2004 DBLP  BibTeX  RDF
1Gerhard Brewka A rank based description language for qualitative preferences. Search on Bibsonomy NMR The full citation details ... 2004 DBLP  BibTeX  RDF
1Robert Saxon Milnikel A sequent calculus for skeptical reasoning in autopeistemic logic. Search on Bibsonomy NMR The full citation details ... 2004 DBLP  BibTeX  RDF
1Giovambattista Ianni, Giuseppe Ielpa, Adriana Pietramala, Maria Carmela Santoro, Francesco Calimeri Enhancing answer set programming with templates. Search on Bibsonomy NMR The full citation details ... 2004 DBLP  BibTeX  RDF
1Philippe Besnard, Sylvie Doutre Checking the acceptability of a set of arguments. Search on Bibsonomy NMR The full citation details ... 2004 DBLP  BibTeX  RDF
1Victor W. Marek, Jeffrey B. Remmel Answer set programming with default logic. Search on Bibsonomy NMR The full citation details ... 2004 DBLP  BibTeX  RDF
1Carlos Iván Chesñevar, Ana Gabriela Maguitman, Guillermo Ricardo Simari A first approach to argument-based recommender systems based on defeasible logic programming. Search on Bibsonomy NMR The full citation details ... 2004 DBLP  BibTeX  RDF
1David A. Meyer 0001, James Pommersheim, Jeffrey B. Remmel Finding stable models via quantum computation. Search on Bibsonomy NMR The full citation details ... 2004 DBLP  BibTeX  RDF
1Alexander Nittka Adjusting adjustments - an algorithm for knowledge base extraction. Search on Bibsonomy NMR The full citation details ... 2004 DBLP  BibTeX  RDF
1Luca Iocchi, Thomas Lukasiewicz, Daniele Nardi, Riccardo Rosati Qualitative and probabilistic uncertainty in reasoning about actions with sensing. Search on Bibsonomy NMR The full citation details ... 2004 DBLP  BibTeX  RDF
1Leila Amgoud, Claudette Cayrol, Marie-Christine Lagasquie-Schiex On the bipolarity in argumentation frameworks. Search on Bibsonomy NMR The full citation details ... 2004 DBLP  BibTeX  RDF
1David Billington A plausible logic which detects loops. Search on Bibsonomy NMR The full citation details ... 2004 DBLP  BibTeX  RDF
1Enrico Giunchiglia, Yuliya Lierler, Marco Maratea A SAT-based polynomial space algorithm for answer set programming. Search on Bibsonomy NMR The full citation details ... 2004 DBLP  BibTeX  RDF
1Richard Booth 0001, Samir Chopra, Thomas Andreas Meyer, Aditya Ghose A unifying semantics for belief change. Search on Bibsonomy NMR The full citation details ... 2004 DBLP  BibTeX  RDF
1Lorenzo Sacconi, Stefano Moretti A fuzzy logic and default reasoning model of social norm and equilibrium selection in games under unforeseen contingencies. Search on Bibsonomy NMR The full citation details ... 2004 DBLP  BibTeX  RDF
1Guilin Qi, Weiru Liu, David H. Glass Combining individually inconsistent prioritized knowledge bases. Search on Bibsonomy NMR The full citation details ... 2004 DBLP  BibTeX  RDF
1Joost Vennekens, Sofie Verbaeten, Maurice Bruynooghe Logic programs with annotated disjunctions. Search on Bibsonomy NMR The full citation details ... 2004 DBLP  BibTeX  RDF
1Horacio L. Arló-Costa, Isaac Levi A complete characterization of a notion of contraction based on information-value. Search on Bibsonomy NMR The full citation details ... 2004 DBLP  BibTeX  RDF
1Xiangdong An, Yang Xiang, Nick Cercone Probabilistic reasoning in dynamic multiagent systems. Search on Bibsonomy NMR The full citation details ... 2004 DBLP  BibTeX  RDF
1Thomas Linke, Hans Tompits, Stefan Woltran On acyclic and head-cycle free nested logic programs. Search on Bibsonomy NMR The full citation details ... 2004 DBLP  BibTeX  RDF
1Andreas Herzig, Ivan José Varzinczak Domain descriptions should be modular. Search on Bibsonomy NMR The full citation details ... 2004 DBLP  BibTeX  RDF
1Miodrag Raskovic, Zoran Ognjanovic, Zoran Markovic A probabilistic approach to default reasoning. Search on Bibsonomy NMR The full citation details ... 2004 DBLP  BibTeX  RDF
1Martin Caminada Dialogues and HY-arguments. Search on Bibsonomy NMR The full citation details ... 2004 DBLP  BibTeX  RDF
1Joris Hulstijn, Leendert W. N. van der Torre Combining goal generation and planning in an argumentation framework. Search on Bibsonomy NMR The full citation details ... 2004 DBLP  BibTeX  RDF
1Pascal Nicolas, Laurent Garcia, Igor Stéphan A possibilistic approach to restore consistency in answer set programming. Search on Bibsonomy NMR The full citation details ... 2004 DBLP  BibTeX  RDF
1Pietro Baroni, Massimiliano Giacomin A recursive approach to argumentation: motivation and perspectives. Search on Bibsonomy NMR The full citation details ... 2004 DBLP  BibTeX  RDF
1Giorgos Flouris, Dimitris Plexousakis, Grigoris Antoniou Generalizing the AGM postulates: preliminary results and applications. Search on Bibsonomy NMR The full citation details ... 2004 DBLP  BibTeX  RDF
1Ken Satoh "All's well that ends well" - a proposal of global abduction. Search on Bibsonomy NMR The full citation details ... 2004 DBLP  BibTeX  RDF
1James P. Delgrande Preliminary considerations on the modelling of belief change operators by metric spaces. Search on Bibsonomy NMR The full citation details ... 2004 DBLP  BibTeX  RDF
1Sébastien Konieczny Propositional belief merging and belief negotiation model. Search on Bibsonomy NMR The full citation details ... 2004 DBLP  BibTeX  RDF
1Nicola Leone, Simona Perri, Francesco Scarcello BackJumping techniques for rules instantiation in the DLV system. Search on Bibsonomy NMR The full citation details ... 2004 DBLP  BibTeX  RDF
1Andrea Bracciali, Antonis C. Kakas Frame consistency: computing with causal explanations. Search on Bibsonomy NMR The full citation details ... 2004 DBLP  BibTeX  RDF
1Charles G. Morgan Probability, rational belief and belief change. Search on Bibsonomy NMR The full citation details ... 2004 DBLP  BibTeX  RDF
1James P. Delgrande, Torsten Schaub Consistency-based approaches to merging knowledge bases: preliminary report. Search on Bibsonomy NMR The full citation details ... 2004 DBLP  BibTeX  RDF
1Ralf Schweimeier, Michael Schroeder 0001 Well-founded argumentation semantics for extended logic programming. Search on Bibsonomy NMR The full citation details ... 2002 DBLP  BibTeX  RDF
1Alberto Finzi, Fiora Pirri Explanatory diagnosing and meaningful perception. Search on Bibsonomy NMR The full citation details ... 2002 DBLP  BibTeX  RDF
1John Fox, Peter McBurney Decision making by intelligent agents: logical argument, probabilistic inference and the maintenance of beliefs and acts. Search on Bibsonomy NMR The full citation details ... 2002 DBLP  BibTeX  RDF
1Torsten Schaub, Kewen Wang Preferred well-founded semantics for logic programming by alternating fixpoints: preliminary report. Search on Bibsonomy NMR The full citation details ... 2002 DBLP  BibTeX  RDF
1Sébastien Konieczny, Ramón Pino Pérez Dynamical revision operators with memory. Search on Bibsonomy NMR The full citation details ... 2002 DBLP  BibTeX  RDF
1Marc Denecker Unifying abductive logic programming and stable logic programming. Search on Bibsonomy NMR The full citation details ... 2002 DBLP  BibTeX  RDF
1Piero A. Bonatti Abduction, ASP and open logic programs. Search on Bibsonomy NMR The full citation details ... 2002 DBLP  BibTeX  RDF
1Alexander Bochman Collective argumentation. Search on Bibsonomy NMR The full citation details ... 2002 DBLP  BibTeX  RDF
1Henry Prakken Intuitions and the modelling of defeasible reasoning: some case studies. Search on Bibsonomy NMR The full citation details ... 2002 DBLP  BibTeX  RDF
1Dritan Berzati, Bernhard Anrig, Jürg Kohlas Embedding default logic in propositional argumentation systems. Search on Bibsonomy NMR The full citation details ... 2002 DBLP  BibTeX  RDF
1Adnan Darwiche, Pierre Marquis Compilation of propositional weighted bases. Search on Bibsonomy NMR The full citation details ... 2002 DBLP  BibTeX  RDF
1Sheila A. McIlraith, Ronald Fadel Planning with complex actions. Search on Bibsonomy NMR The full citation details ... 2002 DBLP  BibTeX  RDF
1Pablo Barceló, Leopoldo E. Bertossi Repairing databases with annotated predicate logic. Search on Bibsonomy NMR The full citation details ... 2002 DBLP  BibTeX  RDF
1Giulianella Coletti, Romano Scozzafava, Barbara Vantaggi Default reasoning in a coherent setting. Search on Bibsonomy NMR The full citation details ... 2002 DBLP  BibTeX  RDF
1James P. Delgrande, Matthew Suderman Considerations on compositional update operators. Search on Bibsonomy NMR The full citation details ... 2002 DBLP  BibTeX  RDF
1Philippe Besnard, Robert E. Mercer, Torsten Schaub Optimality theory through default logic. Search on Bibsonomy NMR The full citation details ... 2002 DBLP  BibTeX  RDF
1Eyal Amir Interpolation theorems for nonmonotonic reasoning systems. Search on Bibsonomy NMR The full citation details ... 2002 DBLP  BibTeX  RDF
1Thomas Lukasiewicz Nonmonotonic probabilistic logics between model-theoretic probabilistic logic and probabilistic logic under coherence. Search on Bibsonomy NMR The full citation details ... 2002 DBLP  BibTeX  RDF
1Samir Chopra, Johannes Heidema, Thomas Andreas Meyer Some logics of belief and disbelief. Search on Bibsonomy NMR The full citation details ... 2002 DBLP  BibTeX  RDF
1Ken Satoh Speculative computation and abduction for an autonomous agent. Search on Bibsonomy NMR The full citation details ... 2002 DBLP  BibTeX  RDF
1Bart Verheij On the existence and multiplicity of extensions in dialectical argumentation. Search on Bibsonomy NMR The full citation details ... 2002 DBLP  BibTeX  RDF
1David Pearce 0001, Vladimir Sarsakov, Torsten Schaub, Hans Tompits, Stefan Woltran A polynomial translation of logic programs with nested expressions into disjunctive logic programs: preliminary report. Search on Bibsonomy NMR The full citation details ... 2002 DBLP  BibTeX  RDF
1Gerhard Brewka Logic programming with ordered disjunction. Search on Bibsonomy NMR The full citation details ... 2002 DBLP  BibTeX  RDF
1Paul E. Dunne On concise encodings of preferred extensions. Search on Bibsonomy NMR The full citation details ... 2002 DBLP  BibTeX  RDF
1David Lorenzo Learning non-monotonic causal theories from narratives of actions. Search on Bibsonomy NMR The full citation details ... 2002 DBLP  BibTeX  RDF
1Samir Chopra, Aditya Ghose, Thomas Andreas Meyer Iterated revision and the axiom of recovery: a unified treatment via epistemic states. Search on Bibsonomy NMR The full citation details ... 2002 DBLP  BibTeX  RDF
1Leila Amgoud, Nicolas Maudet Strategical considerations for argumentative agents (preliminary report). Search on Bibsonomy NMR The full citation details ... 2002 DBLP  BibTeX  RDF
1Mary-Anne Williams Collaborative belief revision. Search on Bibsonomy NMR The full citation details ... 2002 DBLP  BibTeX  RDF
1Thomas Linke, Christian Anger, Kathrin Konczak More on noMoRe. Search on Bibsonomy NMR The full citation details ... 2002 DBLP  BibTeX  RDF
1Claudette Cayrol, Sylvie Doutre, Marie-Christine Lagasquie-Schiex, Jérôme Mengin "Minimal defence": a refinement of the preferred semantics for argumentation frameworks. Search on Bibsonomy NMR The full citation details ... 2002 DBLP  BibTeX  RDF
1Antonis C. Kakas, Loizos Michael Modeling complex domains of actions and change. Search on Bibsonomy NMR The full citation details ... 2002 DBLP  BibTeX  RDF
1Mehdi Dastani, Leendert W. N. van der Torre What is a joint goal? Games with beliefs and defeasible desires. Search on Bibsonomy NMR The full citation details ... 2002 DBLP  BibTeX  RDF
1Pedro Cabalar Alternative characterizations for strong equivalence of logic programs. Search on Bibsonomy NMR The full citation details ... 2002 DBLP  BibTeX  RDF
1Francesco Calimeri, Wolfgang Faber 0001, Nicola Leone, Gerald Pfeifer Pruning operators for answer set programming systems. Search on Bibsonomy NMR The full citation details ... 2002 DBLP  BibTeX  RDF
1John F. Horty Skepticism and floating conclusions. Search on Bibsonomy NMR The full citation details ... 2002 DBLP  BibTeX  RDF
1René Witte Fuzzy belief revision. Search on Bibsonomy NMR The full citation details ... 2002 DBLP  BibTeX  RDF
1Graham White 0001 Intensionality and circumscription. Search on Bibsonomy NMR The full citation details ... 2002 DBLP  BibTeX  RDF
1Trevor J. M. Bench-Capon Value-based argumentation frameworks. Search on Bibsonomy NMR The full citation details ... 2002 DBLP  BibTeX  RDF
1Salem Benferhat, Sylvain Lagrue, Odile Papini Revising partially ordered beliefs. Search on Bibsonomy NMR The full citation details ... 2002 DBLP  BibTeX  RDF
1David Gilis, Marc Denecker Compositionally results for stratified nonmonotone operators. Search on Bibsonomy NMR The full citation details ... 2002 DBLP  BibTeX  RDF
1Laura Giordano 0001, Camilla Schwind Towards a conditional logic of actions and causation. Search on Bibsonomy NMR The full citation details ... 2002 DBLP  BibTeX  RDF
1Salem Benferhat, Enrico Giunchiglia (eds.) 9th International Workshop on Non-Monotonic Reasoning (NMR 2002), April 19-21, Toulouse, France, Proceedings Search on Bibsonomy NMR The full citation details ... 2002 DBLP  BibTeX  RDF
1Marcos 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. Search on Bibsonomy NMR The full citation details ... 2002 DBLP  BibTeX  RDF
1Vladimir Lifschitz Why Sam doesn't know calculus. Search on Bibsonomy NMR The full citation details ... 2002 DBLP  BibTeX  RDF
1Georg Gottlob Visual Data Extraction Through Visual Logic Programming. Search on Bibsonomy NMR The full citation details ... 2002 DBLP  BibTeX  RDF
1Henry E. Kyburg Jr., Choh-Man Teng Evaluating defaults. Search on Bibsonomy NMR The full citation details ... 2002 DBLP  BibTeX  RDF
1Didier Dubois, Henri Prade Possibility theory in information fusion. Search on Bibsonomy NMR The full citation details ... 2002 DBLP  BibTeX  RDF
Displaying result #1 - #100 of 149 (100 per page; Change: )
Pages: [1][2][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license