EiterThomas

发表

Reasoning about evolving nonmonotonic knowledge bases

EiterThomas, FinkMichael, SabbatiniGiuliana, 2005 .

Existential second-order logic over strings

EiterThomas, GottlobGeorg, GurevichYuri, 2000 .

Answer set programming at a glance

EiterThomas, TruszczyńskiMirosław, BrewkaGerhard, 2011 .

On computing all abductive explanations from a propositional Horn theory

EiterThomas, MakinoKazuhisa, 2007 .

The complexity of logic-based abduction

EiterThomas, GottlobGeorg, 1995 .

Complexity and expressive power of logic programming

EiterThomas, GottlobGeorg, VoronkovAndrei, 2001 .

The DLV system for knowledge representation and reasoning

EiterThomas, GottlobGeorg, FaberWolfgang, 2006 .

A logic programming approach to knowledge-state planning, II

EiterThomas, FaberWolfgang, LeoneNicola, 2003 .