Concrete Results on Abstract Rules

There are many different notions of “rule” in the literature. A key feature and main intuition of any such notion is that rules can be “applied” to derive conclusions from certain premises. More formally, a rule is viewed as a function that, when invoked on a set of known facts, can produce new fact...

全面介绍

书目详细资料
Main Authors: Krötzsch, M, Magka, D, Horrocks, I
格式: Conference item
出版: 2013