Search results for "Nonmonotonic"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
101	Uwe Egly, Hans Tompits	Proof-complexity results for nonmonotonic reasoning.	ACM Trans. Comput. Log.	2001	DBLP DOI BibTeX RDF	default logic, circumscription, sequent calculi
90	V. Wiktor Marek, Grigori F. Shvarts, Miroslaw Truszczynski	Modal Nonmonotonic Logics: Ranges, Characterization, Computation.	J. ACM	1993	DBLP DOI BibTeX RDF
85	Insu Song, Guido Governatori	Hardware Implementation of Temporal Nonmonotonic Logics.	Australian Conference on Artificial Intelligence	2006	DBLP DOI BibTeX RDF	agent, knowledge representation, temporal logic, nonmonotonic logic, chip design
84	Riccardo Rosati 0001	Towards First-Order Nonmonotonic Reasoning.	LPNMR	1999	DBLP DOI BibTeX RDF
79	Ján Sefránek	Irrelevant Updates and Nonmonotonic Assumptions.	JELIA	2006	DBLP DOI BibTeX RDF	foundations of logic-based AI systems, nonmonotonic knowledge bases, logic programming, updates, nonmonotonic reasoning
69	Cees Witteveen, Wiebe van der Hoek	Some postulates for Nonmonotonic Theory Revision Applied to Logic Programming.	ELP	1996	DBLP DOI BibTeX RDF
68	Georg Gottlob, Francesco Scarcello, Martha Sideri	Fixed-Parameter Complexity in AI and Nonmonotonic Reasoning.	LPNMR	1999	DBLP DOI BibTeX RDF	Complexity, Logic Programming, Constraint Satisfaction, Nonmonotonic Reasoning, Fixed-parameter Tractability, Stable Models, Prime Implicants, Circumscription
63	Chiaki Sakama	Induction from answer sets in nonmonotonic logic programs.	ACM Trans. Comput. Log.	2005	DBLP DOI BibTeX RDF	nonmonotonic logic programs, induction, Answer sets
63	V. S. Subrahmanian	Nonmonotonic Logic Programming.	IEEE Trans. Knowl. Data Eng.	1999	DBLP DOI BibTeX RDF	logic programming, deductive databases, Nonmonotonic reasoning, incomplete information, negation
63	Thomas J. Weigert, Jeffrey J. P. Tsai	A Computationally Tractable Nonmonotonic Logic.	IEEE Trans. Knowl. Data Eng.	1994	DBLP DOI BibTeX RDF	computationally tractable nonmonotonic logic, nonmonotonic reasoning procedures, proof theoretically, semantic characteristics, Herbrand subset, knowledge representation, logic programming, logic programming, reasoning, nonmonotonic reasoning, incomplete information, formal logic, first-order predicate logic
58	Miroslaw Truszczynski	Nonmonotonic Logics and Their Algebraic Foundations.	CSL	2006	DBLP DOI BibTeX RDF
58	Thomas Eiter, Giovambattista Ianni, Roman Schindlauer, Hans Tompits	Nonmonotonic Description Logic Programs: Implementation and Experiments.	LPAR	2004	DBLP DOI BibTeX RDF
58	Hudson Turner	Strong Equivalence for Causal Theories.	LPNMR	2004	DBLP DOI BibTeX RDF
58	Piero A. Bonatti, Nicola Olivetti	Sequent calculi for propositional nonmonotonic logics.	ACM Trans. Comput. Log.	2002	DBLP DOI BibTeX RDF	Default Logic, Circumscription, Sequent calculi, Autoepistemic Logic, Rejection methods
58	Moisés Goldszmidt, Paul H. Morris, Judea Pearl	A Maximum Entropy Approach to Nonmonotonic Reasoning.	IEEE Trans. Pattern Anal. Mach. Intell.	1993	DBLP DOI BibTeX RDF	abnormality minimisation, infinitesimal probabilities, probabilistic interpretation, conditional knowledge base, conditional interpretations, knowledge based systems, inference, maximum entropy, nonmonotonic reasoning, nonmonotonic reasoning, probabilistic logic
55	Gerhard Brewka, Thomas Eiter, Michael Fink 0001	Nonmonotonic Multi-Context Systems: A Flexible Approach for Integrating Heterogeneous Knowledge Sources.	Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning	2011	DBLP DOI BibTeX RDF
55	Karl Schlechta	Nonmonotonic logics: a preferential approach.	The Many Valued and Nonmonotonic Turn in Logic	2007	DBLP DOI BibTeX RDF
55	Alexander Bochman	Nonmonotonic reasoning.	The Many Valued and Nonmonotonic Turn in Logic	2007	DBLP DOI BibTeX RDF
55	Gerhard Brewka, Ilkka Niemelä, Torsten Schaub, Miroslaw Truszczynski, Joost Vennekens	05171 Abstracts Collection - Nonmonotonic Reasoning, Answer Set Programming and Constraints.	Nonmonotonic Reasoning, Answer Set Programming and Constraints	2005	DBLP BibTeX RDF
55	Gerhard Brewka, Ilkka Niemelä, Torsten Schaub, Miroslaw Truszczynski	05171 Executive Summary - Nonmonotonic Reasoning, Answer Set Programming and Constraints.	Nonmonotonic Reasoning, Answer Set Programming and Constraints	2005	DBLP BibTeX RDF
55	Steffen Lange, Thomas Zeugmann	Monotonic Versus Nonmonotonic Language Learning.	Nonmonotonic and Inductive Logic	1991	DBLP DOI BibTeX RDF
55	Gerhard Brewka, Jürgen Dix, Kurt Konolige	A Tutorial on Nonmonotonic Reasoning.	Nonmonotonic and Inductive Logic	1991	DBLP DOI BibTeX RDF
55	Klaus P. Jantke	Monotonic and Nonmonotonic Inductive Inference of Functions and Patterns.	Nonmonotonic and Inductive Logic	1990	DBLP DOI BibTeX RDF
55	V. Wiktor Marek, Grigori Schwarz, Miroslaw Truszczynski	Ranges of Strong Modal Nonmonotonic Logics.	Nonmonotonic and Inductive Logic	1990	DBLP DOI BibTeX RDF
55	Heinrich Herre	Nonmonotonic Reasoning and Logic Programs.	Nonmonotonic and Inductive Logic	1990	DBLP DOI BibTeX RDF
55	Gerhard Jäger	Notions of Nonmonotonic Derivability.	Nonmonotonic and Inductive Logic	1990	DBLP DOI BibTeX RDF
53	Kazumi Nakamatsu, Atsuyuki Suzuki	A Non-monotonic ATMS Based on Annotated Logic Programs with Strong Negation.	Agents and Multi-Agent Systems Formalisms, Methodologies, and Applications	1997	DBLP DOI BibTeX RDF
53	Stephen G. Pimentel, John L. Cuadrado	The Event Calculus and Consistency Maintenance.	IEA/AIE (Vol. 2)	1990	DBLP DOI BibTeX RDF
53	Didar Zowghi, Ray Offen	A Logical Framework for Modeling and Reasoning About the Evolution of Requirements.	RE	1997	DBLP DOI BibTeX RDF	meta level logic, intuitive aspects, deductive closure, large theories, theory construction, semantically well founded methods, changing requirements management, software engineering, formal specification, belief revision, nonmonotonic reasoning, requirements model, logical framework, nonmonotonic logic, formal description, requirements engineering process, requirements evolution
53	Zuoquan Lin	Paraconsistent Circumscription: First-Order Case.	ISMVL	1995	DBLP DOI BibTeX RDF	paraconsistent circumscription, predicate circumscription, minimal semantics, nonmonotonic reasoning, formal logic, paraconsistent logic, nonmonotonic logic, classical logic
53	Guoren Wang, Mengchi Liu	Extending XML with Nonmonotonic Multiple Inheritance.	DASFAA	2005	DBLP DOI BibTeX RDF	XML schema languages, nonmonotonic inheritance, element hierarchy, XML
53	Tetsuya Murai, Masayuki Sanada, Yasuo Kudo, Yoshiharu Sato	Monotonic and Nonmonotonic Reasoning in Zoom Reasoning Systems.	KES	2004	DBLP DOI BibTeX RDF	Zoom reasoning System, Monotonic reasoning, Pawlak rough sets, Ziarko variable precision rough set model, Nonmonotonic reasoning
53	Colin Bell, Anil Nerode, Raymond T. Ng, V. S. Subrahmanian	Mixed Integer Programming Methods for Computing Nonmonotonic Deductive Databases.	J. ACM	1994	DBLP DOI BibTeX RDF	logic programming, deductive databases, nonmonotonic reasoning, operations research
52	Marek J. Sergot, Robert Craven	Some Logical Properties of Nonmonotonic Causal Theories.	LPNMR	2005	DBLP DOI BibTeX RDF
52	Chiaki Sakama	Nonmonotonic Inductive Logic Programming.	LPNMR	2001	DBLP DOI BibTeX RDF
48	Grigoris Antoniou, Antonis Bikakis	DR-Prolog: A System for Defeasible Reasoning with Rules and Ontologies on the Semantic Web.	IEEE Trans. Knowl. Data Eng.	2007	DBLP DOI BibTeX RDF	Semantic Web reasoning, Rules, nonmonotonic reasoning
48	George Antoniou	Relating Defeasible Logic to Extended Logic Programs.	SETN	2002	DBLP DOI BibTeX RDF	knowledge representation, logic programming, nonmonotonic reasoning
47	Klaus Ostermann	Aspects and modular reasoning in nonmonotonic logic.	FOAL	2007	DBLP DOI BibTeX RDF
47	David Pearce 0001, Agustín Valverde	A First Order Nonmonotonic Extension of Constructive Logic.	Stud Logica	2005	DBLP DOI BibTeX RDF	here-and-there logic, equilibrium logic, interpolation, answer set programming, Constructive negation
47	Richmond H. Thomason	Making Contextual Intensional Logic Nonmonotonic.	CONTEXT	2005	DBLP DOI BibTeX RDF
47	Phan Minh Dung, Phan Minh Thang	Trust Negotiation with Nonmonotonic Access Policies.	INTELLCOMM	2004	DBLP DOI BibTeX RDF
47	Lee Flax	An Algebraic Approach to Belief Contraction and Nonmonotonic Entailment.	JELIA	2004	DBLP DOI BibTeX RDF
47	Paul Borchert, Christian Anger, Torsten Schaub, Miroslaw Truszczynski	Towards Systematic Benchmarking in Answer Set Programming: The Dagstuhl Initiative.	LPNMR	2004	DBLP DOI BibTeX RDF
47	Chiaki Sakama	Inverse Entailment in Nonmonotonic Logic Programs.	ILP	2000	DBLP DOI BibTeX RDF
47	Ofer Arieli, Arnon Avron	Nonmonotonic and Paraconsistent Reasoning: From Basic Entailments to Plausible Relations.	ESCQARU	1999	DBLP DOI BibTeX RDF
47	Francesco M. Donini, Fabio Massacci, Daniele Nardi, Riccardo Rosati 0001	A Uniform Tableaux Method for Nonmonotonic Modal Logics.	JELIA	1996	DBLP DOI BibTeX RDF
47	Lin Padgham, Bernhard Nebel	Combining Classification and Nonmonotonic Inheritance Reasoning: A First Step.	ISMIS	1993	DBLP DOI BibTeX RDF
47	Charles Elkan	Logical Characterizations of Nonmonotonic TMSs.	MFCS	1989	DBLP DOI BibTeX RDF
43	Pascal Nicolas, Frédéric Saubion, Igor Stéphan	Combining heuristics for default logic reasoning systems.	ICTAI	2000	DBLP DOI BibTeX RDF	default logic reasoning systems, theoretical complexity, local search techniques, automated default reasoning system, genetic algorithms, genetic algorithms, computational complexity, artificial intelligence, knowledge representation, knowledge representation, heuristics, nonmonotonic reasoning, nonmonotonic reasoning, expressive power
42	Laura Giordano 0001, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato	Analytic tableaux calculi for KLM logics of nonmonotonic reasoning.	ACM Trans. Comput. Log.	2009	DBLP DOI BibTeX RDF	Analytic tableaux calculi, nonmonotonic reasoning
42	Chongbing Liu, Enrico Pontelli	Nonmonotonic inductive logic programming by instance patterns.	PPDP	2007	DBLP DOI BibTeX RDF	instance patterns, nonmonotonic ilp, specialization
42	Robert Saxon Milnikel	Embedding Modal Nonmonotonic Logics into Default Logic.	Stud Logica	2003	DBLP DOI BibTeX RDF	Modal nonmonotonic logic, Default logic
42	Didier Dubois, Hélène Fargier, Henri Prade, Patrice Perny	Qualitative decision theory: from savage's axioms to nonmonotonic reasoning.	J. ACM	2002	DBLP DOI BibTeX RDF	Comparative uncertainty, preference relations, qualitative decision theory, decision theory, nonmonotonic reasoning, possibility theory
42	Cara MacNish	A Note on the Refinement of Nonmonotonic Knowledge Bases.	Knowl. Inf. Syst.	2000	DBLP DOI BibTeX RDF	Refinement, Nonmonotonic reasoning, Default logic
42	Ronald R. Yager	Nonmonotonic OWA operators.	Soft Comput.	1999	DBLP DOI BibTeX RDF	Nonmonotonic aggregation, mean operators, fuzzy logic, OWA operators
42	Minh Dao-Tran, Thomas Eiter, Michael Fink 0001, Thomas Krennwallner	Relevance-Driven Evaluation of Modular Nonmonotonic Logic Programs.	LPNMR	2009	DBLP DOI BibTeX RDF
42	Alberto Finzi, Thomas Lukasiewicz	Game-Theoretic Reasoning About Actions in Nonmonotonic Causal Theories.	LPNMR	2005	DBLP DOI BibTeX RDF
42	Michael Kifer	Nonmonotonic Reasoning in FLORA-2.	LPNMR	2005	DBLP DOI BibTeX RDF
42	Leora Morgenstern	Practical Nonmonotonic Reasoning: Extending Inheritance Techniques to Solve Real-World Problems.	LPNMR	1999	DBLP DOI BibTeX RDF
40	Marcello Balduccini, Tran Cao Son (eds.)	Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning - Essays Dedicated to Michael Gelfond on the Occasion of His 65th Birthday	Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning	2011	DBLP DOI BibTeX RDF
40	Martin Gebser, Roland Kaminski, Benjamin Kaufmann, Torsten Schaub	Challenges in Answer Set Solving.	Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning	2011	DBLP DOI BibTeX RDF
40	Richard Watson 0003, Marina De Vos	ASTREA: Answer Sets for a Trusted Reasoning Environment for Agents.	Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning	2011	DBLP DOI BibTeX RDF
40	Forrest Sheng Bao, Sandeep Chintabathina, A. Ricardo Morales, Nelson Rushton, Richard Watson 0003, Yuanlin Zhang 0002	A Temporally Expressive Planner Based on Answer Set Programming with Constraints: Preliminary Design.	Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning	2011	DBLP DOI BibTeX RDF
40	Marcello Balduccini, Sara Girotto	ASP as a Cognitive Modeling Tool: Short-Term Memory and Long-Term Memory.	Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning	2011	DBLP DOI BibTeX RDF
40	José Júlio Alferes, Alfredo Gabaldon, João Leite 0001	Evolving Logic Programs with Temporal Operators.	Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning	2011	DBLP DOI BibTeX RDF
40	Esra Erdem 0001	Applications of Answer Set Programming in Phylogenetic Systematics.	Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning	2011	DBLP DOI BibTeX RDF
40	Paolo Ferraris, Vladimir Lifschitz	On the Minimality of Stable Models.	Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning	2011	DBLP DOI BibTeX RDF
40	Michael Thielscher	Translating General Game Descriptions into an Action Language.	Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning	2011	DBLP DOI BibTeX RDF
40	Chitta Baral, Gregory Gelfond	On Representing Actions in Multi-agent Domains.	Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning	2011	DBLP DOI BibTeX RDF
40	Victor W. Marek, Jeffrey B. Remmel	Effectively Reasoning about Infinite Sets in Answer Set Programming.	Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning	2011	DBLP DOI BibTeX RDF
40	Giovanni Grasso 0001, Nicola Leone, Marco Manna, Francesco Ricca	ASP at Work: Spin-off and Applications of the DLV System.	Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning	2011	DBLP DOI BibTeX RDF
40	Stefania Costantini	Michael Gelfond: Essay in Honour of His 65th Birthday.	Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning	2011	DBLP DOI BibTeX RDF
40	Agostino Dovier, Andrea Formisano 0001, Enrico Pontelli	Perspectives on Logic-Based Approaches for Reasoning about Actions and Change.	Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning	2011	DBLP DOI BibTeX RDF
40	Jack Minker	Opening: Homage to Michael Gelfond on His 65th Birthday.	Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning	2011	DBLP DOI BibTeX RDF
40	Miroslaw Truszczynski	Revisiting Epistemic Specifications.	Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning	2011	DBLP DOI BibTeX RDF
40	Pedro Cabalar	Answer Set; Programming?	Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning	2011	DBLP DOI BibTeX RDF
40	Tomi Janhunen, Ilkka Niemelä	Compact Translations of Non-disjunctive Answer Set Programs to Propositional Clauses.	Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning	2011	DBLP DOI BibTeX RDF
40	Alessandro Provetti	Recollections on Michael Gelfond's 65th Birthday.	Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning	2011	DBLP DOI BibTeX RDF
40	Tommi Syrjänen	On the Practical Side of Answer Set Programming.	Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning	2011	DBLP DOI BibTeX RDF
40	Wolfgang Faber 0001, Stefan Woltran	Manifold Answer-Set Programs and Their Applications.	Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning	2011	DBLP DOI BibTeX RDF
40	Massimiliano Albanese, Matthias Broecheler, John Grant, Maria Vanina Martinez, V. S. Subrahmanian	PLINI: A Probabilistic Logic Program Framework for Inconsistent News Information.	Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning	2011	DBLP DOI BibTeX RDF
40	Veena S. Mellarkod	Tea Times with Gelfond.	Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning	2011	DBLP DOI BibTeX RDF
40	Jorge Lobo 0001, Jiefei Ma, Alessandra Russo, Emil Lupu, Seraphin B. Calo, Morris Sloman	Refinement of History-Based Policies.	Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning	2011	DBLP DOI BibTeX RDF
40	Marc Denecker, Joost Vennekens, Hanne Vlaeminck, Johan Wittocx, Maurice Bruynooghe	Answer Set Programming's Contributions to Classical Logic - An Analysis of ASP Methodology.	Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning	2011	DBLP DOI BibTeX RDF
40	Katsumi Inoue, Chiaki Sakama	Exploring Relations between Answer Set Programs.	Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning	2011	DBLP DOI BibTeX RDF
40	Phan Minh Dung, Phan Minh Thang	Closure and Consistency Rationalities in Logic-Based Argumentation.	Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning	2011	DBLP DOI BibTeX RDF
40	Vladik Kreinovich	Cantor's Paradise Regained: Constructive Mathematics from Brouwer to Kolmogorov to Gelfond.	Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning	2011	DBLP DOI BibTeX RDF
40	Graham Priest	Paraconsistency and dialetheism.	The Many Valued and Nonmonotonic Turn in Logic	2007	DBLP DOI BibTeX RDF
40	Grzegorz Malinowski	Many-valued logic and its philosophy.	The Many Valued and Nonmonotonic Turn in Logic	2007	DBLP DOI BibTeX RDF
40	Carl J. Posy	Free logics.	The Many Valued and Nonmonotonic Turn in Logic	2007	DBLP DOI BibTeX RDF
40	Didier Dubois, Francesc Esteva, Lluís Godo, Henri Prade	Fuzzy-set based logics - an history-oriented presentation of their main developments.	The Many Valued and Nonmonotonic Turn in Logic	2007	DBLP DOI BibTeX RDF
40	Bryson Brown	Preservationism: a short history.	The Many Valued and Nonmonotonic Turn in Logic	2007	DBLP DOI BibTeX RDF
40	Maria Luisa Dalla Chiara, Roberto Giuntini, Miklós Rédei	The history of quantum logic.	The Many Valued and Nonmonotonic Turn in Logic	2007	DBLP DOI BibTeX RDF
40	Dov M. Gabbay, John Woods 0001	Preface.	The Many Valued and Nonmonotonic Turn in Logic	2007	DBLP DOI BibTeX RDF
40	Grigoris Antoniou, Kewen Wang 0001	Default logic.	The Many Valued and Nonmonotonic Turn in Logic	2007	DBLP DOI BibTeX RDF
40	Dominic Hyde	Logics of vagueness.	The Many Valued and Nonmonotonic Turn in Logic	2007	DBLP DOI BibTeX RDF
40	Gerhard Brewka, Ilkka Niemelä, Torsten Schaub, Miroslaw Truszczynski (eds.)	Nonmonotonic Reasoning, Answer Set Programming and Constraints, 24.-29. April 2005	Nonmonotonic Reasoning, Answer Set Programming and Constraints	2005	DBLP BibTeX RDF
40	Pascal Nicolas, Laurent Garcia, Igor Stéphan	Possibilistic Stable Models.	Nonmonotonic Reasoning, Answer Set Programming and Constraints	2005	DBLP BibTeX RDF
40	Victor W. Marek, Jeffrey B. Remmel	Normal Form Theorem for Logic Programs with Cardinality Constraints.	Nonmonotonic Reasoning, Answer Set Programming and Constraints	2005	DBLP BibTeX RDF
40	Gabriele Kern-Isberner, Christoph Beierle, Oliver Dusso	Modelling and Implementing a Knowledge Base for Checking Medical Invoices with DLV.	Nonmonotonic Reasoning, Answer Set Programming and Constraints	2005	DBLP BibTeX RDF