MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "Logic Programs with Classical Negation." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

40 documents found, showing 1 through 10. Next 10 →

ATOM

From Disjunctive Programs to Abduction
by Vladimir Lifschitz, Hudson Turner — 1994 — In preparation
… in logic programming. Classical negation and epistemic disjunction are used in the first…
Cited by 10 (1 self) – Add To MetaCart

From Causal Theories to Logic Programs (Sometimes)
by Fangzhen Lin And, Fangzhen Lin, Kewen Wang — 1999 — In Proc. 5th LPNMR. El Paso
… in (Lin [3]) to Gelfond and Lifschitz's disjunctive logic programs with classical negation [1]. We found…
Add To MetaCart

Logic Programming and Reasoning with Incomplete Information
by Michael Gelfond — 1994 — Annals of Mathematics and Artificial Intelligence
… extensions. The language of logic programs with classical negation, epistemic disjunction, and negation…
Cited by 32 (4 self) – Add To MetaCart

and Evolutionary Programming
by Lus Brito Carla, Carla Vilela, Jos Neves — 2001 — Programming, Proc. European Simulation Multiconference (ESM2001
… to the language of definite logic programs by classical negation, disjunction, meta-reasoning and reasoning…
Add To MetaCart

Extended Logic Programs as Autoepistemic Theories
by Vladimir Lifschitz, Grigori Schwarz — 1993 — In Proceedings of the Second Int'l Workshop on Logic Programming and Nonmonotonic Reasoning
… extended this work to programs with classical negation, they used default logic, because it was not clear…
Cited by 29 (1 self) – Add To MetaCart

Reflexive Autoepistemic Logic and Logic
by V. Wiktor Marek — 1993 — Programming, in L M Pereira & A Nerode (eds), Logic Programming and Non-Monotonic Reasoning
… modal formalism for studying properties of answer sets for logic programs with classical negation…
Cited by 1 (0 self) – Add To MetaCart

nlp: A Compiler for Nested Logic Programming
by Vladimir Sarsakov, Torsten Schaub, Hans Tompits, Stefan Woltran — 2004 — in Proceedings of LPNMR 2004
… models semantics [1] for handling logic programs with classical negation. An excellent introduction…
Cited by 4 (1 self) – Add To MetaCart

An abductive framework for general logic programs and other nonmonotonic systems
by Gerhard Brewka, Kurt Konolige — 1993 — In Proc. IJCAI '93
… the expressiveness of normal logic programs by, among other things, adding classical negation and "epistemic…
Cited by 11 (0 self) – Add To MetaCart

From causal theories to logic programs (sometimes
by Fangzhen Lin, Kewen Wang — 1999 — In Proc. 5th LPNMR. El Paso
… in (Lin [3]) to Gelfond and Lifschitz's disjunctive logic programs with classical negation [1]. We found…
Cited by 3 (1 self) – Add To MetaCart

Characterizations of the Disjunctive Stable. . .
by Stefan Brass, Hy Yong Hu, Li Yan, Yuan Extended, Well-founded Model Semantics, Pages Morgan Kaufmann, Bdp Stefan Brass, Jürgen Dix — 1997
….] Michael Gelfond and Vladimir Lifschitz. Classical Negation in Logic Programs and Disjunctive Databases…
Add To MetaCart

Showing 1 through 10. Next 10 →

ATOM

Try your query at: Scholar | Yahoo! | Ask | MS Live | CSB