Independence Results in Algebraic Logic.

Tarek Sayed Ahmed

Published in: Log. J. IGPL (2006)

Keyphrases

algebraic structure
logic programming
computer algebra
higher order
modal logic
automated reasoning
multi valued
expert systems
conditional independence
predicate logic
classical logic
independence assumption
default reasoning
real time
website
information retrieval
real world