MetaCart Sign in to MyCiteSeerX

Include Citations | Advanced Search | Help

Disambiguated Search | Include Citations | Advanced Search | Help

Searching for "Decidable Reasoning in Terminological Knowledge Representation Systems." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB
Help! 7 documents found, showing 1 through 7.
ATOM RSS
  • Implementing and Testing Expressive Description Logics: a Preliminary Report  
  • by Baader Et Al, B Franz Baader, Sergio Tessaris, Bernhard Hollunder Cardinality, Bresciani Et Al, Paolo Bresciani, Enrico Franconi, Sergio Tessaris Implementing, Francesco M. Donini, Andrea Schaerf, Buchheit Et Al, Buchheit Et Al, Martin Buchheit, Martin Buchheit, Martin Buchheit, Manfred A. Jeusfeld, Werner Nutt
  • …, Francesco M. Donini, and Andrea Schaerf. Decidable reasoning in terminological knowledge representation…
  • Add To MetaCart
  • Augmenting Concept Languages by Transitive Closure of Roles: An Alternative to Terminological  
  • 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
  • … in Terminological Knowledge Representation Systems 35 pages RR-93-11 Bernhard Nebel, Hans-Juergen Buerckert…
  • Cited by 106 (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
  • …, Francesco M. Donini, Andrea Schae' Decidable Reasoning in Terminological Knowledge Representation Systems 35…
  • Add To MetaCart
  • PartWhole Relations in ObjectCentered Systems An Overview  
  • by Data Knowledge Engineering, Robert Wilensky Some Problems, R. Wirfs�brock B. Wilkerson, William A. Woods, H. J. Levesque, R. Reiter, Proc International Conference
  • …� and Andrea Schaerf. Decidable reasoning in terminological knowledge representation systems. In Proc…
  • Add To MetaCart
Help! Showing 1 through 7.
ATOM RSS
Try your query at: Scholar | Yahoo! | Ask | MS Live | CSB