


default search action
Annals of Mathematics and Artificial Intelligence, Volume 49
Volume 49, Numbers 1-4, April 2007
- Anne Berry, Eric SanJuan
, Maurice Pouzet, Martin Charles Golumbic:
Introduction to the special volume on knowledge discovery and discrete mathematics and a tribute to the memory of Peter L. Hammer. 1-4 - Ivo Düntsch
, Dimiter Vakarelov:
Region-based theory of discrete spaces: A proximity approach. 5-14 - Mustapha Alami, Mohamed Bekkali, Latifa Faouzi, Driss Zhani:
Free poset algebras and combinatorics of cones. 15-26 - Mohamed Bekkali, Maurice Pouzet, Driss Zhani:
Incidence structures and Stone-Priestley duality. 27-38 - Marianne Huchard
, Mohamed Rouane Hacene, Cyril Roume, Petko Valtchev
:
Relational concept discovery in structured datasets. 39-76 - Sergei A. Obiedkov
, Vincent Duquenne:
Attribute-incremental construction of the canonical implication basis. 77-99 - Sergei O. Kuznetsov:
On stability of a formal concept. 101-115 - Anne Berry, Jean Paul Bordat, Alain Sigayret:
A local approach to concept generation. 117-136 - Florent Domenach
, Bruno Leclerc:
The structure of the overhanging relations associated with some types of closure systems. 137-149 - Michel Grabisch, Christophe Labreuche:
Derivative of functions over lattices as a basis for the notion of interaction between attributes. 151-170 - Amedeo Napoli, Florence Le Ber
:
The Galois lattice as a hierarchical structure for topological relations. 171-190 - Carlos Ansótegui
, Jose Larrubia, Chu Min Li, Felip Manyà
:
Exploiting multivalued knowledge in variable selection heuristics for SAT solvers. 191-205 - Daniel Singer
:
Linearly ordered semigroups for fuzzy set theory. 207-220 - Viorica Sofronie-Stokkermans:
Automated theorem proving by resolution in non-classical logics. 221-252 - Jerzy Tomasik, Jerzy Weyman:
Category localization semantics for specification refinements. 253-263 - Gabriela Alexe, Sorin Alexe, Tibérius O. Bonates, Alexander Kogan:
Logical analysis of data - the vision of Peter L. Hammer. 265-312

manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.