KMonitor - A Tool for Monitoring Plan Execution in Action Theories. - Thomas Eiter; Michael Fink 001; Ján Senko (LPNMR, 2005)

Resolving Conflicts in Action Descriptions. - Thomas Eiter; Esra Erdem 001; Michael Fink 001; Ján Senko (ECAI, 2006)

A Tool for Answering Queries on Action Descriptions. - Thomas Eiter; Michael Fink 001; Ján Senko (JELIA, 2006)

Comparing action descriptions based on semantic preferences. - Thomas Eiter; Esra Erdem 001; Michael Fink 001; Ján Senko (Ann. Math. Artif. Intell., 2007)

A Logic-Based Approach to Finding Explanations for Discrepancies in Optimistic Plan Execution. - Thomas Eiter; Esra Erdem 001; Wolfgang Faber 001; Ján Senko (Fundam. Informaticae, 2007)

Error Classification in Action Descriptions: A Heuristic Approach. - Thomas Eiter; Michael Fink 001; Ján Senko (AAAI, 2008)

Updating action domain descriptions. - Thomas Eiter; Esra Erdem 001; Michael Fink 001; Ján Senko (Artif. Intell., 2010)