The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for phrase negation-as-failure (changed automatically) with no syntactic query expansion in all metadata.

Publication years (Num. hits)
1977-1987 (17) 1988-1989 (15) 1990-1991 (17) 1992-1993 (16) 1994-1996 (17) 1997-1999 (24) 2000-2002 (20) 2003-2004 (15) 2005-2008 (16) 2009-2022 (8)
Publication types (Num. hits)
article(42) incollection(1) inproceedings(121) phdthesis(1)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 84 occurrences of 63 keywords

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