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 |
|