researchr
explore
Tags
Journals
Conferences
Authors
Profiles
Groups
calendar
New Conferences
Events
Deadlines
search
search
You are not signed in
Sign in
Sign up
External Links
Journal: Annals of Mathematics and Artificial Intelligence
Home
Index
Info
Issue
Volume
12
, Issue
1-2
1
--
24
Jack Minker
.
Overview of Disjunctive Logic Programming
25
--
52
Phan Minh Dung
,
Ngo Huu Liem
.
Negation as Failure for Disjunctive Logic Programming
53
--
87
Rachel Ben-Eliyahu
,
Rina Dechter
.
Propositional Semantics for Disjunctive Logic Programs
89
--
116
Michael Gelfond
.
Logic Programming and Reasoning with Incomplete Information
117
--
140
Bruce Spencer
.
Avoiding Duplicate Proofs with the Foothold Refinement