%0 Conference Paper %1 conf/lpnmr/PkhakadzeT19 %A Pkhakadze, Sopo %A Tompits, Hans %B LPNMR %D 2019 %E Balduccini, Marcello %E Lierler, Yuliya %E Woltran, Stefan %I Springer %K dblp %P 163-177 %T A Sequent-Type Calculus for Three-Valued Default Logic, Or: Tweety Meets Quartum Non Datur. %U http://dblp.uni-trier.de/db/conf/lpnmr/lpnmr2019.html#PkhakadzeT19 %V 11481 %@ 978-3-030-20528-7

@inproceedings{conf/lpnmr/PkhakadzeT19, added-at = {2019-05-31T00:00:00.000+0200}, author = {Pkhakadze, Sopo and Tompits, Hans}, biburl = {https://www.bibsonomy.org/bibtex/28d9cd83e4d5b57470985e4734e37b1f5/dblp}, booktitle = {LPNMR}, crossref = {conf/lpnmr/2019}, editor = {Balduccini, Marcello and Lierler, Yuliya and Woltran, Stefan}, ee = {https://doi.org/10.1007/978-3-030-20528-7_13}, interhash = {98ddac622c408647d4574b3957532d3a}, intrahash = {8d9cd83e4d5b57470985e4734e37b1f5}, isbn = {978-3-030-20528-7}, keywords = {dblp}, pages = {163-177}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-06-01T11:50:08.000+0200}, title = {A Sequent-Type Calculus for Three-Valued Default Logic, Or: Tweety Meets Quartum Non Datur.}, url = {http://dblp.uni-trier.de/db/conf/lpnmr/lpnmr2019.html#PkhakadzeT19}, volume = 11481, year = 2019 }