On Extracting Static Semantics.

Published in: MFPS (2001)

Keyphrases

formal semantics
default reasoning
semantic information
proof theory
data sets
machine learning
logic programming
case study
bayesian networks
co occurrence
automatic extraction
automatically extracted
model theoretic