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