Bilattices in Logic Prograrnming.

Published in: ISMVL (1990)

Keyphrases

modal logic
similarity measure
logic programming
logical framework
classical logic
predicate logic
decision making
multi agent systems
query language
automated reasoning
multi valued
computational properties
nonmonotonic logics
asynchronous circuits