Logics Workbench 1.0.

Peter Balsiger Alain Heuerding Stefan Schwendimann

Published in: TABLEAUX (1998)

Keyphrases

expressive power
modal logic
proof theory
classical logic
data sets
neural network
artificial intelligence
inference rules
propositional calculus
propositional dynamic logic
web services
image segmentation
information technology
computational properties
truth values