Login / Signup

Bounded-Variable Fragments of Hybrid Logics.

Thomas SchwentickVolker Weber
Published in: STACS (2007)
Keyphrases
  • expressive power
  • artificial intelligence
  • real time
  • neural network
  • modal logic
  • inference rules
  • hybrid approaches