-Calculus.

Published in: Acta Informatica (2009)

Keyphrases

information systems
mobile robot
automated deduction
databases
neural network
similarity measure
bayesian networks
knowledge representation
proof procedure
algebraic structure