Ptolemy: A Language with Quantified, Typed Events.

Hridesh Rajan Gary T. Leavens

Published in: ECOOP (2008)

Keyphrases

lambda calculus
programming language
event detection
natural language
higher order
language learning
information retrieval
machine learning
temporal patterns
english language
neural network
artificial intelligence
multi agent
object oriented
database
human activities
conceptual graphs
temporal relations