%0 Conference Paper %1 conf/aiia/DalmonteNOP19 %A Dalmonte, Tiziano %A Negri, Sara %A Olivetti, Nicola %A Pozzato, Gian Luca %B AI*IA %D 2019 %E Alviano, Mario %E Greco, Gianluigi %E Scarcello, Francesco %I Springer %K dblp %P 165-179 %T PRONOM: Proof-Search and Countermodel Generation for Non-normal Modal Logics. %U http://dblp.uni-trier.de/db/conf/aiia/aiia2019.html#DalmonteNOP19 %V 11946 %@ 978-3-030-35166-3

@inproceedings{conf/aiia/DalmonteNOP19, added-at = {2019-11-26T00:00:00.000+0100}, author = {Dalmonte, Tiziano and Negri, Sara and Olivetti, Nicola and Pozzato, Gian Luca}, biburl = {https://www.bibsonomy.org/bibtex/21a9121bf36c5d36c8e99fb4b6d32f2e6/dblp}, booktitle = {AI*IA}, crossref = {conf/aiia/2019}, editor = {Alviano, Mario and Greco, Gianluigi and Scarcello, Francesco}, ee = {https://doi.org/10.1007/978-3-030-35166-3_12}, interhash = {3fdb35ededcca5694a5f1f5de9af4f92}, intrahash = {1a9121bf36c5d36c8e99fb4b6d32f2e6}, isbn = {978-3-030-35166-3}, keywords = {dblp}, pages = {165-179}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-11-27T11:52:05.000+0100}, title = {PRONOM: Proof-Search and Countermodel Generation for Non-normal Modal Logics.}, url = {http://dblp.uni-trier.de/db/conf/aiia/aiia2019.html#DalmonteNOP19}, volume = 11946, year = 2019 }