DSpace Repository

Browsing by Author "Nation, J.B."

Browsing by Author "Nation, J.B."

Sort by: Order: Results:

  • A class of infinite convex geometries 
    Adaricheva, Kira; Nation, J.B. (2015)
    Various characterizations of finite convex geometries are well known. This note provides similar characterizations for possibly infinite convex geometries whose lattice of closed sets is strongly coatomic and lower ...
  • Algebraic methods of data retrieval 
    Adaricheva, K.; Nation, J.B. (Nazarbayev University, 2013)
    Discovery of (strong) association rules, or implications, between the attributes of a binary table is an important task in data management, and it finds application in artificial intelligence, data mining and the semantic ...
  • Discovery of the D-basis in binary tables based on hypergraph dualization 
    Adaricheva, Kira; Nation, J.B. (2016)
    Discovery of (strong) association rules, or implications, is an important task in data management, and it nds application in arti cial intelligence, data mining and the semantic web. We introduce a novel approach for ...
  • Lattices of quasi-equational theories as congruence lattices of semilattices with operators, part II 
    Adaricheva, Kira; Nation, J.B. (2012)
    Part I proved that for every quasivariety K of structures (which may have both operations and relations) there is a semilattice S with operators such that the lattice of quasi-equational theories of K (the dual of the ...
  • On implicational bases of closure system with unique critical sets 
    Adaricheva, Kira; Nation, J.B. (2013)
    We show that every optimum basis of a nite closure system, in D. Maier's sense, is also right-side optimum, which is a parameter of a minimum CNF representation of a Horn Boolean function. New parameters for the size ...
  • Ordered direct implication basis of a finite closure system 
    Adaricheva, Kira; Nation, J.B.; Rand, R. (2012)
    Closure system on a nite set is a unifying concept in logic programming, relational data bases and knowledge systems. It can also be presented in the terms of nite lattices, and the tools of economic description of a ...