語系
Eiter, Thomas.
概要
作品: | 1 作品在 2 項出版品 1 種語言 |
---|
書目資訊
Advances in knowledge representation, logic programming, and abstract argumentation = essays dedicated to Gerhard Brewka on the occasion of his 60th birthday /
by:
Eiter, Thomas.; SpringerLink (Online service)
(書目-電子資源)
Reasoning web = semantic technologies for advanced query answering : 8th International Summer School 2012, Vienna, Austria, September 3-8, 2012 : proceedings /
by:
Eiter, Thomas.; SpringerLink (Online service); Krennwallner, Thomas.
(書目-電子資源)
Database Theory - ICDT 2005 = 10th International Conference, Edinburgh, UK, January 5-7, 2005. Proceedings /
by:
Eiter, Thomas.; Libkin, Leonid.; SpringerLink (Online service); International Conference on Database Theory (2005 :)
(書目-語言資料,印刷品)
Logic programming and nonmonotonic reasoning = 6th international conference, LPNMR 2001, Vienna, Austria, September 17-19, 2001 : proceedings /
by:
LPNMR 2001 ((2001 :); Eiter, Thomas.; Faber, Wolfgang.; Truszczynski, Miroslaw.; SpringerLink (Online service)
(書目-電子資源)
Foundations of information and knowledge systems = second international symposium, FoIKS 2002, Salzau Castle, Germany, February 20-23, 2002 : proceedings /
by:
Eiter, Thomas.; Schewe, Klaus-Dieter.; SpringerLink (Online service); FoIKS 2002 ((2002 :)
(書目-語言資料,印刷品)
KI 2001 = advances in artificial intelligence : Joint German/Austrian Conference on AI, Vienna, Austria, September 19-21, 2001 : proceedings /
by:
Baader, Franz.; Brewka, Gerhard.; Eiter, Thomas.; SpringerLink (Online service); Joint German /Austrian Conference on Artificial Intelligence ((2001 :)
(書目-語言資料,印刷品)
主題
Artificial intelligence
Mathematical Logic and Formal Languages.
Nonmonotonic reasoning
Logics and Meanings of Programs.
Logic programming
Computer systems
Semantic Web
Semantic computing
Artificial Intelligence (incl. Robotics)
Database Management.
Information Systems Applications (incl. Internet)
Logic programming.
Computation by Abstract Devices.
Algorithm Analysis and Problem Complexity.
Programming Techniques.
Information Storage and Retrieval.
Database management
Data Mining and Knowledge Discovery.
Computer Science.
Information technology
Artificial intelligence.