A Logical Calculus for Modelling Interferences.

Christophe Fouqueré

Published in: ICTAC (2007)

Keyphrases

real time
artificial intelligence
logical reasoning
expert systems
automated deduction
logical operations
databases
expressive power
logical structure
algebraic structure
computer algebra
lambda calculus