cvb.authors: "Andrea Cuteri,Giuseppe Mazzotta,Rafael Pe\xF1aloza,Francesco Ricca"
cvb.fail: null
cvb.id: Vol-3883/paper4_RCRA2
cvb.pages: null
cvb.pagesFrom: null
cvb.pagesTo: null
cvb.pdf_name: paper4_RCRA2.pdf
cvb.position: null
cvb.title: Automata-based LTL_f Satisfiability Checking via ASP
cvb.type: null
cvb.vol_number: '3883'
dblp.authors:
- dblp_author_id: https://dblp.org/pid/277/2609
  gnd_id: null
  label: Giuseppe Mazzotta
  orcid_id: 0000-0003-0125-0477
  wikidata_id: null
- dblp_author_id: https://dblp.org/pid/350/6681
  gnd_id: null
  label: Andrea Cuteri
  orcid_id: null
  wikidata_id: null
- dblp_author_id: https://dblp.org/pid/56/3960
  gnd_id: '139758488'
  label: "Rafael Pe\xF1aloza"
  orcid_id: 0000-0002-2693-5790
  wikidata_id: Q57517599
- dblp_author_id: https://dblp.org/pid/r/FrancescoRicca
  gnd_id: null
  label: Francesco Ricca
  orcid_id: 0000-0001-8218-3178
  wikidata_id: null
dblp.dblp_proceeding_id: https://dblp.org/rec/conf/rcra/2024
dblp.dblp_publication_id: https://dblp.org/rec/conf/rcra/CuteriMPR24
dblp.pdf_id: Vol-3883/paper4_RCRA2
dblp.title: Automata-based LTL_f Satisfiability Checking via ASP.
dblp.volume_number: 3883
spt.description: null
spt.html_url: /Vol-3883/paper4_RCRA2.html
spt.id: Vol-3883/paper4_RCRA2
spt.pdfUrl: !!python/object/new:linkml_runtime.utils.metamodelcore.URI
  args:
  - https://ceur-ws.org/Vol-3883/paper4_RCRA2.pdf
  state:
    _len: null
    _s: null
spt.session: null
spt.title: Automata-based LTL_f Satisfiability Checking via ASP
spt.volume:
  acronym: AI4CC-IPS-RCRA-SPIRIT 2024
  date: '2024-12-24'
  dblp: conf/rcra/2024
  description: Proceedings of AI4CC-IPS-RCRA-SPIRIT 2024 workshop
  k10plus: '1919427791'
  number: 3883
  title: Proceedings of the International Workshop on Artificial Intelligence for
    Climate Change, Italian Workshop on Planning and Scheduling, RCRA Workshop on
    Experimental evaluation of algorithms for solving problems with combinatorial
    explosion, and SPIRIT Workshop on Strategies, Prediction, Interaction, and Reasoning
    in Italy (AI4CC-IPS-RCRA-SPIRIT 2024)
  url: http://ceur-ws.org/Vol-3883/
  urn: urn:nbn:de:0074-3883-1
  wikidataid: Q131677329
spt.wikidataid: null
version.cm_url: https://github.com/ceurws/ceur-spt
version.version: 0.0.7
