Search results for "negation-as-failure"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
85	Phan Minh Dung, Paolo Mancarella	Production Systems with Negation as Failure.	IEEE Trans. Knowl. Data Eng.	2002	DBLP DOI BibTeX RDF	knowledge representation, knowledge-based systems, expert systems, rule-based systems, rule-based processing
75	Panos Rondogiannis, William W. Wadge	Minimum model semantics for logic programs with negation-as-failure.	ACM Trans. Comput. Log.	2005	DBLP DOI BibTeX RDF	infinite-valued logics, Logic programming, well-founded model, negation-as-failure
70	Juan José Moreno-Navarro, Susana Muñoz-Hernández	Soundness and Completeness of an "Efficient" Negation for Prolog.	JELIA	2004	DBLP DOI BibTeX RDF	Negation in Prolog, LP and nonmonotonic reasoning, Constructive Negation
66	Pablo R. Fillottrani, Guillermo Ricardo Simari	Representing Defaults and Negative Information Without Negation-as-Failure.	LPAR	2006	DBLP DOI BibTeX RDF
66	Seiki Akama	Three-Valued Constructive Logic and Logic Programs.	ISMVL	1995	DBLP DOI BibTeX RDF	three-valued constructive logic, three valued constructive logic, strong negation 3N, N completion, intuitive semantics, N completion semantics, computational complexity, semantics, logic programming, logic programs, ternary logic, model theory, strong negation, negation as failure
65	Davy Van Nieuwenborgh, Dirk Vermeir	Order and Negation as Failure.	ICLP	2003	DBLP DOI BibTeX RDF
48	Axel Polleres, Cristina Feier, Andreas Harth	Rules with Contextually Scoped Negation.	ESWC	2006	DBLP DOI BibTeX RDF
48	François Bry	Negation in Logic Programming: A Formalization in Constructive Logic.	IS/KI	1990	DBLP DOI BibTeX RDF
46	Robert F. Stärk	Total Correctness of Logic Programs: A Formal Approach.	ELP	1996	DBLP DOI BibTeX RDF	Formal methods in logic programming, verification of logic programs, pure Prolog, negation as failure
43	Francisco Javier López-Fraguas, Jaime Sánchez-Hernández	Narrowing Failure in Functional Logic Programming.	FLOPS	2002	DBLP DOI BibTeX RDF
41	Chitta Baral	Generalized Negation As Failure and Semantics of Normal Disjunctive Logic Programs.	LPAR	1992	DBLP DOI BibTeX RDF
41	Katsumi Inoue, Miyuki Koshimura, Ryuzo Hasegawa	Embedding Negation as Failure into a Model Generation Theorem Prover.	CADE	1992	DBLP DOI BibTeX RDF
37	Carlos Viegas Damásio, Anastasia Analyti, Grigoris Antoniou, Gerd Wagner 0001	Supporting Open and Closed World Reasoning on the Web.	PPSWR	2006	DBLP DOI BibTeX RDF
37	Sergio Flesca, Sergio Greco	Rewriting Queries Using Views.	IEEE Trans. Knowl. Data Eng.	2001	DBLP DOI BibTeX RDF
37	Alberto Momigliano	Elimination of Negation in a Logical Framework.	CSL	2000	DBLP DOI BibTeX RDF
37	Sergio Flesca, Sergio Greco	Rewriting Queries Using Views.	DEXA	1999	DBLP DOI BibTeX RDF
37	Yuichi Umeda, Hajime Sawamura	Towards an argument-based agent system.	KES	1999	DBLP DOI BibTeX RDF
37	François Fages, Roberta Gori	Analysis of Normal Logic Programs.	SAS	1998	DBLP DOI BibTeX RDF	logic programming, static analysis, interpretation, constructive negation
37	José Júlio Alferes, Luís Moniz Pereira	Contradiction: When Avoidance Equals Removal - Part I.	ELP	1993	DBLP DOI BibTeX RDF
37	A. W. Bollen	Counterfactuals, Cotenability and Consistency.	Australian Joint Conference on Artificial Intelligence	1988	DBLP DOI BibTeX RDF	counterfactuals, logic programming, conditionals, consistency maintenance
33	Francesco M. Donini, Daniele Nardi, Riccardo Rosati 0001	Description logics of minimal knowledge and negation as failure.	ACM Trans. Comput. Log.	2002	DBLP DOI BibTeX RDF	frame-based systems, nonmonotonic modal logics, tableau calculi, Description Logics
33	Paolo Mancarella, Dino Pedreschi, Salvatore Ruggieri	Negation as Failure through Abduction: Reasoning about Termination.	Computational Logic: Logic Programming and Beyond	2002	DBLP DOI BibTeX RDF
33	Philippe Balbiani	A Modal Semantics for the Negation as Failure and the Closed World Assumption Rules.	STACS	1991	DBLP DOI BibTeX RDF	logic programming with negation, modal logic, declarative semantics
28	Gianluigi Greco, Sergio Greco, Ester Zumpano	A Logical Framework for Querying and Repairing Inconsistent Databases.	IEEE Trans. Knowl. Data Eng.	2003	DBLP DOI BibTeX RDF	consistent queries, disjunctive databases, repair and prioritized constraints, Inconsistent database, database repairs
28	Sergio Greco, Ester Zumpano	Querying Inconsistent Databases.	LPAR	2000	DBLP DOI BibTeX RDF
28	Evgeny Dantsin	Probabilistic Logic Programs and their Semantics.	RCLP	1991	DBLP DOI BibTeX RDF
26	Allen Van Gelder, Kenneth A. Ross, John S. Schlipf	The Well-Founded Semantics for General Logic Programs.	J. ACM	1991	DBLP DOI BibTeX RDF	unfounded sets, three-valued logic, stable models, fixpoints, well-founded models, negation as failure
26	Jan A. Plaza	Completeness for Propositional Logic Programs with Negation.	ISMIS	1991	DBLP DOI BibTeX RDF	SLD-resolution, knowledge representation in logic, logic programming, declarative programming, constructive negation, rule-based expert systems, non-classical logics, negation as failure, soundness and completeness
26	Emmanuel Kounalis	Pumping Lemmas for Tree Languages Generated by Rewrite Systems.	MFCS	1990	DBLP DOI BibTeX RDF	Ground normal forms, Finiteness, Language representation, Compiling pattern-matching, Rewrite systems, Equations, Learning from examples, Finite models, Pumping Lemmas, Negation as failure, Proof by induction, Context-sensitive languages
24	Jie Wang, Chunnian Liu	Fuzzy Constraint Logic Programming with Answer Set Semantics.	KSEM	2007	DBLP DOI BibTeX RDF	Logic Program, Fuzzy Constraint, Answer Set Semantics
24	Susumu Yamasaki, Mariko Sasakura	An automated reasoning for diagnostic knowledge in a distributed environment.	ISICT	2003	DBLP DOI BibTeX RDF
24	Roberto Di Cosmo, Jean-Vincent Loddo, Stephane Nicolet	A Game Semantics Foundation for Logic Programming (Extended Abstract).	PLILP/ALP	1998	DBLP DOI BibTeX RDF
24	Antony Francis Bowers, Patricia M. Hill, Francisco Ibañez	Resolution for Logic Programming with Universal Quantifiers.	PLILP	1997	DBLP DOI BibTeX RDF	Universal quantifiers, specification, logic programming, programming languages, resolution, implication
24	Akihiro Yamamoto	Elementary Formal System as a Logic Programming Language.	LP	1989	DBLP DOI BibTeX RDF
21	Alexander V. Gheorghiu, David J. Pym	Negation-as-Failure in the Base-extension Semantics for Intuitionistic Propositional Logic.	CoRR	2022	DBLP DOI BibTeX RDF
21	Jianmin Ji	Discovering Classes of Strongly Equivalent Logic Programs with Negation as Failure in the Head.	KSEM	2015	DBLP DOI BibTeX RDF
21	Dov M. Gabbay	What Is Negation as Failure?	Logic Programs, Norms and Action	2012	DBLP DOI BibTeX RDF
21	Riccardo Rosati 0001	Reasoning about Minimal Belief and Negation as Failure	CoRR	2011	DBLP BibTeX RDF
21	Roberto Confalonieri 0001, Henri Prade, Juan Carlos Nieves	Handling Exceptions in Logic Programming without Negation as Failure.	ECSQARU	2011	DBLP DOI BibTeX RDF
21	Juan Carlos Nieves, Ignasi Gómez-Sebastià	Extension-Based Argumentation Semantics via Logic Programming Semantics with Negation as Failure.	LA-NMR	2009	DBLP BibTeX RDF
21	Peihong Ke, Ulrike Sattler	Next Steps for Description Logics of Minimal Knowledge and Negation as Failure.	Description Logics	2008	DBLP BibTeX RDF
21	Kazunori Iriya, Susumu Yamasaki	Negation as Failure through a Network.	IEICE Trans. Inf. Syst.	2004	DBLP BibTeX RDF
21	Riccardo Rosati 0001	Minimal Belief and Negation as Failure in Multi-Agent Systems.	Ann. Math. Artif. Intell.	2003	DBLP DOI BibTeX RDF
21	Panos Rondogiannis, William W. Wadge	Minimum Model Semantics for Logic Programs with Negation-as-Failure	CoRR	2003	DBLP BibTeX RDF
21	Giorgio Delzanno, Maurizio Martelli	An embedding of calculi for negation as failure into linear logic.	APPIA-GULP-PRODE	2001	DBLP BibTeX RDF
21	Grigoris Antoniou, Michael J. Maher, David Billington	Defeasible Logic versus Logic Programming without Negation as Failure.	J. Log. Program.	2000	DBLP DOI BibTeX RDF
21	David Poole 0001	Abducing through negation as failure: stable models within the independent choice logic.	J. Log. Program.	2000	DBLP DOI BibTeX RDF
21	Riccardo Rosati 0001	Minimal Belief and Negation as Failure in Multi-Agent System.	CL-2000 Workshop on Computational Logic in Multi-Agent Systems	2000	DBLP BibTeX RDF
21	Mauricio Osorio 0001, Bharat Jayaraman	Aggregation and Negation-As-Failure.	New Gener. Comput.	1999	DBLP DOI BibTeX RDF
21	Riccardo Rosati 0001	Reasoning about Minimal Belief and Negation as Failure.	J. Artif. Intell. Res.	1999	DBLP DOI BibTeX RDF
21	Fariba Sadri, Francesca Toni	Abduction with Negation as Failure for Active and Reactive Rules.	AI*IA	1999	DBLP DOI BibTeX RDF
21	Katsumi Inoue, Chiaki Sakama	Negation as Failure in the Head.	J. Log. Program.	1998	DBLP DOI BibTeX RDF
21	Laura Giordano 0001, Nicola Olivetti	Combining Negation as Failure and Embedded Implications in Logic Programs.	J. Log. Program.	1998	DBLP DOI BibTeX RDF
21	Vijay Chandru, Suman Roy 0001, Ramesh Subrahmanyam	Negation as Failure as Resolution.	Constraints An Int. J.	1998	DBLP DOI BibTeX RDF
21	Stefan Schrödl	Negation as failure in explanation-based generalization.		1998	RDF
21	Riccardo Rosati 0001	Embedding Minimal Knowledge into Negation as Failure.	ECAI	1998	DBLP BibTeX RDF
21	Vyacheslav Petukhin	Embedded Implications as a Generalization of Negation as Failure.	ICLP	1997	DBLP BibTeX RDF
21	Riccardo Rosati 0001	Reasoning with Minimal Belief and Negation as Failure: Algorithms and Complexity.	AAAI/IAAI	1997	DBLP BibTeX RDF
21	Laura Giordano 0001, Alberto Martelli, Maria Luisa Sapino	Extending Negation As Failure by Abduction: A Three-Valued Stable Model Semantics.	J. Log. Program.	1996	DBLP DOI BibTeX RDF
21	Riccardo Rosati 0001	On the Complexity of Reasoning with Negation as Failure.	DDLP	1996	DBLP BibTeX RDF
21	Phan Minh Dung, Paolo Mancarella	Production Systems Need Negation as Failure.	AAAI/IAAI, Vol. 2	1996	DBLP BibTeX RDF
21	Stefan Schrödl	Explanation-Based Generalization for Negation as Failure and Multiple Examples.	ECAI	1996	DBLP BibTeX RDF
21	Yannis Dimopoulos, Antonis C. Kakas	Logic Programming without Negation as Failure.	ILPS	1995	DBLP BibTeX RDF
21	Stefan Schrödl	An Extension of Explanation-Based Generalization to Negation as Failure.	KI	1995	DBLP DOI BibTeX RDF
21	Jianhua Chen 0003	Relating only knowing to minimal belief and negation as failure.	J. Exp. Theor. Artif. Intell.	1994	DBLP DOI BibTeX RDF
21	Phan Minh Dung, Ngo Huu Liem	Negation as Failure for Disjunctive Logic Programming.	Ann. Math. Artif. Intell.	1994	DBLP DOI BibTeX RDF
21	Vladimir Lifschitz	Minimal Belief and Negation as Failure.	Artif. Intell.	1994	DBLP DOI BibTeX RDF
21	Robert F. Stärk	Cut-Property and Negation as Failure.	Int. J. Found. Comput. Sci.	1994	DBLP DOI BibTeX RDF
21	Stefano Baratella	A Modal Approach to Negation as Failure Rule.	J. Log. Comput.	1994	DBLP DOI BibTeX RDF
21	Katsumi Inoue, Chiaki Sakama	On Positive Occurrences of Negation as Failure.	KR	1994	DBLP BibTeX RDF
21	Mauricio Osorio 0001, Bharat Jayaraman	Subset Assertions and Negation As Failure.	ILPS	1993	DBLP BibTeX RDF
21	Alberto Torres	Negation as Failure to Support.	LPNMR	1993	DBLP BibTeX RDF
21	Jianhua Chen 0003	Minimal Knowledge + Negation as Failure = Only Knowing (Sometimes).	LPNMR	1993	DBLP BibTeX RDF
21	Antje Beringer, Torsten Schaub	Minimal Belief and Negation as Failure: A Feasible Approach.	AAAI	1993	DBLP BibTeX RDF
21	Serenella Cerrito	A Linear Axiomatization of Negation as Failure.	J. Log. Program.	1992	DBLP DOI BibTeX RDF
21	Laura Giordano 0001, Nicola Olivetti	Negation as Failure in Intuitionistic Logic Programming.	JICSLP	1992	DBLP BibTeX RDF
21	Antonis C. Kakas	Default Reasoning via Negation as Failure.	ECAI Workshop on Knowledge Representation and Reasoning	1992	DBLP DOI BibTeX RDF
21	Alberto Torres	Is There a "Right" Semantics for Negation as Failure?	DAISD	1992	DBLP BibTeX RDF
21	Jan A. Plaza	Gentzen-style Characterizations of Negation as Failure.	AISMC	1992	DBLP DOI BibTeX RDF
21	Phan Minh Dung	Declarative Semantics of Hypothetical Logic Programming with Negation as Failure.	ELP	1992	DBLP DOI BibTeX RDF
21	Miroslaw Truszczynski	Modal nonmonotonic logic with restricted application of the negation as failure to prove rule.	Fundam. Informaticae	1991	DBLP BibTeX RDF
21	Philippe Balbiani	Modal Logic and Negation as Failure.	J. Log. Comput.	1991	DBLP DOI BibTeX RDF
21	Jacqueline Vauzeilles	Negation as failure and intuitionistic three-valued logic.	FAIR	1991	DBLP DOI BibTeX RDF
21	Hector Geffner	Beyond Negation as Failure.	KR	1991	DBLP BibTeX RDF
21	Laura Giordano 0001, Alberto Martelli, Maria Luisa Sapino	Negation as Failure and Constraints through Abduction and Defaults.	AI*IA	1991	DBLP DOI BibTeX RDF
21	Tok Wang Ling	The Prolog Not-Predicate and Negation as Failure Rule.	New Gener. Comput.	1990	DBLP DOI BibTeX RDF
21	Anthony J. Bonner, L. Thorne McCarty	Adding Negation-as-Failure to Intuitionistic Logic Programming.	NACLP	1990	DBLP BibTeX RDF
21	Miroslaw Truszczynski	Modal Nonmonotonic Logic with Restricted Application of the Negation as Failure to Prove Rule.	LPNMR	1990	DBLP BibTeX RDF
21	Philippe Balbiani	Non-monotonic Reasoning and Modal Logic, from Negation as Failure to Default Logic.	IPMU	1990	DBLP DOI BibTeX RDF
21	Allen Van Gelder	Negation as Failure using Tight Derivations for General Logic Programs.	J. Log. Program.	1989	DBLP DOI BibTeX RDF
21	Michael Gelfond, Halina Przymusinska, Teodor C. Przymusinski	On the Relationship Between Circumscription and Negation as Failure.	Artif. Intell.	1989	DBLP DOI BibTeX RDF
21	John C. Shepherdson	A Sound and Complete Semantics for a Version of Negation as Failure.	Theor. Comput. Sci.	1989	DBLP DOI BibTeX RDF
21	James Harland	A Kripke-like Model for Negation as Failure.	NACLP	1989	DBLP BibTeX RDF
21	Jan Maluszynski, Torbjörn Näslund	Fail Substitutions for Negation as Failure.	NACLP	1989	DBLP BibTeX RDF
21	Allen Van Gelder	Negation as Failure Using Tight Derivations for General Logic Programs.	Foundations of Deductive Databases and Logic Programming.	1988	DBLP DOI BibTeX RDF
21	Michael Gelfond, Halina Przymusinska, Teodor C. Przymusinski	Minimal Model Semantics vs. Negation as Failure: A Comparison of Semantics.	ISMIS	1988	DBLP BibTeX RDF
21	Albert Bruffaerts, Eric Henin	Negation as Failure: Proofs, Inference Rules and Meta-Interpreters.	META	1988	DBLP BibTeX RDF
21	A. Bruffaerts, E. Henin	Proof Trees for Negation as Failure: Yet Another Prolog Meta-Interpreter.	ICLP/SLP	1988	DBLP BibTeX RDF
21	Kenneth Kunen	Answer Sets and Negation-as-Failure.	ICLP	1987	DBLP BibTeX RDF
21	Tim Flannagan	The Consistency of Negation as Failure.	J. Log. Program.	1986	DBLP DOI BibTeX RDF