Kuenstliche Intelligenz

View Statistics Email Alert RSS Feed

Journal description

Title Titel
Kuenstliche Intelligenz
 
e-ISSN
1610-1987
 
ISSN
0933-1875
 
Publisher Herausgeber
Springer
 
 
Peer reviewed Begutachtet
 
 
 

Publications Publikationen

Filter:
Subject:  Answer set programming

Results 1-3 of 3 (Search time: 0.002 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Eiter Thomas - 2018 - The DLVHEX System.pdf.jpgEiter, Thomas ; Germano, Stefano ; Ianni, Giovambattista ; Kaminski, Tobias ; Redl, Christoph ; Schüller, Peter ; Weinzierl, Antonius The DLVHEX SystemArticle Artikel 2018
2Abseher, Michael ; Hecher, Markus ; Moldovan, Marius ; Woltran, Stefan ; Bliem, Bernhard Dynamic Programming on Tree Decompositions with {D-FLAT}Artikel Article 2018
3Eiter, Thomas ; Friedrich, Gerhard ; Taupe, Richard ; Weinzierl, Antonius Lazy Grounding for Dynamic Configuration - Efficient Large-Scale (Re)Configuration of Cyber-Physical Systems with ASPArtikel Article 2018