Logic Programming, 24th International Conference, ICLP 2008, Udine, Italy, December 9-13 2008, Proceedings

Book title Buchtitel
Logic Programming, 24th International Conference, ICLP 2008, Udine, Italy, December 9-13 2008, Proceedings
 
ISBN
978-3-540-89982-2
 
 
Publisher Verlag
Springer Berlin, Heidelberg
 
Place of publishing Erscheinungsort
5366
 
DOI
10.1007/978-3-540-89982-2
 
Series Schriftenreihe
Lecture Notes in Computer Science
 

Publications Publikationen



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

PreviewAuthor(s)TitleTypeIssue Date
1Fink, Michael Equivalences in Answer-Set Programming by Countermodels in the Logic of Here-and-ThereKonferenzbeitrag Inproceedings 2008
2Eiter, Thomas SMS and ASP: Hype or TST?Konferenzbeitrag Inproceedings2008