Thomas Eiter

Logic programming and nonmonotonic reasoning

2011

Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation

2015

Reasoning Web. Semantic Technologies for Advanced Query Answering

2012

Reasoning Web - Semantic Technologies for Advanced Query Answering: 8th International Summer School 2012, Vienna, Austria, September 3-8, 2012. Proceedings (Lecture Notes in Computer Science)

2012

Reasoning Web : Logical Foundation of Knowledge Graph Construction and Query Answering

2017

Prolog

2023

Proceedings, Fourteenth International Conference on Principles of Knowledge Representation and Reasoning

2014

Logic Programming and Nonmotonic Reasoning

2001

KI 2001 : Advances in Artificial Intelligence

2003

Database theory

2005

Database Theory - ICDT 2005

2005