Algorithme pour le traitement incrémental des contraintes linéaires sur les nombres rationnels.

Published in: JFPLC (1995)

Keyphrases

special case
situation calculus
mental states
human intelligence
artificial intelligence
web services
neural network
information systems
case study
artificial neural networks
mobile robot
intelligent systems
human decision making