What Is Negation as Failure?

Logic Programs, Norms and Action - Lecture Notes in Computer Science ◽

10.1007/978-3-642-29414-3_5 ◽

2012 ◽

pp. 52-78 ◽

Author(s):

Dov M. Gabbay

Keyword(s):

Negation As Failure

Download Full-text

Combining negation as failure and embedded implications in logic programs

The Journal of Logic Programming ◽

10.1016/s0743-1066(97)10014-0 ◽

1998 ◽

Vol 36 (2) ◽

pp. 91-147 ◽

Author(s):

Laura Giordano ◽

Nicola Olivetti

Keyword(s):

Logic Programs ◽

Negation As Failure

Download Full-text

Belnap’s Epistemic States and Negation-as-Failure

Negation ◽

10.1515/9783110876802.233 ◽

2012 ◽

Author(s):

GERD WAGNER

Keyword(s):

Negation As Failure ◽

Epistemic States

Download Full-text

Defeasible logic versus Logic Programming without Negation as Failure

The Journal of Logic Programming ◽

10.1016/s0743-1066(99)00060-6 ◽

2000 ◽

Vol 42 (1) ◽

pp. 47-57 ◽

Author(s):

G. Antoniou ◽

M.J. Maher ◽

D. Billington

Keyword(s):

Logic Programming ◽

Defeasible Logic ◽

Negation As Failure

Download Full-text

Negation as failure for disjunctive logic programming

Annals of Mathematics and Artificial Intelligence ◽

10.1007/bf01530760 ◽

1994 ◽

Vol 12 (1-2) ◽

pp. 25-51 ◽

Author(s):

Phan Minh Dung ◽

Ngo Huu Liem

Keyword(s):

Logic Programming ◽

Negation As Failure

Download Full-text

Embedded Implications as a Generalization of Negation as Failure

Logic Programming ◽

10.7551/mitpress/4299.003.0046 ◽

1997 ◽

Keyword(s):

Negation As Failure

Download Full-text

Negation as Failure Using Tight Derivations for General Logic Programs

Foundations of Deductive Databases and Logic Programming ◽

10.1016/b978-0-934613-40-8.50007-5 ◽

1988 ◽

pp. 149-176 ◽

Author(s):

Allen Van Gelder

Keyword(s):

Logic Programs ◽

Negation As Failure ◽

Download Full-text

Default reasoning via negation as failure

Foundations of Knowledge Representation and Reasoning - Lecture Notes in Computer Science ◽

10.1007/3-540-58107-3_10 ◽

1994 ◽

pp. 160-178 ◽

Author(s):

A. C. Kakas

Keyword(s):

Default Reasoning ◽

Negation As Failure

Download Full-text

Gentzen-style characterizations of Negation as Failure

Artificial Intelligence and Symbolic Mathematical Computing - Lecture Notes in Computer Science ◽

10.1007/3-540-57322-4_17 ◽

1993 ◽

pp. 237-261

Author(s):

Jan A. Plaza

Keyword(s):

Negation As Failure

Download Full-text

Negation as failure and intuitionistic three-valued logic

Fundamentals of Artificial Intelligence Research - Lecture Notes in Computer Science ◽

10.1007/3-540-54507-7_19 ◽

1991 ◽

pp. 227-241 ◽

Author(s):

Jacqueline Vauzeilles

Keyword(s):

Negation As Failure

Download Full-text

Negation as Failure through Abduction: Reasoning about Termination

Computational Logic: Logic Programming and Beyond - Lecture Notes in Computer Science ◽

10.1007/3-540-45628-7_11 ◽

2002 ◽

pp. 240-272 ◽

Author(s):

Paolo Mancarella ◽

Dino Pedreschi ◽

Salvatore Ruggieri

Keyword(s):

Negation As Failure

Download Full-text