cvb.authors: Dario Guidotti,Laura Pandolfo,Tiziana Fanni,Katiuscia Zedda,Luca Pulina
cvb.fail: null
cvb.id: Vol-3883/paper6_RCRA5
cvb.pages: null
cvb.pagesFrom: null
cvb.pagesTo: null
cvb.pdf_name: paper6_RCRA5.pdf
cvb.position: null
cvb.title: Translating Requirements in Property Specification Patterns using LLMs
cvb.type: null
cvb.vol_number: '3883'
dblp.authors:
- dblp_author_id: https://dblp.org/pid/241/6376
  gnd_id: null
  label: Dario Guidotti
  orcid_id: null
  wikidata_id: null
- dblp_author_id: https://dblp.org/pid/35/6729
  gnd_id: null
  label: Luca Pulina
  orcid_id: 0000-0003-0258-3222
  wikidata_id: Q58179229
- dblp_author_id: https://dblp.org/pid/30/8697
  gnd_id: null
  label: Katiuscia Zedda
  orcid_id: null
  wikidata_id: null
- dblp_author_id: https://dblp.org/pid/163/5288
  gnd_id: null
  label: Laura Pandolfo
  orcid_id: 0000-0002-5785-5638
  wikidata_id: null
- dblp_author_id: https://dblp.org/pid/162/5132
  gnd_id: null
  label: Tiziana Fanni
  orcid_id: 0000-0002-4301-6497
  wikidata_id: Q130871770
dblp.dblp_proceeding_id: https://dblp.org/rec/conf/rcra/2024
dblp.dblp_publication_id: https://dblp.org/rec/conf/rcra/GuidottiPFZP24
dblp.pdf_id: Vol-3883/paper6_RCRA5
dblp.title: Translating Requirements in Property Specification Patterns using LLMs.
dblp.volume_number: 3883
spt.description: null
spt.html_url: /Vol-3883/paper6_RCRA5.html
spt.id: Vol-3883/paper6_RCRA5
spt.pdfUrl: !!python/object/new:linkml_runtime.utils.metamodelcore.URI
  args:
  - https://ceur-ws.org/Vol-3883/paper6_RCRA5.pdf
  state:
    _len: null
    _s: null
spt.session: null
spt.title: Translating Requirements in Property Specification Patterns using LLMs
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
