Login / Signup

Is the Interesting Part of Process Logic Uninteresting? A Translation from PL to PDL.

Rivi ShermanAmir PnueliDavid Harel
Published in: SIAM J. Comput. (1984)
Keyphrases
  • association rules
  • process model
  • database
  • neural network
  • propositional dynamic logic
  • information retrieval
  • artificial intelligence
  • multi agent
  • logic programming