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:  Computational Theory and Mathematics
Date Issued:  [2010 TO 2019]

Results 1-5 of 5 (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
3ALVIANO, MARIO ; DODARO, CARMINE ; FICHTE, JOHANNES K. ; HECHER, MARKUS ; PHILIPP, TOBIAS ; RATH, JAKOB Inconsistency Proofs for ASP: The ASP - DRUPE FormatKonferenzbeitrag Inproceedings 2019
4OETSCH, JOHANNES ; PÜHRER, JÖRG ; SCHWENGERER, MARTIN ; TOMPITS, HANS The system Kato: Detecting cases of plagiarism for answer-set programsKonferenzbeitrag Inproceedings 2010
5BECK, HARALD ; EITER, THOMAS ; FOLIE, CHRISTIAN Ticker: A system for incremental ASP-based stream reasoningKonferenzbeitrag Inproceedings 2017