On Extracting Static Semantics.

Published in: The Essence of Computation (2002)

Keyphrases

formal semantics
logic programming
semantic information
specification language
automatically extracting
information retrieval
artificial intelligence
expert systems
conceptual model
default reasoning
logical framework
dynamic constraints
intended meaning