Efficient HEX-Program Evaluation Based on Unfounded Sets von Eiter, T., Fink, M., Krennwallner, T., Redl, C., Schüller, P.

Volltext

On the complexity of propositional knowledge base revision, updates, and counterfactuals von Eiter, Thomas, Gottlob, Georg

Volltext

Efficient Computation of Frequent and Top-k Elements in Data Streams von Metwally, Ahmed, Agrawal, Divyakant, El Abbadi, Amr

Volltext

Decision lists and related Boolean functions von Eiter, Thomas, Ibaraki, Toshihide, Makino, Kazuhisa

Volltext

Computing preferred answer sets by meta-interpretation in Answer Set Programming von EITER, THOMAS, FABER, WOLFGANG, LEONE, NICOLA, PFEIFER, GERALD

Volltext

Adaptive large-neighbourhood search for optimisation in answer-set programming von Eiter, Thomas, Geibinger, Tobias, Higuera Ruiz, Nelson, Musliu, Nysret, Oetsch, Johannes, Pfliegler, Dave, Stepanova, Daria

Volltext

Answer Set Planning Under Action Costs von Eiter, T., Faber, W., Leone, N., Pfeifer, G., Polleres, A.

Volltext

Complexity and expressive power of logic programming von DANTSIN, Evgeny, EITER, Thomas, GOTTLOB, Georg, VORONKOV, Andrei

Volltext

Anonymizing Tables von Aggarwal, Gagan, Feder, Tomás, Kenthapadi, Krishnaram, Motwani, Rajeev, Panigrahy, Rina, Thomas, Dilys, Zhu, An

Volltext

ASP ($\mathcal A \mathcal C$): Answer Set Programming with Algebraic Constraints von EITER, THOMAS, KIESEL, RAFAEL

Volltext

Default logic as a query language von Cadoli, M., Eiter, T., Gottlob, G.

Volltext

Hypergraph Transversal Computation and Related Problems in Logic and AI von Eiter, Thomas, Gottlob, Georg

Volltext

Uniform Equivalence of Logic Programs under the Stable Model Semantics von Eiter, Thomas, Fink, Michael

Volltext

Foundations of Information and Knowledge Systems: Second International Symposium, FoIKS 2002 Salzau Castle, Germany, February 20-23, 2002 Proceedings von Eiter, Thomas, Schewe, Klaus-Dieter

Volltext

Disjunctions of Horn theories and their cores von EITER, Thomas, IBARAKI, Toshihide, MAKINO, Kazuhisa

Volltext

Simplifying logic programs under uniform and strong equivalence von EITER, Thomas, FINK, Michael, TOMPITS, Hans, WOLTRAN, Stefan

Volltext

First-Order Query Rewriting for Inconsistent Databases von Fuxman, Ariel D., Miller, Renée J.

Volltext

Disjunctive datalog von Eiter, Thomas, Gottlob, Georg, Mannila, Heikki

Volltext

Complexity results for structure-based causality von Eiter, Thomas, Lukasiewicz, Thomas

Volltext

On the Difference of Horn Theories von Eiter, Thomas, Ibaraki, Toshihide, Makino, Kazuhisa

Volltext