Search results for "NMR"

Hits ?▲	Authors	Title	Venue	Year	Link
1	Henry Prakken	Intuitions and the modelling of defeasible reasoning: some case studies.	NMR	2002	DBLP BibTeX RDF
1	Dritan Berzati, Bernhard Anrig, Jürg Kohlas	Embedding default logic in propositional argumentation systems.	NMR	2002	DBLP BibTeX RDF
1	Adnan Darwiche, Pierre Marquis	Compilation of propositional weighted bases.	NMR	2002	DBLP BibTeX RDF
1	Sheila A. McIlraith, Ronald Fadel	Planning with complex actions.	NMR	2002	DBLP BibTeX RDF
1	Pablo Barceló, Leopoldo E. Bertossi	Repairing databases with annotated predicate logic.	NMR	2002	DBLP BibTeX RDF
1	Giulianella Coletti, Romano Scozzafava, Barbara Vantaggi	Default reasoning in a coherent setting.	NMR	2002	DBLP BibTeX RDF
1	James P. Delgrande, Matthew Suderman	Considerations on compositional update operators.	NMR	2002	DBLP BibTeX RDF
1	Philippe Besnard, Robert E. Mercer, Torsten Schaub	Optimality theory through default logic.	NMR	2002	DBLP BibTeX RDF
1	Eyal Amir	Interpolation theorems for nonmonotonic reasoning systems.	NMR	2002	DBLP BibTeX RDF
1	Thomas Lukasiewicz	Nonmonotonic probabilistic logics between model-theoretic probabilistic logic and probabilistic logic under coherence.	NMR	2002	DBLP BibTeX RDF
1	Samir Chopra, Johannes Heidema, Thomas Andreas Meyer	Some logics of belief and disbelief.	NMR	2002	DBLP BibTeX RDF
1	Ken Satoh	Speculative computation and abduction for an autonomous agent.	NMR	2002	DBLP BibTeX RDF
1	Bart Verheij	On the existence and multiplicity of extensions in dialectical argumentation.	NMR	2002	DBLP BibTeX RDF
1	David 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.	NMR	2002	DBLP BibTeX RDF
1	Gerhard Brewka	Logic programming with ordered disjunction.	NMR	2002	DBLP BibTeX RDF
1	Paul E. Dunne	On concise encodings of preferred extensions.	NMR	2002	DBLP BibTeX RDF
1	David Lorenzo	Learning non-monotonic causal theories from narratives of actions.	NMR	2002	DBLP BibTeX RDF
1	Samir Chopra, Aditya Ghose, Thomas Andreas Meyer	Iterated revision and the axiom of recovery: a unified treatment via epistemic states.	NMR	2002	DBLP BibTeX RDF
1	Leila Amgoud, Nicolas Maudet	Strategical considerations for argumentative agents (preliminary report).	NMR	2002	DBLP BibTeX RDF
1	Mary-Anne Williams	Collaborative belief revision.	NMR	2002	DBLP BibTeX RDF
1	Thomas Linke, Christian Anger, Kathrin Konczak	More on noMoRe.	NMR	2002	DBLP BibTeX RDF
1	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	DBLP BibTeX RDF
1	Antonis C. Kakas, Loizos Michael	Modeling complex domains of actions and change.	NMR	2002	DBLP BibTeX RDF
1	Mehdi Dastani, Leendert W. N. van der Torre	What is a joint goal? Games with beliefs and defeasible desires.	NMR	2002	DBLP BibTeX RDF
1	Pedro Cabalar	Alternative characterizations for strong equivalence of logic programs.	NMR	2002	DBLP BibTeX RDF
1	Francesco Calimeri, Wolfgang Faber 0001, Nicola Leone, Gerald Pfeifer	Pruning operators for answer set programming systems.	NMR	2002	DBLP BibTeX RDF
1	John F. Horty	Skepticism and floating conclusions.	NMR	2002	DBLP BibTeX RDF
1	René Witte	Fuzzy belief revision.	NMR	2002	DBLP BibTeX RDF
1	Graham White 0001	Intensionality and circumscription.	NMR	2002	DBLP BibTeX RDF
1	Trevor J. M. Bench-Capon	Value-based argumentation frameworks.	NMR	2002	DBLP BibTeX RDF
1	Salem Benferhat, Sylvain Lagrue, Odile Papini	Revising partially ordered beliefs.	NMR	2002	DBLP BibTeX RDF
1	David Gilis, Marc Denecker	Compositionally results for stratified nonmonotone operators.	NMR	2002	DBLP BibTeX RDF
1	Laura Giordano 0001, Camilla Schwind	Towards a conditional logic of actions and causation.	NMR	2002	DBLP BibTeX RDF
1	Salem Benferhat, Enrico Giunchiglia (eds.)	9th International Workshop on Non-Monotonic Reasoning (NMR 2002), April 19-21, Toulouse, France, Proceedings	NMR	2002	DBLP BibTeX RDF
1	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	DBLP BibTeX RDF
1	Vladimir Lifschitz	Why Sam doesn't know calculus.	NMR	2002	DBLP BibTeX RDF
1	Georg Gottlob	Visual Data Extraction Through Visual Logic Programming.	NMR	2002	DBLP BibTeX RDF
1	Henry E. Kyburg Jr., Choh Man Teng 0001	Evaluating defaults.	NMR	2002	DBLP BibTeX RDF
1	Didier Dubois, Henri Prade	Possibility theory in information fusion.	NMR	2002	DBLP BibTeX RDF
1	Sibylle Schwarz	Answer sets generated by selector functions.	NMR	2002	DBLP BibTeX RDF
1	Alexander Bochman	Two representations for iterative non-prioritized change.	NMR	2002	DBLP BibTeX RDF
1	Eva Richter	Nonmonotonic inference operators for fuzzy logic.	NMR	2002	DBLP BibTeX RDF
1	Victor W. Marek, Jeffrey B. Remmel	On logic programs with cardinality constraints.	NMR	2002	DBLP BibTeX RDF
1	Yves Moinard	Linking Makinson and Kraus-Lehmann- Magidor preferential entailments.	NMR	2002	DBLP BibTeX RDF
1	Grigoris Antoniou	Defeasible logic with dynamic priorities.	NMR	2002	DBLP BibTeX RDF
1	Jan M. Broersen, John-Jules Ch. Meyer, Roel J. Wieringa	The mutual exclusion problem in reasoning about action and change.	NMR	2002	DBLP BibTeX RDF
1	Emil Weydert	Default epistemology rankings, reasoning and revision (a very preliminary account).	NMR	2002	DBLP BibTeX RDF
1	Michael Reinfrank, Johan de Kleer, Matthew L. Ginsberg, Erik Sandewall (eds.)	Non-Monotonic Reasoning, 2nd International Workshop, Grassau, FRG, June 13-15, 1988, Proceedings	NMR	1989	DBLP DOI BibTeX RDF
1	Kurt Konolige	Hierarchic Autoepistemic Theories for Non-Monotonic Reasoning: Preliminary Report.	NMR	1988	DBLP DOI BibTeX RDF
1	Oskar Dressler	An Extended Basic ATMS.	NMR	1988	DBLP DOI BibTeX RDF
1	Michael Gelfond	Autoepistemic Logic and Formalization of Commonsense Reasoning: Preliminary Report.	NMR	1988	DBLP DOI BibTeX RDF
1	Bart Selman, Henry A. Kautz	The Complexity of Model-Preference Default Theories.	NMR	1988	DBLP DOI BibTeX RDF
1	Michael Gelfond, Vladimir Lifschitz	Compiling Circumscriptive Theories into Logic Programs.	NMR	1988	DBLP DOI BibTeX RDF
1	Paul H. Morris	Autoepistemic Stable Closures and Contradiction Resolution.	NMR	1988	DBLP DOI BibTeX RDF
1	Erik Sandewall	The Semantics of Non-Monotonic Entailment Defined Using Partial Interpretations.	NMR	1988	DBLP DOI BibTeX RDF
1	Richmond H. Thomason, John F. Horty	Logics for Inheritance Theory.	NMR	1988	DBLP DOI BibTeX RDF
1	Matthew L. Ginsberg	A Circumscriptive Theorem Prover.	NMR	1988	DBLP DOI BibTeX RDF
1	Douglas E. Appelt, Kurt Konolige	A Non-Monotonic Logic for Reasoning about Speech Acts and Belief Revision.	NMR	1988	DBLP DOI BibTeX RDF
1	Vladimir Lifschitz	Benchmark Problems for Formal Non-Monotonic Reasoning, Version 2.00.	NMR	1988	DBLP DOI BibTeX RDF
1	David Makinson	General Theory of Cumulative Inference.	NMR	1988	DBLP DOI BibTeX RDF
1	Allen L. Brown Jr., Yoav Shoham	New Results on Semantical Non-Monotonic Reasoning.	NMR	1988	DBLP DOI BibTeX RDF
1	Michael Dixon, Johan de Kleer	Massively Parallel Assumption-Based Truth Maintenance.	NMR	1988	DBLP DOI BibTeX RDF
1	Scott D. Goodwin, Randy Goebel	Non-Monotonic Reasoning in Temporal Domains: The Knowledge Independence Problem.	NMR	1988	DBLP DOI BibTeX RDF
1	João P. Martins, Stuart C. Shapiro	A Model for Belief Revision.	NMR	1984	DBLP BibTeX RDF
1	Robert C. Moore	Possible-World Semantics for Autoepistemic Logic.	NMR	1984	DBLP BibTeX RDF
1	David W. Etherington, Robert E. Mercer, Raymond Reiter	On the Adequacy of Predicate Circumscription for Closed-World Reasoning.	NMR	1984	DBLP BibTeX RDF
1	David Poole 0001	A Logical System for Default Reasoning.	NMR	1984	DBLP BibTeX RDF
1	Vladimir Lifschitz	Some Results on Circumscription.	NMR	1984	DBLP BibTeX RDF
1	Clark Glymour, Richmond H. Thomason	Default Reasoning and the Logic of Theory Perturbation.	NMR	1984	DBLP BibTeX RDF
1	Witold Lukaszewicz	Considerations on Default Logic.	NMR	1984	DBLP BibTeX RDF
1		Proceedings of the Non-Monotonic Reasoning Workshop, Mohonk Mountain House, New Paltz, NY 12561, USA, October 17-19, 1984	NMR	1984	DBLP BibTeX RDF
1	Joseph Y. Halpern, Yoram Moses	Towards a Theory of Knowledge and Ignorance: Preliminary Report.	NMR	1984	DBLP BibTeX RDF
1	James W. Goodwin	WATSON: A Dependency Directed Inference System.	NMR	1984	DBLP BibTeX RDF
1	Donald Perlis	Bibliography of Literature on Non-Monotonic Reasoning.	NMR	1984	DBLP BibTeX RDF
1	John McCarthy 0001	Applications of Circumscription to Formalizing Common Sense Knowledge.	NMR	1984	DBLP BibTeX RDF
1	Jon Doyle	Circumscription and Implicit Definability.	NMR	1984	DBLP BibTeX RDF
1	Nicholas Ascher	Linguistic Understanding and Non-Monotonic Reasoning.	NMR	1984	DBLP BibTeX RDF
1	Alexander Borgida, Tomasz Imielinski	Decision Making in Commitees - A Framework for Dealing with Inconsistency and Non-Monotonicity.	NMR	1984	DBLP BibTeX RDF
1	Martin A. Fischler, Oscar Firschein	Computational Vision as a (Non-Monotonic) Reasoning Process.	NMR	1984	DBLP BibTeX RDF
1	Jack Minker, Donald Perlis	Protected Circumscription.	NMR	1984	DBLP BibTeX RDF
1	L. Thorne McCarty	Programming Directly in a Non Monotonic Logic.	NMR	1984	DBLP BibTeX RDF
1	Donald Perlis	Non-Monotonicity and Real-Time Reasoning.	NMR	1984	DBLP BibTeX RDF
1	V. Wiktor Marek	A Natural Semantics for Modal Logic over Databases and Model-Theoretic Forcing.	NMR	1984	DBLP BibTeX RDF
1	Garrison W. Cottrell	Re: Inheritance Hierarchies with Exceptions.	NMR	1984	DBLP BibTeX RDF
1	Mary Angela Papalaskaris, Alan Bundy	Topics for Circumscription.	NMR	1984	DBLP BibTeX RDF
1	Benjamin N. Grosof	Default Reasoning as Circumscription.	NMR	1984	DBLP BibTeX RDF
1	Aravind K. Joshi, Bonnie L. Webber, Ralph M. Weischedel	Default Reasoning in Interaction.	NMR	1984	DBLP BibTeX RDF
1	James A. Reggia, Dana S. Nau	An Abductive Non-Monotonic Logic.	NMR	1984	DBLP BibTeX RDF

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