語系
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.; Woltran, Stefan.; SpringerLink (Online service); Strass, Hannes.; Truszczyński, Mirosław.
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/edt]
Database Theory - ICDT 2005 = 10th International Conference, Edinburgh, UK, January 5-7, 2005. Proceedings /
by:
Eiter, Thomas.; Libkin, Leonid.; Workshop on the Preservation of Stability under Discretization ((2001 :); 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.; Workshop on the Preservation of Stability under Discretization ((2001 :); Krennwallner, Thomas.; SpringerLink (Online service)
(書目-語言資料,印刷品)
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)
(書目-語言資料,印刷品)
主題
Mathematical logic.
Algorithm Analysis and Problem Complexity.
Computer logic.
Artificial intelligence.
Semantic computing
Computer Science.
Programming Techniques.
Computer programming.
Semantic Web
Mathematical Logic and Formal Languages.
Information Systems Applications (incl. Internet)
Logics and Meanings of Programs.
Algorithms.
Artificial Intelligence (incl. Robotics)
Logic programming.
Artificial Intelligence.
Database management
Information Storage and Retrieval.
Computers.
Database Management.
Data Mining and Knowledge Discovery.
Computation by Abstract Devices.