Syntax of BReLS

Sources

source(p): [t] f

p
penalty
t
time (default=always)
f
formula (| is or, & is and, and - is not)

Changes

change(p): [t] l

p
penalty
t
time (default=always)
l
literal (e.g. -2)

Queries

query: [t] f

t
time (default=always)
f
formula (| is or, & is and, and - is not)

Semantics specification

pointwise (default)

backward

Algorithm

exhaustive (default)

mindp