InfOCF-Web: An Online Tool for Nonmonotonic Reasoning with Conditionals and Ranking Functions
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.
Cite
Text
Kutsch and Beierle. "InfOCF-Web: An Online Tool for Nonmonotonic Reasoning with Conditionals and Ranking Functions." International Joint Conference on Artificial Intelligence, 2021. doi:10.24963/IJCAI.2021/711Markdown
[Kutsch and Beierle. "InfOCF-Web: An Online Tool for Nonmonotonic Reasoning with Conditionals and Ranking Functions." International Joint Conference on Artificial Intelligence, 2021.](https://mlanthology.org/ijcai/2021/kutsch2021ijcai-infocf/) doi:10.24963/IJCAI.2021/711BibTeX
@inproceedings{kutsch2021ijcai-infocf,
title = {{InfOCF-Web: An Online Tool for Nonmonotonic Reasoning with Conditionals and Ranking Functions}},
author = {Kutsch, Steven and Beierle, Christoph},
booktitle = {International Joint Conference on Artificial Intelligence},
year = {2021},
pages = {4996-4999},
doi = {10.24963/IJCAI.2021/711},
url = {https://mlanthology.org/ijcai/2021/kutsch2021ijcai-infocf/}
}