Name Card

Full name Familienname, Vorname
Valverde, Agustin
 

Contributing Publications Mitbeteiligte Publikationen


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

PreviewAuthors / EditorsTitleTypeIssue Date
1Pearce, David ; Polleres, Axel Florian ; Valverde, Agustin ; Woltran, Stefan Workshop on Correspondence and Equivalence for Nonmonotonic Theories (CENT 2007)Konferenzband Proceedings2007
2Oetsch, Johannes ; Tompits, Hans ; Woltran, Stefan Facts do not Cease to Exist Because They are Ignored: Relativised Uniform Equivalence with Answer-Set ProjectionKonferenzbeitrag Inproceedings 2007