Format:
IX, 129 S. :
,
graph. Darst.
ISBN:
3-540-57697-5
,
0-387-57697-5
Series Statement:
Lecture notes in computer science 770.: Lecture notes in artificial intelligence.
Note:
Teilw. zugl.: Urbana, Ill., Univ., Diss., 1991
Language:
English
Subjects:
Computer Science
Keywords:
Planung
;
Logischer Schluss
;
Wissensrepräsentation
;
Automatische Handlungsplanung
;
Unsicherheit
;
Prädikatenlogik
;
Stufe 1
;
Hochschulschrift
;
Hochschulschrift