Skip to content

Latest commit

 

History

History
29 lines (15 loc) · 1.27 KB

File metadata and controls

29 lines (15 loc) · 1.27 KB

ProbPopper

This is a probabilistic versoin of Popper, inspired by ProbFOIL.

Requirements

Clingo 5.5.0

ProbLog

Usage

See the original README.md. Since the format of the example file has changed, refer to the new examples.

Negation

You can now include mutually exclusive predicates in your bk, by adding an exclusive predicate in the bias file. See the surf example.

Status

Functional testing does not work for now.

References