default search action
Annals of Mathematics and Artificial Intelligence, Volume 67
Volume 67, Number 1, January 2013
- Yoram Bachrach, Michael Zuckerman, Michael J. Wooldridge, Jeffrey S. Rosenschein:
Proof systems and transformation games. 1-30 - Ana Pacheco, Jean-Luc Mari, Pedro Real:
A continuous analog for 4-dimensional objects. 71-80 - Mohamed Rouane Hacene, Marianne Huchard, Amedeo Napoli, Petko Valtchev:
Relational concept analysis: mining concept lattices from multi-relational data. 81-108
Volume 67, Number 2, February 2013
- Pierre Colomb, Alexis Irlande, Olivier Raynaud, Yoan Renaud:
Recursive decomposition and bounds of the lattice of Moore co-families. 109-122 - Stefano Bistarelli, Boi Faltings, Nicoleta Neagu:
Interchangeability with thresholds and degradation factors for Soft CSPs. 123-163 - Maher Helaoui, Wady Naanaa:
Modularity-based decompositions for valued CSP. 165-187
Volume 67, Numbers 3-4, March 2013
- Anastasia Analyti, Grigoris Antoniou, Carlos Viegas Damásio, Ioannis Pachoulakis:
A framework for modular ERDF ontologies. 189-249 - Subhrajit Bhattacharya, David Lipsky, Robert Ghrist, Vijay Kumar:
Invariants for homology classes with application to optimal search and planning problem in robotics. 251-281 - Mikko Lauri, Risto Ritala:
Planning for multiple measurement channels in a continuous-state POMDP. 283-317 - Beishui Liao:
Toward incremental computation of argumentation semantics: A decomposition-based approach. 319-358 - Christopher Jefferson, Peter Jeavons, Martin James Green, Marc R. C. van Dongen:
Representing and solving finite-domain constraint problems using systems of polynomials. 359-382
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.