Extending the Semantics of Logic Programs to Disjunctive Logic Programs - researchr publication related

researchr

You are not signed in
Sign in
Sign up

Jorge Lobo, Jack Minker, Arcot Rajasekar. Extending the Semantics of Logic Programs to Disjunctive Logic Programs. In ICLP. pages 255-267, 1989.

The following publications are possibly variants of this publication:

A Fixpoint Semantics for Disjunctive Logic ProgramsJack Minker, Arcot Rajasekar. jlp, 9(1):45-74, 1990.

Semantics of Horn and Disjunctive Logic ProgramsJorge Lobo, Arcot Rajasekar, Jack Minker. TCS, 86(1):93-106, 1991.

Semantics for Disjunctive Logic Programs with Explicit and Default NegationJack Minker, Carolina Ruiz. FUIN, 20(1/2/3):145-192, 1994.

runs on WebDSL