Two Proof Systems for Peirce Algebras.

Renate A. Schmidt Ewa Orlowska Ullrich Hustadt

Published in: RelMiCS (2003)

Keyphrases

three dimensional
expert systems
management system
learning systems
machine learning
learning algorithm
multi agent systems
relational databases
building blocks
complex systems
retrieval systems
spatial reasoning