A Logic for Ambiguous Description.

Arthur Buchsbaum

Published in: Electron. Notes Theor. Comput. Sci. (2002)

Keyphrases

high level
logic programming
modal logic
classical logic
predicate logic
asynchronous circuits
machine learning
sound and complete axiomatization
database
real time
bayesian networks
multiscale
multi agent systems
evolutionary algorithm
automated reasoning
epistemic logic