MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "On Extended Disjunctive Logic Programs." – sorted by Relevance.

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

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

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

ATOM

On Extended Disjunctive Logic Programs
by Jack Minker, Carolina Ruiz — 1994
… On Extended Disjunctive Logic Programs Jack Minker minker@(email omitted); \Lambda Carolina Ruiz…
Cited by 171 (18 self) – Add To MetaCart

Extending Disjunctive Logic Programming by T-norms
by Cristinel Mateis — 1999 — In Proceedings of the 5th International Conference on Logic Programming and Nonmonotonic Reasoning, volume 1730 of LNAI
…Extending Disjunctive Logic Programming by T -norms ? Cristinel Mateis Information Systems…
Cited by 6 (0 self) – Add To MetaCart

Computing Stable and Partial Stable Models of Extended Disjunctive Logic Programs
by Carolina Ruiz, Jack Minker — 1995 — Lecture Notes in Computer Science
…Computing Stable and Partial Stable Models of Extended Disjunctive Logic Programs Carolina Ruiz…
Cited by 11 (3 self) – Add To MetaCart

Solving the Steamroller, and Other Puzzles, with Extended Disjunctive Logic Programming
by Gerd Wagner — 1994 — Proc. of the ICLP-94 Workshop on Non-Monotonic Extensions of Logic Programming, S. Margherita Ligure
…Solving the Steamroller, and Other Puzzles, with Extended Disjunctive Logic Programming Gerd…
Cited by 1 (0 self) – Add To MetaCart

Semantics for Disjunctive Logic Programs with Explicit and Default Negation
by Jack Minker, Carolina Ruiz — 1994 — Fundamenta Informaticae
… that contain both explicit negation and negationby -default, called extended disjunctive logic programs…
Cited by 8 (2 self) – Add To MetaCart

Integrating Ontology Languages and Answer Set Programming
by S. Heymans, D. Vermeir — 2003 — In Proc. of WebS’03
… disjunctive logic program (DLP) is a finite set of rules «�¬where«and¬are finite sets of extended literals. We…
Cited by 8 (2 self) – Add To MetaCart

Integrating Ontology Languages and Answer Set Programming
by Heymans Vermeir Dept, S. Heymans, D. Vermeir — 2003 — In Proc. of WebS’03
… languages and logic programming (LP) by extending disjunctive logic programs (DLPs) and their semantics…
Add To MetaCart

A Declarative Characterisation of Disjunctive
by Paraconsistent Answer Sets, João Alcântara, Carlos Viegas Damásio, Luís Moniz Pereira — 2004 — In 16th European Conference on Artificial Intelligence
… proposal not only captures paraconsistent answer sets for extended disjunctive logic programs, but also…
Add To MetaCart

Default Reasoning over Domains and Concept Hierarchies
by Pascal Hitzler — In: Proceedings of the 27th German conference on Artificial Intelligence, KI’2004
… on hierarchical knowledge which encompasses answer set programming with extended disjunctive logic programs. We…
Cited by 6 (4 self) – Add To MetaCart

Propositional Semantics for Disjunctive Logic Programs
by Rachel Ben-eliyahu, Rina Dechter — 1994 — Annals of Mathematics and Artificial Intelligence
… (albeit a large one) of head-cycle-free extended disjunctive logic programs (HEDLPs). Note that this class…
Cited by 122 (3 self) – Add To MetaCart

Showing 1 through 10. Next 10 →

ATOM

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