A Logic of Intention.

Xiaoping Chen Guiquan Liu

Published in: IJCAI (1999)

Keyphrases

modal logic
intention recognition
classical logic
database
sound and complete axiomatization
machine learning
learning algorithm
formal language
predicate logic
delay insensitive