@incollection{DBLP:series/lncs/Ancona0M23,
  author       = {Davide Ancona and
                  Angelo Ferrando and
                  Viviana Mascardi},
  editor       = {David Scott Warren and
                  Ver{\'{o}}nica Dahl and
                  Thomas Eiter and
                  Manuel V. Hermenegildo and
                  Robert A. Kowalski and
                  Francesca Rossi},
  title        = {Exploiting Logic Programming for Runtime Verification: Current and
                  Future Perspectives},
  booktitle    = {Prolog: The Next 50 Years},
  series       = {Lecture Notes in Computer Science},
  volume       = {13900},
  pages        = {300--317},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-35254-6\_25},
  doi          = {10.1007/978-3-031-35254-6\_25},
  timestamp    = {Tue, 23 Jan 2024 13:25:47 +0100},
  biburl       = {https://dblp.org/rec/series/lncs/Ancona0M23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

{"_id":"aezz7eoeQheB8spQv","bibbaseid":"ancona-ferrando-mascardi-exploitinglogicprogrammingforruntimeverificationcurrentandfutureperspectives-2023","author_short":["Ancona, D.","Ferrando, A.","Mascardi, V."],"bibdata":{"bibtype":"incollection","type":"incollection","author":[{"firstnames":["Davide"],"propositions":[],"lastnames":["Ancona"],"suffixes":[]},{"firstnames":["Angelo"],"propositions":[],"lastnames":["Ferrando"],"suffixes":[]},{"firstnames":["Viviana"],"propositions":[],"lastnames":["Mascardi"],"suffixes":[]}],"editor":[{"firstnames":["David","Scott"],"propositions":[],"lastnames":["Warren"],"suffixes":[]},{"firstnames":["Verónica"],"propositions":[],"lastnames":["Dahl"],"suffixes":[]},{"firstnames":["Thomas"],"propositions":[],"lastnames":["Eiter"],"suffixes":[]},{"firstnames":["Manuel","V."],"propositions":[],"lastnames":["Hermenegildo"],"suffixes":[]},{"firstnames":["Robert","A."],"propositions":[],"lastnames":["Kowalski"],"suffixes":[]},{"firstnames":["Francesca"],"propositions":[],"lastnames":["Rossi"],"suffixes":[]}],"title":"Exploiting Logic Programming for Runtime Verification: Current and Future Perspectives","booktitle":"Prolog: The Next 50 Years","series":"Lecture Notes in Computer Science","volume":"13900","pages":"300–317","publisher":"Springer","year":"2023","url":"https://doi.org/10.1007/978-3-031-35254-6\\_25","doi":"10.1007/978-3-031-35254-6_25","timestamp":"Tue, 23 Jan 2024 13:25:47 +0100","biburl":"https://dblp.org/rec/series/lncs/Ancona0M23.bib","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@incollection{DBLP:series/lncs/Ancona0M23,\n author = {Davide Ancona and\n Angelo Ferrando and\n Viviana Mascardi},\n editor = {David Scott Warren and\n Ver{\\'{o}}nica Dahl and\n Thomas Eiter and\n Manuel V. Hermenegildo and\n Robert A. Kowalski and\n Francesca Rossi},\n title = {Exploiting Logic Programming for Runtime Verification: Current and\n Future Perspectives},\n booktitle = {Prolog: The Next 50 Years},\n series = {Lecture Notes in Computer Science},\n volume = {13900},\n pages = {300--317},\n publisher = {Springer},\n year = {2023},\n url = {https://doi.org/10.1007/978-3-031-35254-6\\_25},\n doi = {10.1007/978-3-031-35254-6\\_25},\n timestamp = {Tue, 23 Jan 2024 13:25:47 +0100},\n biburl = {https://dblp.org/rec/series/lncs/Ancona0M23.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Ancona, D.","Ferrando, A.","Mascardi, V."],"editor_short":["Warren, D. S.","Dahl, V.","Eiter, T.","Hermenegildo, M. V.","Kowalski, R. A.","Rossi, F."],"key":"DBLP:series/lncs/Ancona0M23","id":"DBLP:series/lncs/Ancona0M23","bibbaseid":"ancona-ferrando-mascardi-exploitinglogicprogrammingforruntimeverificationcurrentandfutureperspectives-2023","role":"author","urls":{"Paper":"https://doi.org/10.1007/978-3-031-35254-6\\_25"},"metadata":{"authorlinks":{}}},"bibtype":"incollection","biburl":"https://dblp.org/pid/134/9527.bib","dataSources":["hbmDF3mowSFP7RzLi","X6oai84Gqtg82PfJ8","DemJHAtxwifL2qfuu","R5o3TG54ojRn5EMT4","ZEMwcoMYSZFYWJajW","GpdwcjP3cDneQaTbF","N94NEfdRnTcyXcg5P","Mt3To6SuEDqqAnZki","yDhN9JGJxcG56DJKw","5iJsrxNL2p3x5acur","jkPac6coMCnfPS9v6"],"keywords":[],"search_terms":["exploiting","logic","programming","runtime","verification","current","future","perspectives","ancona","ferrando","mascardi"],"title":"Exploiting Logic Programming for Runtime Verification: Current and Future Perspectives","year":2023}