{"version.version":"0.0.7","version.cm_url":"https://github.com/ceurws/ceur-spt","spt.html_url":"/Vol-3281/paper7.html","spt.description":null,"spt.id":"Vol-3281/paper7","spt.wikidataid":null,"spt.title":"Evaluating Epistemic Logic Programs via Answer Set Programming with Quantifiers","spt.pdfUrl":"https://ceur-ws.org/Vol-3281/paper7.pdf","spt.volume":{"number":3281,"acronym":"HYDRA-RCRA 2022","wikidataid":"Q115608344","title":"Joint Proceedings of the 1st International Workshop on HYbrid Models for Coupling Deductive and Inductive ReAsoning (HYDRA 2022) and the 29th RCRA Workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion (RCRA 2022)","description":"Proceedings of HYDRA-RCRA 2022 workshop","url":"http://ceur-ws.org/Vol-3281/","date":"2022-11-21","dblp":"conf/lpnmr/2022hydra","k10plus":"1831905914","urn":"urn:nbn:de:0074-3281-3"},"spt.session":null,"cvb.id":"Vol-3281/paper7","cvb.title":"Evaluating Epistemic Logic Programs via Answer Set Programming with Quantifiers","cvb.type":null,"cvb.position":null,"cvb.pagesFrom":null,"cvb.pagesTo":null,"cvb.authors":"Wolfgang Faber,Michael Morak","cvb.vol_number":"3281","cvb.pdf_name":"paper7.pdf","cvb.pages":"78-89","cvb.fail":null,"dblp.dblp_publication_id":"https://dblp.org/rec/conf/lpnmr/0001M22","dblp.dblp_proceeding_id":"https://dblp.org/rec/conf/lpnmr/2022hydra","dblp.volume_number":3281,"dblp.title":"Evaluating Epistemic Logic Programs via Answer Set Programming with Quantifiers.","dblp.authors":[{"dblp_author_id":"https://dblp.org/pid/33/8486","label":"Michael Morak","wikidata_id":"Q131162010","orcid_id":"0000-0002-2077-7672","gnd_id":null},{"dblp_author_id":"https://dblp.org/pid/f/WolfgangFaber","label":"Wolfgang Faber 0001","wikidata_id":"Q58049738","orcid_id":"0000-0002-0330-5868","gnd_id":"135978548"}],"dblp.pdf_id":"Vol-3281/paper7"}