A Fixed-Point Semantics for Plausible Logic.

David Billington

Published in: Australian Conference on Artificial Intelligence (2005)

Keyphrases

fixed point semantics
logic programs
logic programming
predicate logic
high level
modal logic
automated reasoning
defeasible logic