Name Card

Full name Familienname, Vorname
Pontelli, Enrico
 

Contributing Publications Mitbeteiligte Publikationen

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

PreviewAuthor(s)TitleTypeIssue Date
1Truszczynski, Miroslaw ; Woltran, Stefan Relativized Hyperequivalence of Logic Programs for Modular ProgrammingKonferenzbeitrag Inproceedings 2008
2Puehrer, Joerg ; Tompits, Hans ; Woltran, Stefan Elimination of Disjunction and Negation in Answer-Set Programs under HyperequivalenceKonferenzbeitrag Inproceedings 2008
3Oetsch, Johannes ; Tompits, Hans Program Correspondence under the Answer-Set Semantics: The Non-ground CaseKonferenzbeitrag Inproceedings 2008
4Fink, Michael Equivalences in Answer-Set Programming by Countermodels in the Logic of Here-and-ThereKonferenzbeitrag Inproceedings 2008
5Egly, Uwe ; Gaggl, Sarah Alice ; Woltran, Stefan ASPARTIX: Implementing Argumentation Frameworks Using Answer-Set ProgrammingKonferenzbeitrag Inproceedings2008
6Eiter, Thomas SMS and ASP: Hype or TST?Konferenzbeitrag Inproceedings2008
7Delgrande, James P. ; Schaub, Torsten ; Tompits, Hans A Preference-Based Framework for Updating Logic Programs: Preliminary ReportKonferenzbeitrag Inproceedings 2006