Modelling Language, Action, and Perception in Type Theory with Records.

Simon Dobnik Robin Cooper Staffan Larsson

Published in: CSLP (2012)

Keyphrases

modelling language
formal semantics
database
social networks
databases
artificial intelligence
expert systems