%0 Conference Paper %1 conf/kr/ConsoleGL16 %A Console, Marco %A Guagliardo, Paolo %A Libkin, Leonid %B KR %D 2016 %E Baral, Chitta %E Delgrande, James P. %E Wolter, Frank %I AAAI Press %K dblp %P 349-358 %T Approximations and Refinements of Certain Answers via Many-Valued Logics. %U http://dblp.uni-trier.de/db/conf/kr/kr2016.html#ConsoleGL16 %@ 978-1-57735-755-1

@inproceedings{conf/kr/ConsoleGL16, added-at = {2021-02-09T00:00:00.000+0100}, author = {Console, Marco and Guagliardo, Paolo and Libkin, Leonid}, biburl = {https://www.bibsonomy.org/bibtex/287092ba83e28b49291b41496f5c39c4e/dblp}, booktitle = {KR}, crossref = {conf/kr/2016}, editor = {Baral, Chitta and Delgrande, James P. and Wolter, Frank}, ee = {http://www.aaai.org/ocs/index.php/KR/KR16/paper/view/12813}, interhash = {4f7ceb0502b866f6b754cc489f1a0767}, intrahash = {87092ba83e28b49291b41496f5c39c4e}, isbn = {978-1-57735-755-1}, keywords = {dblp}, pages = {349-358}, publisher = {AAAI Press}, timestamp = {2024-04-09T23:54:13.000+0200}, title = {Approximations and Refinements of Certain Answers via Many-Valued Logics.}, url = {http://dblp.uni-trier.de/db/conf/kr/kr2016.html#ConsoleGL16}, year = 2016 }