Configurable Proof Obligations in the Frog Toolkit.

Simon Fraser Richard Banach

Published in: SEFM (2007)

Keyphrases

theorem prover
agent architecture
deontic logic
linear logic
mathematical proofs
multiresolution
data sets
neural network
data mining
search engine
information systems
image processing
data structure
artificial neural networks