The Rough Logic and Roughness of Logical Theories.

Cungen Cao Yuefei Sui Zaiyue Zhang

Published in: RSKT (2006)

Keyphrases

logical theories
situation calculus
propositional logic
inductive logic programming
belief revision
uncertain databases
rough sets
conceptual structures
reasoning about actions
information retrieval
reasoning tasks
natural deduction
machine learning
prior knowledge
logic programming
logical framework