Meaning Approached Via Proofs.

Published in: Synth. (2006)

Keyphrases

theorem prover
natural language
formal proofs
theorem proving
multi agent
real world
multiresolution
databases
information systems
optimal solution
special case
mobile robot
natural language processing
modal logic
semantic structure