語系
Eiter, Thomas.
概要
作品: | 1 作品在 2 項出版品 1 種語言 |
---|
書目資訊
Advances in knowledge representation, logic programming, and abstract argumentationessays dedicated to Gerhard Brewka on the occasion of his 60th birthday /
by:
Eiter, Thomas.; SpringerLink (Online service)
(書目-電子資源)
Logic programming and nonmonotonic reasoning6th international conference, LPNMR 2001, Vienna, Austria, September 17-19, 2001 : proceedings /
by:
(1998 :); Eiter, Thomas.; Faber, Wolfgang.; SpringerLink (Online service); Truszczynski, Miroslaw.
(書目-電子資源)
Database Theory - ICDT 2005 :10th International Conference, Edinburgh, UK, January 5-7, 2005. Proceedings /
by:
(1998 :); Eiter, Thomas.; Libkin, Leonid.; SpringerLink (Online service)
(書目-電子資源)
Foundations of information and knowledge systemssecond international symposium, FoIKS 2002, Salzau Castle, Germany, February 20-23, 2002 : proceedings /
by:
(1998 :); Eiter, Thomas.; Schewe, Klaus-Dieter.; SpringerLink (Online service)
(書目-電子資源)
KI 2001advances in artificial intelligence : Joint German/Austrian Conference on AI, Vienna, Austria, September 19-21, 2001 : proceedings /
by:
(1998 :); Baader, Franz.; Brewka, Gerhard.; Eiter, Thomas.; SpringerLink (Online service)
(書目-電子資源)
Reasoning websemantic technologies for advanced query answering : 8th International Summer School 2012, Vienna, Austria, September 3-8, 2012 : proceedings /
by:
(1998 :); Eiter, Thomas.; Krennwallner, Thomas.; SpringerLink (Online service)
(書目-電子資源)
主題
Artificial intelligence
Mathematical Logic and Formal Languages.
Nonmonotonic reasoning
Logics and Meanings of Programs.
Logic programming
Computer systems
Semantic computing
Semantic Web
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.