Login / Signup
A Semantics for Probabilistic Quantifier-Free First-Order Languages, with Particular Application to Story Understanding.
Eugene Charniak
Robert P. Goldman
Published in:
IJCAI (1989)
Keyphrases
</>
quantifier free
quantifier elimination
rewrite systems
first order logic
databases
artificial intelligence
term rewriting
learning algorithm
logic programming
formal semantics
operational semantics