Program Tactics and Logic Tactics.

Fausto Giunchiglia Paolo Traverso

Published in: Ann. Math. Artif. Intell. (1996)

Keyphrases

real time
real world
artificial intelligence
temporal logic
classical logic
database
databases
machine learning
high level
program execution
asynchronous circuits