- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISBN
-
9783898383240
9781586039837
- Maße
-
21 cm
- Umfang
-
X, 283 S.
- Sprache
-
Englisch
- Anmerkungen
-
graph. Darst.
Zugl.: Koblenz, Landau (Pfalz), Univ., Diss., 2008
- Erschienen in
-
Dissertationen zur künstlichen Intelligenz ; Vol. 324
- Schlagwort
-
Automatisches Beweisverfahren
Quantorenelimination
Logische Programmierung
Wissensrepräsentation
- Ereignis
-
Veröffentlichung
- (wo)
-
Heidelberg, [Amsterdam]
- (wer)
-
AKA, IOS Press
- (wann)
-
2009
- Urheber
-
Wernhard, Christoph
- Inhaltsverzeichnis
- Rechteinformation
-
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
- Letzte Aktualisierung
-
11.06.2025, 14:14 MESZ
Datenpartner
Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Objekttyp
- Hochschulschrift
Beteiligte
- Wernhard, Christoph
- AKA, IOS Press
Entstanden
- 2009
Ähnliche Objekte (12)
From people to entities: new semantic search paradigms for the web
Knowledge acquisition from a collaboratively generated encyclopedia
A method for reusing and re-engineering non-ontological resources for building ontologies
Application of semantic technology in biodiversity science
Formal concept analysis and tag recommendations in collaborative tagging systems
Federated query processing for the semantic web
Spatial and temporal resolution of sensor observations
Semantic search for novel information
Ontologie-basierte Informationsextraktion zum Aufbau einer Wissensbasis für Dokumentgetriebene Workflows
Semantic matchmaking with nonmonotonic description logics
Services for connecting and integrating big numbers of linked datasets
Acquisition and understanding of process knowledge using problem solving methods
From people to entities: new semantic search paradigms for the web
Knowledge acquisition from a collaboratively generated encyclopedia
A method for reusing and re-engineering non-ontological resources for building ontologies
Application of semantic technology in biodiversity science
Formal concept analysis and tag recommendations in collaborative tagging systems
Federated query processing for the semantic web
Spatial and temporal resolution of sensor observations
Semantic search for novel information
Ontologie-basierte Informationsextraktion zum Aufbau einer Wissensbasis für Dokumentgetriebene Workflows
Semantic matchmaking with nonmonotonic description logics
Services for connecting and integrating big numbers of linked datasets
Acquisition and understanding of process knowledge using problem solving methods
From people to entities: new semantic search paradigms for the web
Knowledge acquisition from a collaboratively generated encyclopedia
A method for reusing and re-engineering non-ontological resources for building ontologies
Application of semantic technology in biodiversity science
Formal concept analysis and tag recommendations in collaborative tagging systems
Federated query processing for the semantic web
Spatial and temporal resolution of sensor observations
Semantic search for novel information
Ontologie-basierte Informationsextraktion zum Aufbau einer Wissensbasis für Dokumentgetriebene Workflows
Semantic matchmaking with nonmonotonic description logics
Services for connecting and integrating big numbers of linked datasets