Login / Signup

Using Truth-Preserving Reductions to Improve the Clarity of Kripke-Models.

Roope KaivolaAntti Valmari
Published in: CONCUR (1991)
Keyphrases
  • artificial intelligence
  • multi agent
  • multi agent systems
  • data model