Eiter, Thomas, 1966-....
Eiter, Thomas
Thomas Eiter
VIAF ID: 85501045 ( Personal )
Permalink: http://viaf.org/viaf/85501045
Preferred Forms
-
-
- 100 1 _ ‡a Eiter, Thomas
- 100 1 _ ‡a Eiter, Thomas
- 100 1 _ ‡a Eiter, Thomas
- 100 1 _ ‡a Eiter, Thomas ‡d 1966-
-
-
-
-
- 100 1 _ ‡a Eiter, Thomas, ‡d 1966-
- 100 1 _ ‡a Eiter, Thomas, ‡d 1966-....
- 100 0 _ ‡a Thomas Eiter
4xx's: Alternate Name Forms (5)
5xx's: Related Names (4)
- 510 2 _ ‡a FoIKS 2, 2002, Salzau
- 510 2 _ ‡a LPNMR 6, 2001, Wien
- 510 2 _ ‡a Technische Universität Wien ‡4 affi ‡4 https://d-nb.info/standards/elementset/gnd#affiliation ‡e Affiliation
- 510 2 _ ‡a Technische Universität Wien
Works
Title | Sources |
---|---|
Advances in knowledge representation, logic programming, and abstract argumentation : essays dedicated to Gerhard Brewka on the occasion of his 60th birthday | |
Computing intersections of Horn theories for reasoning with models | |
Database theory : ICDT 2005 : 10th international conference, Edinburgh, UK, January 5-7, 2005 : proceedings | |
Decision lists and related Boolean functions | |
Existential second-order logic over strings | |
first-order representation of stable models | |
FoIKS 2002 | |
Foundations of information and knowledge systems : second international symposium, FoIKS 2002, Salzau Castle, Germany, February 20-23, 2002 : proceedings | |
Heterogeneous active agents | |
KI 2001 : advances in artificial intelligence : Joint German/Austrian Conference on AI, Vienna, Austria, September 19-21, 2001 : proceedings | |
Logic programming and nonmonotonic reasoning 6th international conference ; proceedings | |
LPNMR 2001 | |
Preferred answer sets for extended logic programs | |
Prolog: The Next 50 Years | |
Realize your knowledge | |
Reasoning web logical foundation of knowledge graph construction and query : 12th International Summer School 2016, Aberdeen, UK, September 5-9, 2016, tutorial lectures | |
Reasoning Web. Semantic Technologies for Advanced Query Answering 8th International Summer School 2012, Vienna, Austria, September 3-8, 2012. Proceedings | |
Rules and rule markup languages for the semantic web |