Considerations on the logic of intention.

Published in: TARK (2009)

Keyphrases

modal logic
classical logic
logic programming
automated reasoning
knowledge base
probabilistic logic
defeasible logic
proof theory
real time
machine learning
information retrieval
website
natural language
set theory