Theory and Practice of Logic Programming

Book title Buchtitel

Editor Herausgeber_in

Salvagnin, Domenico

Publisher Herausgeber

Lecture Notes in Computer Science / Springer

Place of publishing Erscheinungsort

10335

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

	Authors / Editors	Title	Type	Issue Date
1	DE VOS, MARINA ; KISA, DOĞA GIZEM ; OETSCH, JOHANNES ; PÜHRER, JÖRG ; TOMPITS, HANS	Annotating Answer-Set Programs in LANA	Konferenzbeitrag Inproceedings	2012
2	OETSCH, JOHANNES ; PÜHRER, JÖRG ; TOMPITS, HANS ; Hermenegildo, Manuel ; Schaub, Torsten	Catching the Ouroboros: On debugging non-ground answer-set programs	Konferenzbeitrag Inproceedings	2010
3	FICHTE, JOHANNES K. ; HECHER, MARKUS ; THIER, PATRICK ; WOLTRAN, STEFAN	Exploiting Database Management Systems and Treewidth for Counting	Konferenzbeitrag Inproceedings	2020
4	ALVIANO, MARIO ; DODARO, CARMINE ; FICHTE, JOHANNES K. ; HECHER, MARKUS ; PHILIPP, TOBIAS ; RATH, JAKOB	Inconsistency Proofs for ASP: The ASP - DRUPE Format	Konferenzbeitrag Inproceedings	2019
5	OETSCH, JOHANNES ; PÜHRER, JÖRG ; SCHWENGERER, MARTIN ; TOMPITS, HANS ; Hermenegildo, Manuel ; Schaub, Torsten	The system Kato: Detecting cases of plagiarism for answer-set programs	Konferenzbeitrag Inproceedings	2010
6	BECK, HARALD ; EITER, THOMAS ; FOLIE, CHRISTIAN	Ticker: A system for incremental ASP-based stream reasoning	Konferenzbeitrag Inproceedings	2017