Login / Signup

Dynamic extensions of arrow logic.

Philippe BalbianiDimiter Vakarelov
Published in: Ann. Pure Appl. Log. (2004)
Keyphrases
  • predicate logic
  • knowledge base
  • multi agent systems
  • artificial neural networks
  • modal logic
  • dynamically changing
  • classical logic