Theory and Practice of Logic Programming

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
Subject:  Theoretical Computer Science
Subject:  Answer Set Programming

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

PreviewAuthor(s)TitleTypeIssue Date
1BECK, HARALD ; EITER, THOMAS ; FOLIE, CHRISTIAN Ticker: A system for incremental ASP-based stream reasoningKonferenzbeitrag Inproceedings 2017