Kuenstliche Intelligenz

Title Titel

e-ISSN

1610-1987

ISSN

0933-1875

Publisher Herausgeber

Springer

Peer reviewed Begutachtet

Filter:

Subject: Nonmonotonic reasoning

Results 1-2 of 2 (Search time: 0.001 seconds).

RIS EndNote Bibtex Send via email

		Preview	Author(s)	Title	Type	Issue Date
	1		Eiter, Thomas ; Germano, Stefano ; Ianni, Giovambattista ; Kaminski, Tobias ; Redl, Christoph ; Schüller, Peter ; Weinzierl, Antonius	The DLVHEX System	Article Artikel	2018
	2		Eiter, Thomas ; Friedrich, Gerhard ; Taupe, Richard ; Weinzierl, Antonius	Lazy Grounding for Dynamic Configuration - Efficient Large-Scale (Re)Configuration of Cyber-Physical Systems with ASP	Artikel Article	2018