Generalized Rational Relations and their Logical Definability.

Christian Choffrut Leucio Guerra

Published in: FCT (1997)

Keyphrases

logical structure
fixed point
semantic relations
spatial relations
propositional logic
logical theories
artificial intelligence
decision making
temporal relations
real time
background knowledge
probabilistic logic
truth values
logical operations