Journal: Annals of Mathematics and Artificial Intelligence

Volume 70, Issue 4

313 -- 314Miroslav N. Velev, John Franco. Application of constraints to formal verification and artificial intelligence
315 -- 349Alex Groce, Klaus Havelund, Gerard J. Holzmann, Rajeev Joshi, Ru-Gang Xu. Establishing flight software reliability: testing, model checking, constraint-solving, monitoring and learning
351 -- 398Jan Duracz, Michal Konecný. Polynomial function intervals for floating-point software verification
399 -- 431Bistra N. Dilkina, Carla P. Gomes, Ashish Sabharwal. Tradeoffs in the complexity of backdoors to satisfiability: dynamic sub-solvers and learning during search

Volume 70, Issue 3

185 -- 202Shai Ben-David, Ruth Urner. Domain adaptation-can quantity compensate for quality?
203 -- 220Jonghoek Kim. Cooperative exploration and protection of a workspace assisted by information networks
221 -- 277Anastasia Analyti, Carlos Viegas Damásio, Grigoris Antoniou, Ioannis Pachoulakis. Why-provenance information for RDF, rules, and negation
279 -- 312Rosa Camps, Xavier Mora, Laia Saumell. Social choice rules driven by propositional logic

Volume 70, Issue 1-2

1 -- 3Amedeo Napoli. Preface to the special issue on "Concept Lattice and their Applications" (CLA-2011)
5 -- 24Konstantin Bazhanov, Sergei A. Obiedkov. Optimizations in computing the Duquenne-Guigues basis of implications
25 -- 53Uwe Ryssel, Felix Distel, Daniel Borchmann. Fast algorithms for implication bases and attribute exploration using proper premises
55 -- 79Mehdi Kaytoue, Sergei O. Kuznetsov, Juraj Macko, Amedeo Napoli. Biclustering meets triadic concept analysis
81 -- 105Laszlo Szathmary, Petko Valtchev, Amedeo Napoli, Robert Godin, Alix Boc, Vladimir Makarenkov. A fast compound algorithm for mining generators, closed itemsets, and computing links between equivalence classes
107 -- 122Pierre Colomb, Alexis Irlande, Olivier Raynaud, Yoan Renaud. Recursive decomposition tree of a Moore co-family and closure algorithm
123 -- 150Ingrid Falk, Claire Gardent. Combining formal concept analysis and translation to assign frames and semantic role sets to French verbs
151 -- 184Radim Belohlávek, Dhouha Grissa, Sylvie Guillaume, Engelbert Mephu Nguifo, Jan Outrata. Boolean factors as a means of clustering of interestingness measures of association rules