Modelling conditional rewriting logic in structured categories.

Hiroyuki Miyoshi

Published in: WRLA (1996)

Keyphrases

conditional logic
logic programming
random field model
structured data
modal logic
nonmonotonic inference
multi valued
databases
classical logic
causal reasoning
rewrite rules
query rewriting
rewriting rules
deontic logic
automated reasoning
relational databases
multi agent systems
real world