Talks and Poster Presentations (with Proceedings-Entry):
S. Pkhakadze, H. Tompits:
"A Sequent-Type Calculus for Three-Valued Default Logic, Or: Tweety Meets Quartum Non Datur";
Talk: LPNMR 2019 - Logic Programming and Nonmonotonic Reasoning, 15th International Conference,
Philadelphia, USA;
2019-06-03
- 2019-06-07; 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;
163
- 177.
"Official" electronic version of the publication (accessed through its Digital Object Identifier - DOI)
http://dx.doi.org/10.1007/978-3-030-20528-7_13
Electronic version of the publication:
https://publik.tuwien.ac.at/files/publik_286901.pdf
Created from the Publication Database of the Vienna University of Technology.