---
title: "InfOCF-Web: An Online Tool for Nonmonotonic Reasoning with Conditionals and Ranking Functions"
authors:
  - "Steven Kutsch"
  - "Christoph Beierle"
doi: "10.24963/ijcai.2021/711"
url: "https://ijcai.org/proceedings/2021/711"
pdf: "https://ijcai.org/proceedings/2021/0711.pdf"
venue: "Proceedings of the Thirtieth International Joint Conference on Artificial Intelligence"
year: 2021
pages: "4996-4999"
track: "Demo Track"
keywords:
  - "Knowledge Representation and Reasoning: General"
  - "Constraint Programming: General"
  - "Uncertainty in AI: General"
---

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

Steven Kutsch, Christoph Beierle

*Proceedings of the Thirtieth International Joint Conference on Artificial Intelligence*, pages 4996-4999. DOI: [10.24963/ijcai.2021/711](https://doi.org/10.24963/ijcai.2021/711)

## 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.