Digital solutions for inference rules in decision-supporting systems.

Erika Matsak Peeter Lorents

Published in: ICDIM (2010)

Keyphrases

inference rules
databases
theorem prover
data sets
xml documents
data model
first order logic
modal logic
logical framework
sequent calculus