Decomposition Proof Systems for Gödel-Dummett Logics.

Arnon Avron Beata Konikowska

Published in: Stud Logica (2001)

Keyphrases

complex systems
computer systems
data sets
learning algorithm
management system
bayesian networks
digital libraries
knowledge representation
distributed systems
intelligent systems
learning systems
decomposition method