Vorträge und Posterpräsentationen (mit Tagungsband-Eintrag):
J. Oetsch, H. Tompits:
"Gentzen-Type Refutation Systems for Three-Valued Logics with an Application to Disproving Strong Equivalence";
Vortrag: 11th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2011),
Vancouver, Canada;
16.05.2011
- 19.05.2011; in: "11th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2011)",
Springer,
(2011),
ISBN: 978-3-642-20894-2;
S. 254
- 259.
Kurzfassung englisch:
While the purpose of conventional proof calculi is to axiomatise the set of valid sentences of a logic, refutation systems axiomatise the invalid sentences. Such systems are relevant not only for proof-theoretic reasons but also for realising deductive systems for nonmonotonic logics. We introduce Gentzen-type refutation systems for two basic three-valued logics and we discuss an application of one of these calculi for disproving strong equivalence between answer-set programs.
Elektronische Version der Publikation:
http://publik.tuwien.ac.at/files/PubDat_200936.pdf
Zugeordnete Projekte:
Projektleitung Hans Tompits:
Softwareentwicklung in der Answer-Set Programmierung
Erstellt aus der Publikationsdatenbank der Technischen Universität Wien.