%0 Conference Paper %1 conf/birthday/Kern-IsbernerB14 %A Kern-Isberner, Gabriele %A Beierle, Christoph %B Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation %D 2015 %E Eiter, Thomas %E Strass, Hannes %E Truszczynski, Miroslaw %E Woltran, Stefan %I Springer %K dblp %P 81-95 %T A System Z-like Approach for First-Order Default Reasoning. %U http://dblp.uni-trier.de/db/conf/birthday/brewka2014.html#Kern-IsbernerB14 %V 9060 %@ 978-3-319-14725-3

@inproceedings{conf/birthday/Kern-IsbernerB14, added-at = {2017-05-23T00:00:00.000+0200}, author = {Kern-Isberner, Gabriele and Beierle, Christoph}, biburl = {https://www.bibsonomy.org/bibtex/29b4b8f3c2043ce4676a22d0768f23aaa/dblp}, booktitle = {Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation}, crossref = {conf/birthday/2014brewka}, editor = {Eiter, Thomas and Strass, Hannes and Truszczynski, Miroslaw and Woltran, Stefan}, ee = {https://doi.org/10.1007/978-3-319-14726-0_6}, interhash = {140fa3381924db751bf0670b5ea08b64}, intrahash = {9b4b8f3c2043ce4676a22d0768f23aaa}, isbn = {978-3-319-14725-3}, keywords = {dblp}, pages = {81-95}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T12:19:42.000+0200}, title = {A System Z-like Approach for First-Order Default Reasoning.}, url = {http://dblp.uni-trier.de/db/conf/birthday/brewka2014.html#Kern-IsbernerB14}, volume = 9060, year = 2015 }