Matrice de ramification des arbres binaires.

Jean-Guy Penaud

Published in: Discret. Appl. Math. (1991)

Keyphrases

reasoning about actions
situation calculus
classical logic
general purpose
artificial intelligence
high level
database systems
stereo matching