Solving Modal Logic Problems by Translation to Higher-order Logic. Steen, A., Sutcliffe, G., Scholl, T., & Benzmüller, C. In Herzig, A., Luo, J., & Pardo, P., editors, Logic and Argumentation, 5th International Conference, CLAR 2023, Hangzhou, China, September 2023, Proceedings, volume 14156, of Lecture Notes in Artificial Intelligence, pages 25-43, 2023. Springer. doi bibtex @inproceedings{C97,
Author = {Alexander Steen and Geoff Sutcliffe and Tobias Scholl and Christoph Benzmüller},
Title = {Solving Modal Logic Problems by Translation to Higher-order Logic},
Booktitle = {Logic and Argumentation, 5th International
Conference, CLAR 2023, Hangzhou, China, September 2023, Proceedings},
OPTUrl = {https://link.springer.com/chapter/10.1007/978-3-031-40875-5_3},
Doi = {10.1007/978-3-031-40875-5_3},
Editor = {Andreas Herzig and Jieting Luo and Pere Pardo},
Pages = {25-43},
Publisher = {Springer},
Series = {Lecture Notes in Artificial Intelligence},
Volume = 14156,
Year = 2023,
addendum = {Best Paper Award},
}
Downloads: 0
{"_id":"xsscQzfcJbDwtLxgF","bibbaseid":"steen-sutcliffe-scholl-benzmller-solvingmodallogicproblemsbytranslationtohigherorderlogic-2023","author_short":["Steen, A.","Sutcliffe, G.","Scholl, T.","Benzmüller, C."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Alexander"],"propositions":[],"lastnames":["Steen"],"suffixes":[]},{"firstnames":["Geoff"],"propositions":[],"lastnames":["Sutcliffe"],"suffixes":[]},{"firstnames":["Tobias"],"propositions":[],"lastnames":["Scholl"],"suffixes":[]},{"firstnames":["Christoph"],"propositions":[],"lastnames":["Benzmüller"],"suffixes":[]}],"title":"Solving Modal Logic Problems by Translation to Higher-order Logic","booktitle":"Logic and Argumentation, 5th International Conference, CLAR 2023, Hangzhou, China, September 2023, Proceedings","opturl":"https://link.springer.com/chapter/10.1007/978-3-031-40875-5_3","doi":"10.1007/978-3-031-40875-5_3","editor":[{"firstnames":["Andreas"],"propositions":[],"lastnames":["Herzig"],"suffixes":[]},{"firstnames":["Jieting"],"propositions":[],"lastnames":["Luo"],"suffixes":[]},{"firstnames":["Pere"],"propositions":[],"lastnames":["Pardo"],"suffixes":[]}],"pages":"25-43","publisher":"Springer","series":"Lecture Notes in Artificial Intelligence","volume":"14156","year":"2023","addendum":"Best Paper Award","bibtex":"@inproceedings{C97,\n Author =\t {Alexander Steen and Geoff Sutcliffe and Tobias Scholl and Christoph Benzmüller},\n Title =\t {Solving Modal Logic Problems by Translation to Higher-order Logic},\n Booktitle =\t {Logic and Argumentation, 5th International\n Conference, CLAR 2023, Hangzhou, China, September 2023, Proceedings},\n OPTUrl = {https://link.springer.com/chapter/10.1007/978-3-031-40875-5_3},\t\t \n Doi =\t\t {10.1007/978-3-031-40875-5_3},\n Editor =\t {Andreas Herzig and Jieting Luo and Pere Pardo},\n Pages =\t {25-43},\n Publisher =\t {Springer},\n Series =\t {Lecture Notes in Artificial Intelligence},\n Volume =\t 14156,\n Year =\t 2023,\n addendum = {Best Paper Award},\n}\n\n\n","author_short":["Steen, A.","Sutcliffe, G.","Scholl, T.","Benzmüller, C."],"editor_short":["Herzig, A.","Luo, J.","Pardo, P."],"key":"C97","id":"C97","bibbaseid":"steen-sutcliffe-scholl-benzmller-solvingmodallogicproblemsbytranslationtohigherorderlogic-2023","role":"author","urls":{},"metadata":{"authorlinks":{}}},"bibtype":"inproceedings","biburl":"http://page.mi.fu-berlin.de/cbenzmueller/papers/chris.bib","dataSources":["ckRabafyoGpACyPpf"],"keywords":[],"search_terms":["solving","modal","logic","problems","translation","higher","order","logic","steen","sutcliffe","scholl","benzmüller"],"title":"Solving Modal Logic Problems by Translation to Higher-order Logic","year":2023}