InfOCF-Web: An Online Tool for Nonmonotonic Reasoning with Conditionals and Ranking Functions

Steven Kutsch; Christoph Beierle

IJCAI 2021poster23 citations

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.

Constraint Programming: GeneralKnowledge Representation and Reasoning: GeneralUncertainty in AI: General

BibTeX

@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    = {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},
}