Search - Digitale Bibliothek - Gesellschaft für Informatik e.V.

Now showing items 1-3 of 3

The DLVHEX System

KI - Künstliche Intelligenz: Vol. 32, No. 2-3 Eiter, Thomas; Germano, Stefano; Ianni, Giovambattista; Kaminski, Tobias; Redl, Christoph; Schüller, Peter; Weinzierl, Antonius

Lazy Grounding for Dynamic Configuration

KI - Künstliche Intelligenz: Vol. 32, No. 2-3 Eiter, Thomas; Friedrich, Gerhard; Taupe, Richard; Weinzierl, Antonius

Stream Reasoning with LARS

KI - Künstliche Intelligenz: Vol. 32, No. 2-3 Beck, Harald; Dao-Tran, Minh; Eiter, Thomas; Folie, Christian