On the Instantiation of ADL Operators Involving Arbitrary First-Order Formulas.

Jana Koehler Jörg Hoffmann

Published in: PuK (2000)

Keyphrases

horn clauses
higher order
first order logic
predicate calculus
real numbers
quantifier free
action theories
description language
logical formulas
belief base
decision diagrams
stochastic dominance
neural network
morphological operators
multi valued
quantifier elimination