MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "Using the dlv System for Planning and Diagnostic Reasoning." – sorted by Relevance.

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

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

2 documents found, showing 1 through 2.

ATOM

Using the dlv System for Planning and Diagnostic Reasoning
by Thomas Eiter, Wolfgang Faber, Nicola Leone, Gerald Pfeifer, Axel Polleres — 2000 — Proceedings of the 14th Workshop on Logic Programming (WLP'99
…Using the dlv System for Planning and Diagnostic Reasoning Thomas Eiter Wolfgang Faber y Nicola…
Cited by 1 (1 self) – Add To MetaCart

Publication List 2000
by DbAI Group TU-Wien, Complexity Results Eigenvector, Yuri Gurevich, Georg Gottlob Existential Second-order, Thomas Eiter, Thomas Eiter, Thomas Eiter, On Complexity, Theory Curbing, Georg Gottlob, Georg Gottlob, Georg Gottlob, Nicola Leone, Nicola Leone, Simona Perri, Paola Mello — 2000
… the dlv system for planning and diagnostic reasoning. In Francois Bry, Ulrich Geske, and Dietmar Seipel…
Add To MetaCart

Showing 1 through 2.

ATOM

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