A rule based logic reorganization system LORES/EX.

J. Ishikawa H. Sato M. Hiramine Kasumi Ishida S. Oguri Y. Kazuma S. Murai

Published in: ICCD (1988)

Keyphrases

rule engine
expert systems
data driven
modal logic
rule base
defeasible logic
logical framework
multi step
classical logic
probabilistic logic
logic programming
data mining
multi agent
linear logic
dynamic logic
proof theory
social networks