A subsumption lattice is a mathematical structure used in the theoretical background of automated theorem proving and other symbolic computation applications...

space Invariant subspace Closure operator Abstract interpretation Subsumption lattice Fuzzy set theory Algebraizations of first-order logic Semantics of...

Theta-subsumption (θ-subsumption, or just subsumption) is a decidable relation between two first-order clauses that guarantees that one clause logically...

proposed by Gordon Plotkin, leading to a bottom-up search through the subsumption lattice. In 1992, shortly after its introduction, Golem was considered the...

two terms, dual to computing a most general instance (mgu) Subsumption lattice, a lattice having unification as meet and anti-unification as join Ontology...

{\textstyle C_{2}} . This lattice can be traversed either bottom-up or top-down. Bottom-up methods to search the subsumption lattice have been investigated...

notation Omega and agemo subgroup, in group theory Ω, an element in a subsumption lattice Prime omega function, in number theory OMEGA, an instrument on Mars...

originally defined for lattices only. In this case, the following equivalent definition can be given: a subset I of a lattice ( P , ≤ ) {\displaystyle...

general. Operations between graphs include evaluating the direction of a subsumption relationship between two graphs, if any, and computing graph unification...

Schmolze, 1985). During the '80s other DL-based systems using structural subsumption algorithms were developed including KRYPTON (1983), LOOM (1987), BACK...

Sanders Peirce, including subsumption and quantification. Schröder also made original contributions to algebra, set theory, lattice theory, ordered sets and...

carries meaning.“ The third is called lattice. Tomabechi describe a universe as a Subsumption Partial Ordered Set Lattice. The highest point in Tomabechi's...

equated with taxonomic hierarchies of classes, class definitions, and the subsumption relation, but ontologies need not be limited to these forms. Ontologies...

{\displaystyle l} . Note that the rule [ C 7 ] {\displaystyle [C7]} is a subsumption rule, which means that any command that is of security type h i g h {\displaystyle...

s\lesssim t} if a subterm of t is a substitution instance of s. Theta-subsumption, which is when the literals in a disjunctive first-order formula are...

semiosis. Global divisions of ways for phenomena to stand as signs, and the subsumption of inquiry and thinking within inference as a sign process, enable the...

about 24-cell 24-cell animations 24-cell in stereographic projections Subsumptions of regular polytopes 24-cell description and diagrams Archived 2007-07-15...

confused with crystal isomorphism) is readily computed even though, as a subsumption of the graph isomorphism problem, it is apparently computationally difficult...

structural analysis structural engineering structural load sublimation subsumption architecture surface tension superconductor superhard material surveying...

solid-to-gas transition which always occurs as sublimation from the surface. Subsumption architecture is a reactive robotic architecture heavily associated with...