{"type":"ScholarlyArticle","title":"InfOCF-Web: An Online Tool for Nonmonotonic Reasoning with Conditionals and Ranking Functions","authors":[{"name":"Steven Kutsch","slug":"steven-kutsch","given":"Steven","family":"Kutsch","affiliation":""},{"name":"Christoph Beierle","slug":"christoph-beierle","given":"Christoph","family":"Beierle","affiliation":""}],"abstract":"InfOCF-Web provides implementations of system P and system Z inference, and of inference relations based on c-representation with respect to various inference modes and different classes of minimal models. It has an easy-to-use online interface for computing ranking models of a conditional knowledge R, and for answering queries and comparing inference results of nonmonotonic inference relations induced by R.","doi":"10.24963/ijcai.2021/711","url":"https://ijcai.org/proceedings/2021/711","pdf":"https://ijcai.org/proceedings/2021/0711.pdf","markdown":"https://ijcai.org/proceedings/2021/711.md","bibtex":"https://ijcai.org/proceedings/2021/bibtex/711","volume":{"slug":"2021","title":"Proceedings of the Thirtieth International Joint Conference on Artificial Intelligence","short_title":"IJCAI 2021","url":"https://ijcai.org/proceedings/2021/","year":2021,"location":"Montreal","dates":"19-27 August 2021","editors":"Prof. Zhi-Hua Zhou","isbn":"978-0-9992411-9-6","publisher":"International Joint Conferences on Artificial Intelligence Organization","doi_prefix":"10.24963/ijcai.2021"},"section":"Demo Track","track":"Demo Track","number":711,"pages":{"first":4996,"last":4999},"keywords":["Knowledge Representation and Reasoning: General","Constraint Programming: General","Uncertainty in AI: General"],"videos":[],"references":[],"license_note":"Copyright International Joint Conferences on Artificial Intelligence."}