MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "Disjunctive Datalog." – sorted by Relevance.

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

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

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

ATOM

Disjunctive Datalog
by Thomas Eiter, Georg Gottlob, Heikki Mannila — 1997 — ACM Transactions on Database Systems
…Disjunctive Datalog THOMAS EITER University of Giessen GEORG GOTTLOB Technical University…
Cited by 141 (45 self) – Add To MetaCart

Description logics and disjunctive datalog the story so far
by Ullrich Hustadt, Boris Motik, Forschungszentrum Informatik — 2005 — Proc. International Workshop on Description Logics
…Description Logics and Disjunctive Datalog — The Story so Far Ullrich Hustadt University…
Cited by 4 (0 self) – Add To MetaCart

Reasoning in Description Logics by a Reduction to Disjunctive Datalog
by Ullrich Hustadt, Boris Motik, Ulrike Sattler
…Reasoning in Description Logics by a Reduction to Disjunctive Datalog Ullrich Hustadt Department…
Cited by 1 (0 self) – Add To MetaCart

Reducing SHIQ − Description Logic to Disjunctive Datalog Programs
by Ullrich Hustadt — 2004
…Reducing SHIQ − Description Logic to Disjunctive Datalog Programs Ullrich Hustadt Department…
Cited by 93 (16 self) – Add To MetaCart

Enhancing the Magic-Set Method for Disjunctive Datalog Programs
by Chiara Cumbo, Wolfgang Faber, Gianluigi Greco, Nicola Leone — 2004 — In Proc. 20th International Conference on Logic Programming (ICLP 04), Springer LNCS 3132
…Enhancing the Magic-Set Method for Disjunctive Datalog Programs Chiara Cumbo 1 , Wolfgang Faber 2…
Cited by 19 (4 self) – Add To MetaCart

DL+log: Tight integration of description logics and disjunctive datalog
by Riccardo Rosati — 2006 — In KR2006
…DL+log: Tight Integration of Description Logics and Disjunctive Datalog Riccardo Rosati…
Cited by 39 (5 self) – Add To MetaCart

Description Logic Reasoning with Decision Diagrams CompilingSHIQ to Disjunctive Datalog
by Sebastian Rudolph, Markus Krötzsch, Pascal Hitzler
…Description Logic Reasoning with Decision Diagrams CompilingSHIQ to Disjunctive Datalog Sebastian…
Add To MetaCart

A Fixpoint Approach to State Generation for Stratifiable Disjunctive Deductive Databases
by Andreas Behrend — 2006 — Institut fr Informatik III, Universitt
… disjunctive Datalog rules. In contrast to already existing model generation methods our approach results in a…
Cited by 1 (1 self) – Add To MetaCart

On the Partial Semantics for Disjunctive Deductive Databases
by Thomas Eiter, Nicola Leone, Domenico Sacca — 1997
…. In this paper, a characterization of partial stable models for disjunctive datalog programs is given using a…
Cited by 16 (4 self) – Add To MetaCart

Representing School Timetabling in a Disjunctive
by Logic Programming Language, Wolfgang Faber, Nicola Leone, Gerald Pfeifer
… be represented in a highly declarative and natural way, using an extension of disjunctive datalog by strong…
Add To MetaCart

Showing 1 through 10. Next 10 →

ATOM

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