Login / Signup
Using Truth-Preserving Reductions to Improve the Clarity of Kripke-Models.
Roope Kaivola
Antti Valmari
Published in:
CONCUR (1991)
Keyphrases
</>
artificial intelligence
multi agent
multi agent systems
data model