cvb.authors: Reijo Jaakkola,Tomi Janhunen,Antti Kuusisto,Masood Feyzbakhsh Rankooh,Miikka
  Vilander
cvb.fail: null
cvb.id: Vol-3281/paper6
cvb.pages: 64-77
cvb.pdf_name: paper6.pdf
cvb.title: 'Explainability via Short Formulas: the Case of Propositional Logic with
  Implementation'
cvb.vol_number: 3281
dblp.authors:
- dblp_author_id: https://dblp.org/pid/179/2302
  gnd_id: null
  label: Miikka Vilander
  orcid_id: null
  wikidata_id: null
- dblp_author_id: https://dblp.org/pid/26/285
  gnd_id: null
  label: Antti Kuusisto
  orcid_id: 0000-0003-1356-8749
  wikidata_id: null
- dblp_author_id: https://dblp.org/pid/264/5874
  gnd_id: null
  label: Reijo Jaakkola
  orcid_id: null
  wikidata_id: null
- dblp_author_id: https://dblp.org/pid/69/10661
  gnd_id: null
  label: Masood Feyzbakhsh Rankooh
  orcid_id: null
  wikidata_id: null
- dblp_author_id: https://dblp.org/pid/j/TomiJanhunen
  gnd_id: null
  label: Tomi Janhunen
  orcid_id: 0000-0002-2029-7708
  wikidata_id: null
dblp.dblp_proceeding_id: https://dblp.org/rec/conf/lpnmr/2022hydra
dblp.dblp_publication_id: https://dblp.org/rec/conf/lpnmr/JaakkolaJKRV22
dblp.pdf_id: Vol-3281/paper6
dblp.title: 'Explainability via Short Formulas: the Case of Propositional Logic with
  Implementation.'
dblp.volume_number: 3281
spt.description: null
spt.html_url: /Vol-3281/paper6.html
spt.id: Vol-3281/paper6
spt.pdfUrl: !!python/object/new:linkml_runtime.utils.metamodelcore.URI
  args:
  - https://ceur-ws.org/Vol-3281/paper6.pdf
  state:
    _len: null
    _s: null
spt.session: null
spt.title: 'Explainability via Short Formulas: the Case of Propositional Logic with
  Implementation'
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
