[Zurück]


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

S. Pkhakadze, H. Tompits:
"A Sequent-Type Calculus for Three-Valued Default Logic, Or: Tweety Meets Quartum Non Datur";
Vortrag: LPNMR 2019 - Logic Programming and Nonmonotonic Reasoning, 15th International Conference, Philadelphia, USA; 03.06.2019 - 07.06.2019; in: "Logic Programming and Nonmonotonic Reasoning - 15th International Conference, LPNMR 2019, Philadelphia, PA, USA, June 3-7, 2019, Proceedings", Lecture Notes in Computer Science, 11481 (2019), ISBN: 978-3-030-20528-7; S. 163 - 177.



"Offizielle" elektronische Version der Publikation (entsprechend ihrem Digital Object Identifier - DOI)
http://dx.doi.org/10.1007/978-3-030-20528-7_13

Elektronische Version der Publikation:
https://publik.tuwien.ac.at/files/publik_286901.pdf


Erstellt aus der Publikationsdatenbank der Technischen Universität Wien.