{"type":"ScholarlyArticle","title":"Automating Quantified Conditional Logics in HOL","authors":[{"name":"Christoph Benzmüller","slug":"christoph-benzmuller","given":"Christoph","family":"Benzmüller","affiliation":""}],"abstract":"A notion of quantified conditional logics is provided that includes quantification over individual and propositional variables. The former is supported with respect to constant and variable domain semantics. In addition, a sound and complete embedding of this framework in classical higher-order logic is presented. Using prominent examples from the literature it is demonstrated how this embedding enables effective automation of reasoning within (object-level) and about (meta-level) quantified conditional logics with off-the-shelf higher-order theorem provers and model finders.","doi":null,"url":"https://ijcai.org/proceedings/2013/117","pdf":"https://ijcai.org/proceedings/2013/0117.pdf","markdown":"https://ijcai.org/proceedings/2013/117.md","bibtex":"https://ijcai.org/proceedings/2013/bibtex/117","volume":{"slug":"2013","title":"Proceedings of the Twenty-Third International Joint Conference on Artificial Intelligence","short_title":"IJCAI 2013","url":"https://ijcai.org/proceedings/2013/","year":2013,"location":"Beijing, China","dates":"3–9 August 2013","editors":"Francesca Rossi","isbn":"978-1-57735-633-2","publisher":"AAAI Press / International Joint Conferences on Artificial Intelligence","doi_prefix":""},"section":null,"track":"","number":117,"pages":{"first":746,"last":752},"keywords":[],"videos":[],"references":[],"license_note":"Copyright International Joint Conferences on Artificial Intelligence."}