CiteSeerX — Table search results

Results 1 - 10 of 212

Table 2 Horn#1

in unknown title

by unknown authors

Table 1. Sounds recorded on the Horn

in The Ambient Horn: Designing a novel audio-based learning experience

by Cliff Randell, Sara Price, Eric Harris, Geraldine Fitzpatrick 2004

Cited by 6

Table 2: HA {Horn axioms

in Combining algebraic and set theoretic specifications

by Peter D. Mosses, Claus Hintermeier, Hélène Kirchner 1995

Cited by 3

Table 1: Some properties of Horn GLBs and LUBs.

in Semantical and Computational Aspects of Horn Approximations

by Marco Cadoli 1993

"... In PAGE 2: ... It is also important to notice that Horn GLBs and LUBs can be computed o -line, hence this form of approximate reasoning is actually a compilation. Table1 summarizes the major properties of Horn GLBs and LUBs stated in [Selman and Kautz, 1991; Kautz and Selman, 1992]. The four columns refer re- spectively to: logical relation wrt (i.... ..."

Cited by 26

Table 4. Horn axioms for describing equality.

in Expressive OWL Reasoning with Logic Programs

by Markus Krötzsch, Pascal Hitzler, Michael Sintek, Denny Vrandecic, Denny Vr

"... In PAGE 9: ... However, it is well known that one can axiomatically describe an equality predicate in Horn logic, as long as only finitely many predicate symbols are considered. The corresponding clauses are depicted in Table4 . In order to ensure that these rules do not impair decidability, one must slightly extend them to become DL- safe, as explained in Section 5.... ..."