Theory and Practice of Logic Programming

View Statistics Email Alert RSS Feed

Book details Buch-Details

Book title Buchtitel
Theory and Practice of Logic Programming
 
Series Schriftenreihe
Theory and Practice of Logic Programming
 

Publications Publikationen

Filter:
Subject:  Artificial Intelligence

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

PreviewAuthor(s)TitleTypeIssue Date
1DE VOS, MARINA ; KISA, DOĞA GIZEM ; OETSCH, JOHANNES ; PÜHRER, JÖRG ; TOMPITS, HANS Annotating Answer-Set Programs in LANAKonferenzbeitrag Inproceedings 2012
2OETSCH, JOHANNES ; PÜHRER, JÖRG ; TOMPITS, HANS Catching the Ouroboros: On debugging non-ground answer-set programsKonferenzbeitrag Inproceedings 2010
3FICHTE, JOHANNES K. ; HECHER, MARKUS ; THIER, PATRICK ; WOLTRAN, STEFAN Exploiting Database Management Systems and Treewidth for CountingKonferenzbeitrag Inproceedings 2020
4ALVIANO, MARIO ; DODARO, CARMINE ; FICHTE, JOHANNES K. ; HECHER, MARKUS ; PHILIPP, TOBIAS ; RATH, JAKOB Inconsistency Proofs for ASP: The ASP - DRUPE FormatKonferenzbeitrag Inproceedings 2019
5OETSCH, JOHANNES ; PÜHRER, JÖRG ; SCHWENGERER, MARTIN ; TOMPITS, HANS The system Kato: Detecting cases of plagiarism for answer-set programsKonferenzbeitrag Inproceedings 2010
6BECK, HARALD ; EITER, THOMAS ; FOLIE, CHRISTIAN Ticker: A system for incremental ASP-based stream reasoningKonferenzbeitrag Inproceedings 2017