cvb.authors: Wolfgang Faber,Michael Morak
cvb.fail: null
cvb.id: Vol-3281/paper7
cvb.pages: 78-89
cvb.pagesFrom: null
cvb.pagesTo: null
cvb.pdf_name: paper7.pdf
cvb.position: null
cvb.title: Evaluating Epistemic Logic Programs via Answer Set Programming with Quantifiers
cvb.type: null
cvb.vol_number: '3281'
dblp.authors:
- dblp_author_id: https://dblp.org/pid/33/8486
  gnd_id: null
  label: Michael Morak
  orcid_id: 0000-0002-2077-7672
  wikidata_id: Q131162010
- dblp_author_id: https://dblp.org/pid/f/WolfgangFaber
  gnd_id: '135978548'
  label: Wolfgang Faber 0001
  orcid_id: 0000-0002-0330-5868
  wikidata_id: Q58049738
dblp.dblp_proceeding_id: https://dblp.org/rec/conf/lpnmr/2022hydra
dblp.dblp_publication_id: https://dblp.org/rec/conf/lpnmr/0001M22
dblp.pdf_id: Vol-3281/paper7
dblp.title: Evaluating Epistemic Logic Programs via Answer Set Programming with Quantifiers.
dblp.volume_number: 3281
spt.description: null
spt.html_url: /Vol-3281/paper7.html
spt.id: Vol-3281/paper7
spt.pdfUrl: !!python/object/new:linkml_runtime.utils.metamodelcore.URI
  args:
  - https://ceur-ws.org/Vol-3281/paper7.pdf
  state:
    _len: null
    _s: null
spt.session: null
spt.title: Evaluating Epistemic Logic Programs via Answer Set Programming with Quantifiers
spt.volume:
  acronym: HYDRA-RCRA 2022
  date: '2022-11-21'
  dblp: conf/lpnmr/2022hydra
  description: Proceedings of HYDRA-RCRA 2022 workshop
  k10plus: '1831905914'
  number: 3281
  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)
  url: http://ceur-ws.org/Vol-3281/
  urn: urn:nbn:de:0074-3281-3
  wikidataid: Q115608344
spt.wikidataid: null
version.cm_url: https://github.com/ceurws/ceur-spt
version.version: 0.0.7
