Making Computational Sense of Montague's Intensional Logic.

Jerry R. Hobbs Stanley J. Rosenschein

Published in: Artif. Intell. (1977)

Keyphrases

logic programming
real time
databases
modal logic
automated reasoning
classical logic
data sets
learning algorithm
information systems
website
abductive reasoning