A semantics for lazy assertions.

Published in: PEPM (2011)

Keyphrases

formal semantics
knowledge base
logic programming
semantic information
semantic representation
databases
search engine
query language
conceptual graphs
speech acts
logical language
intended meaning