Verification of medical guidelines using task execution with background knowledge
- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Umfang
-
Online-Ressource
- Sprache
-
Englisch
- Anmerkungen
-
In: 17th European Conference on Artificial Intelligence (ECAI), August 29 - September 1, 2006, Riva del Garda, Italy, S. 835-836
- Erschienen in
-
Frontiers in Artificial Intelligence and Applications ; 141
- Ereignis
-
Veröffentlichung
- (wo)
-
Augsburg
- (wer)
-
Universität Augsburg
- (wann)
-
2006
- Ereignis
-
Veröffentlichung
- (wo)
-
Amsterdam
- (wer)
-
IOS Press
- (wann)
-
2006
- Urheber
- Beteiligte Personen und Organisationen
-
Brewka, Gerhard
Coradeschi, Silvia
Perini, Anna
Traverso, Paolo
- URN
-
urn:nbn:de:bvb:384-opus4-1157650
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
25.03.2025, 13:48 MEZ
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.
Beteiligte
- Hommersom, Arjen
- Groot, Perry
- Lucas, Peter
- Balser, Michael
- Schmit, Jonathan
- Brewka, Gerhard
- Coradeschi, Silvia
- Perini, Anna
- Traverso, Paolo
- Universität Augsburg
- IOS Press
Entstanden
- 2006
Ähnliche Objekte (12)
Engineering background knowledge for social robots
Pervasive verification of distributed real-time systems
The Origin and the Evolution of Firms: Information as a Driving Force
International journal of artificial intelligence in education : IJAIED ; the official journal of the International Artificial Intelligence in Education Society
Open science practices in higher education. Discussion of survey results from research and teaching staff in Germany. [Preprint]
Shaping emerging technologies : governance, innovation, discourse
The GeoMap representation : on topologically correct sub-pixel image analysis
Version management in federated database systems
Model-based transformations for quantified boolean formulas
Semantic matchmaking with nonmonotonic description logics
Symbol grounding as the generation of mental representations
From logic programming to human reasoning: how to be artificially human
Engineering background knowledge for social robots
Pervasive verification of distributed real-time systems
The Origin and the Evolution of Firms: Information as a Driving Force
International journal of artificial intelligence in education : IJAIED ; the official journal of the International Artificial Intelligence in Education Society
Open science practices in higher education. Discussion of survey results from research and teaching staff in Germany. [Preprint]
Shaping emerging technologies : governance, innovation, discourse
The GeoMap representation : on topologically correct sub-pixel image analysis
Version management in federated database systems
Model-based transformations for quantified boolean formulas
Semantic matchmaking with nonmonotonic description logics
Symbol grounding as the generation of mental representations
From logic programming to human reasoning: how to be artificially human
Engineering background knowledge for social robots
Pervasive verification of distributed real-time systems
The Origin and the Evolution of Firms: Information as a Driving Force
International journal of artificial intelligence in education : IJAIED ; the official journal of the International Artificial Intelligence in Education Society
Open science practices in higher education. Discussion of survey results from research and teaching staff in Germany. [Preprint]
Shaping emerging technologies : governance, innovation, discourse
The GeoMap representation : on topologically correct sub-pixel image analysis
Version management in federated database systems
Model-based transformations for quantified boolean formulas
Semantic matchmaking with nonmonotonic description logics
Symbol grounding as the generation of mental representations