A Fragment of First Order Logic Adequate for Observation Equivalence.

Halit Oguztüzün

Published in: CSL (1991)

Keyphrases

artificial intelligence
real time
data sets
lower bound
expert systems
special case
datalog programs