Resolving Modal Anaphora in Dependent Type Semantics.

Ribeka Tanaka Koji Mineshima Daisuke Bekki

Published in: JSAI-isAI Workshops (2014)

Keyphrases

nonmonotonic logics
logic programming
modal logic
artificial intelligence
real time
data mining
high level
domain knowledge
formal semantics
database query languages