Login / Signup
A Resolution Decision Procedure for the Guarded Fragment with Transitive Guards.
Yevgeny Kazakov
Published in:
IJCAR Doctoral Programme (2004)
Keyphrases
</>
transitive closure
guarded fragment
decision making
decision makers
expressive power
high resolution
databases
natural language
np hard
first order logic
incomplete information