Reasoning about goal-directed real-time teleo-reactive programs.

Brijesh Dongol Ian J. Hayes Peter J. Robinson

Published in: Formal Aspects Comput. (2014)

Keyphrases

automatic programming
goal directed
real time
rational agents
autonomous robots
qualitative reasoning
automated planning
autonomous learning
database
neural network
artificial intelligence
high speed
real time systems