Searching for "A New Logical framework for Deductive Planning." – sorted by Relevance.

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

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

3 documents found, showing 1 through 3.

A New Logical Framework for Deductive Planning
by Werner Stephan, Susanne Biundo — 1993 — In Proceedings of the 13th International Joint Conference on Artificial Intelligence (IJCAI-93
…A New Logical Framework for Deductive Planning Werner Stephan and Susanne Biundo German…
Cited by 21 (4 self) – Add To MetaCart

Augmenting Concept Languages by Transitive Closure of Roles: An Alternative to Terminological Cycles
by Franz Baader, Michael Hefert, Parsen Generieren, Jirgen Miller, Donald Steiner (hrsg, Kooperierende Agenten, Martin Buchheit, Klassische Kommunikations, Enno Tolzmann, Martin Harm, Knut Hinkelmann, Thomas Labisch, Klaus-peter Gores, Rainer Bleisinger, Ein Modell, Thom Frihwirth Terminglogical, Stephan Busemann — 1990
… Stephan, Susanne Biundo: A New Logical Framework for Deductive Planning 15 pages RR-92-54 HaroldBoley: A…
Cited by 107 (21 self) – Add To MetaCart

A Resolution Priciple for Clauses with Constraints
by Hans-Jürgen Bürckert, Michael Hefert, Parsen Generieren, Jirgen Miller, Donald Steiner (hrsg, Kooperierende Agenten, Martin Buchheit, Klassische Kommunikations, Enno Tolzmann, Martin Harm, Knut Hinkelmann, Thomas Labisch, Klaus-peter Gores, Rainer Bleisinger, Ein Modell, Thom Frihwirth Terminological, Stephan Busemann — 1990
… pages RR-92-53 Werner Stephan, Susanne Biundo: A New Logical Framework for Deductive Planning 15 pages…
Add To MetaCart

Showing 1 through 3.

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