Login / Signup
Bounded-Variable Fragments of Hybrid Logics.
Thomas Schwentick
Volker Weber
Published in:
STACS (2007)
Keyphrases
</>
expressive power
artificial intelligence
real time
neural network
modal logic
inference rules
hybrid approaches