Practical Reflection for Sequent Logics.

Jason Hickey Aleksey Nogin Xin Yu Alexei Kopylov

Published in: Electron. Notes Theor. Comput. Sci. (2007)

Keyphrases

modal logic
inference rules
data sets
expressive power
real world
nonmonotonic logics
database
databases
artificial intelligence
decision making
website
artificial neural networks
description logics
practical problems