A Logical Characterization of Observation Equivalence.

Stephen L. Bloom Douglas R. Troeger

Published in: Theor. Comput. Sci. (1985)

Keyphrases

data sets
databases
neural network
digital libraries
logical representation
database
artificial intelligence
database systems
expert systems
mobile robot
logic programs
probabilistic logic
logical structure
logical properties
logical reasoning