Suche mittels Attribut

Diese Seite stellt eine einfache Suchoberfläche zum Finden von Objekten bereit, die ein Attribut mit einem bestimmten Datenwert enthalten. Andere verfügbare Suchoberflächen sind die Attributsuche sowie der Abfragengenerator.

Liste der Ergebnisse

• Exploiting Pseudo Models for TBox and ABox Reasoning in Expressive Description Logics  + (Proceedings of the International Joint Conference on Automated Reasoning IJCAR'01)
• The Inverse Method Implements the Automata Approach for Modal Satisfiability  + (Proceedings of the International Joint Conference on Automated Reasoning IJCAR'01)

• Exploiting Pseudo Models for TBox and ABox Reasoning in Expressive Description Logics  +
• The Inverse Method Implements the Automata Approach for Modal Satisfiability  +