McCarthy variations in a modal key.

Johan van Benthem

Published in: Artif. Intell. (2011)

Keyphrases

modal logic
key technologies
neural network
artificial intelligence
high quality
wide range
computational complexity
preprocessing
situation calculus
nonmonotonic logics
view angle