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

Download Full-text

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

Download Full-text

Causal Models of Disjunctive Logic Programs

Logic Programming ◽

10.7551/mitpress/4316.003.0034 ◽

1994 ◽

Keyword(s):

Causal Models ◽

Logic Programs ◽

Disjunctive Logic Programs

Download Full-text

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

Download Full-text

Disjunctive Logic Programs with Inheritance

Logic Programming ◽

10.7551/mitpress/4304.003.0014 ◽

1999 ◽

Keyword(s):

Logic Programs ◽

Disjunctive Logic Programs

Download Full-text

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

Download Full-text

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

Download Full-text

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

Download Full-text

A Comparative Study of Well-Founded Semantics for Disjunctive Logic Programs

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

10.1007/3-540-45402-0_10 ◽

2001 ◽

pp. 133-146

Author(s):

Kewen Wang

Keyword(s):

Comparative Study ◽

Logic Programs ◽

Disjunctive Logic Programs

Download Full-text

Disjunctive Logic Programs with Inheritance Revisited

Lecture Notes in Computer Science - Foundations of Intelligent Systems ◽

10.1007/3-540-48050-1_33 ◽

2002 ◽

pp. 294-302

Author(s):

Stefania Costantini ◽

Ramón P. Otero ◽

Alessandro Provetti ◽

Tran C. Son

Keyword(s):

Logic Programs ◽

Disjunctive Logic Programs

Download Full-text

A Tabulation Proof Procedure for First-order Residuated Logic Programs: Soundness, Completeness and Optimizations

2006 IEEE International Conference on Fuzzy Systems ◽

10.1109/fuzzy.2006.1681978 ◽

2006 ◽

Cited By ~ 7

Author(s):

C.V. Damasio ◽

J. Medina ◽

M. Ojeda-Aciego

Keyword(s):

Logic Programs ◽

First Order ◽

Proof Procedure

Download Full-text