Login / Signup

A Sound and Complete Axiomatization of Embedded Cross Dependencies.

François BancilhonPhilippe Richard
Published in: Theor. Comput. Sci. (1984)
Keyphrases
  • sound and complete axiomatization
  • belief revision
  • data structure
  • low cost
  • control software
  • website
  • multiscale
  • autonomous agents
  • conditional logic
  • dependency graphs