InfOCF-Web: An Online Tool for Nonmonotonic Reasoning with Conditionals and Ranking Functions
Proceedings of the Thirtieth International Joint Conference on Artificial Intelligence. Demo Track. Pages 4996-4999.
https://doi.org/10.24963/ijcai.2021/711
Keywords
- Knowledge Representation and Reasoning: General
- Constraint Programming: General
- Uncertainty in AI: General
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.
Steven Kutsch, and Christoph Beierle. 2021. InfOCF-Web: An Online Tool for Nonmonotonic Reasoning with Conditionals and Ranking Functions. In Proceedings of the Thirtieth International Joint Conference on Artificial Intelligence, IJCAI-21. IJCAI, 4996–4999. https://doi.org/10.24963/ijcai.2021/711
Kutsch, S., & Beierle, C. (2021). InfOCF-Web: An Online Tool for Nonmonotonic Reasoning with Conditionals and Ranking Functions. In Proceedings of the Thirtieth International Joint Conference on Artificial Intelligence, IJCAI-21 (pp. 4996–4999). IJCAI. https://doi.org/10.24963/ijcai.2021/711
@inproceedings{ijcai2021p711,
title = {InfOCF-Web: An Online Tool for Nonmonotonic Reasoning with Conditionals and Ranking Functions},
author = {Kutsch, Steven and Beierle, Christoph},
booktitle = {Proceedings of the Thirtieth International Joint Conference on
Artificial Intelligence, {IJCAI-21}},
publisher = {International Joint Conferences on Artificial Intelligence Organization},
editor = {Prof. Zhi-Hua Zhou},
pages = {4996--4999},
year = {2021},
month = {8},
note = {Demo Track},
doi = {10.24963/ijcai.2021/711},
url = {https://doi.org/10.24963/ijcai.2021/711},
}
TY - CPAPER TI - InfOCF-Web: An Online Tool for Nonmonotonic Reasoning with Conditionals and Ranking Functions AU - Kutsch, Steven AU - Beierle, Christoph T2 - Proceedings of the Thirtieth International Joint Conference on Artificial Intelligence, IJCAI-21 PB - International Joint Conferences on Artificial Intelligence Organization PY - 2021 SP - 4996 EP - 4999 DO - 10.24963/ijcai.2021/711 UR - https://doi.org/10.24963/ijcai.2021/711 ER -Copied
Machine-readable versions of this paper, for tools and AI agents:
