Searching for "On Skolemization in Constrained Logics." – 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.

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
…-Jiirgen Biirckert, Bernhard Hollunder, Attain Laux: On Skolemization in Constrained Logics 40 pages RR-93-07 Hans…
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
… RR-93-06 Hans-Jiirgen Biirckert, Bernhard Hollunder, Attain Laux: On Skolemization in Constrained…
Add To MetaCart

Showing 1 through 2.

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