Unification with expansion variables: preliminary results and problems ⋆... Instances of the unification problem in this setting are constraint sets, where constraints are pairs of ordinary terms, and unifiers are expansions....
Version of feb 13, 2007. please do not quote. comments welcome. mirrors, illusions and epistemic innocenceAbstract: Four major accounts of perception through a mirror are presented: two of them are unifier accounts (the entity one sees in the mirror is the same as the entity that gets reflected), and two are multiplier accounts (the entity seen is distinct from the entity...
A note on semantics of logic programs with equality based on complete sets of e-unifiersWe discuss semantics of equational Horn-clause programs based on the notion of a complete set of E-unifiers....
Unifier: unifying cache management and communication buffer management for pvfs over infiniband... In this paper, we put forward a component, called Unifier, to provide more efficient integration and better interaction among these components....
