Dynamic Semantics as Monadic Computation.

Christina Unger

Published in: JSAI-isAI Workshops (2011)

Keyphrases

dynamic environments
logic programming
formal semantics
database
logic programs
semantic information
machine learning
information retrieval
artificial intelligence
knowledge base
mobile robot
integrity constraints
conceptual model