S4 is Topologically Complete for (0, 1): a Short Proof.

Published in: Log. J. IGPL (2006)

Keyphrases

d objects
wide range
multiresolution
viewpoint
theorem proving
provably correct
neural network
genetic algorithm
artificial intelligence
decision making
multi agent
expert systems