Generalized negation as failure and semantics of normal disjunctive logic programs

Logic Programming and Automated Reasoning - Lecture Notes in Computer Science ◽

10.1007/bfb0013071 ◽

2005 ◽

pp. 309-319 ◽

Cited By ~ 2

Author(s):

Chitta Baral

Keyword(s):

Logic Programs ◽

Negation As Failure ◽

Disjunctive Logic Programs

An abductive semantics for disjunctive logic programs and its proof procedure

Lecture Notes in Computer Science - Foundations of Software Technology and Theoretical Computer Science ◽

10.1007/bfb0058028 ◽

1997 ◽

pp. 138-152

Author(s):

Jia -Huai You ◽

Li Yan Yuan ◽

Randy Goebel

Keyword(s):

Logic Programs ◽

Disjunctive Logic Programs ◽

Proof Procedure

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 ◽

Cited By ~ 10

Author(s):

Laura Giordano ◽

Nicola Olivetti

Keyword(s):

Logic Programs ◽

Negation As Failure

Samantics of normal and disjunctive logic programs a unifying framework

Non-Monotonic Extensions of Logic Programming - Lecture Notes in Computer Science ◽

10.1007/bfb0030659 ◽

1995 ◽

pp. 43-67 ◽

Cited By ~ 2

Author(s):

Teodor C. Przymusinski

Keyword(s):

Logic Programs ◽

Disjunctive Logic Programs

Causal Models of Disjunctive Logic Programs

Logic Programming ◽

10.7551/mitpress/4316.003.0034 ◽

1994 ◽

Keyword(s):

Causal Models ◽

Logic Programs ◽

Disjunctive Logic Programs

Relating Disjunctive Logic Programs to Default Theories

Logic Programming and Non-Monotonic Reasoning ◽

10.7551/mitpress/4307.003.0023 ◽

1993 ◽

Keyword(s):

Logic Programs ◽

Disjunctive Logic Programs

Disjunctive Logic Programs with Inheritance

Logic Programming ◽

10.7551/mitpress/4304.003.0014 ◽

1999 ◽

Keyword(s):

Logic Programs ◽

Disjunctive Logic Programs

Abduction, argumentation and bi-disjunctive logic programs

Logic Programming and Knowledge Representation - Lecture Notes in Computer Science ◽

10.1007/bfb0054794 ◽

1998 ◽

pp. 139-163 ◽

Cited By ~ 1

Author(s):

Kewen Wang ◽

Huowang Chen

Keyword(s):

Logic Programs ◽

Disjunctive Logic Programs

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 ◽

Cited By ~ 59

Author(s):

Allen Van Gelder

Keyword(s):

Logic Programs ◽

Negation As Failure ◽

General Logic

Fixpoint Characterizations for Many-Valued Disjunctive Logic Programs with Probabilistic Semantics

Logic Programming and Nonmotonic Reasoning - Lecture Notes in Computer Science ◽

10.1007/3-540-45402-0_25 ◽

2001 ◽

pp. 336-350 ◽

Cited By ~ 4

Author(s):

Thomas Lukasiewics

Keyword(s):

Logic Programs ◽

Probabilistic Semantics ◽

Disjunctive Logic Programs

On extended disjunctive logic programs

Lecture Notes in Computer Science - Methodologies for Intelligent Systems ◽

10.1007/3-540-56804-2_1 ◽

1993 ◽

pp. 1-18 ◽

Cited By ~ 8

Author(s):

Jack Minker ◽

Carolina Ruiz

Keyword(s):

Logic Programs ◽

Disjunctive Logic Programs