default search action
BibTeX record conf/ijcai/RoveriCFG22
@inproceedings{DBLP:conf/ijcai/RoveriCFG22, author = {Marco Roveri and Claudio Di Ciccio and Chiara Di Francescomarino and Chiara Ghidini}, editor = {Giuseppe De Giacomo and Antonella Guzzo and Marco Montali and Lior Limonad and Fabiana Fournier and Tagatha Chakraborti}, title = {Computing unsatisfiable cores for LTLf specifications}, booktitle = {Proceedings of the Workshop on Process Management in the {AI} Era {(PMAI} 2022) co-located with 31st International Joint Conference on Artificial Intelligence and the 25th European Conference on Artificial Intelligence {(IJCAI-ECAI} 2022), Wien, Austria, July 23, 2022}, series = {{CEUR} Workshop Proceedings}, volume = {3310}, pages = {81--84}, publisher = {CEUR-WS.org}, year = {2022}, url = {https://ceur-ws.org/Vol-3310/paper12.pdf}, timestamp = {Fri, 10 Mar 2023 16:23:32 +0100}, biburl = {https://dblp.org/rec/conf/ijcai/RoveriCFG22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.