[Zurück]


Vorträge und Posterpräsentationen (mit Tagungsband-Eintrag):

J. Puehrer, H. Tompits:
"Casting Away Disjunction and Negation under a Generalisation of Strong Equivalence with Projection";
Vortrag: 10th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2009), Potsdam; 14.09.2009 - 18.09.2009; in: "Logic Programming and Nonmonotonic Reasoning", E. Erdem, F. Lin, T. Schaub (Hrg.); Springer, 5753 (2009), ISBN: 978-3-642-04237-9; S. 264 - 276.



"Offizielle" elektronische Version der Publikation (entsprechend ihrem Digital Object Identifier - DOI)
http://dx.doi.org/10.1007/978-3-642-04238-6

Elektronische Version der Publikation:
http://publik.tuwien.ac.at/files/PubDat_177241.pdf



Zugeordnete Projekte:
Projektleitung Hans Tompits:
Softwareentwicklung in der Answer-Set Programmierung


Erstellt aus der Publikationsdatenbank der Technischen Universität Wien.