1 | -- | 2 | Jacques Calmet. Preface for the special issue devoted to AISC 2014 |
3 | -- | 20 | Francisco Botana, Tomás Recio. Computing envelopes in dynamic geometry environments |
21 | -- | 45 | Uwe Egly, Martin Kronegger, Florian Lonsing, Andreas Pfandler. Conformant planning as a case study of incremental QBF solving |
47 | -- | 64 | Juana Sendra, David Gómez Sánchez-Pascuala, Valerio Morán. Design and implementation of maple packages for processing offsets and conchoids |
65 | -- | 89 | Maricarmen Martínez, Ahmed M. H. Abdel-Fattah, Ulf Krumnack, Danny Gómez-Ramírez, Alan Smaill, Tarek Richard Besold, Alison Pease, Martin Schmidt, Markus Guhe, Kai-Uwe Kühnberger. Theory blending: extended algorithmic aspects and examples |
91 | -- | 112 | Belaïd Benhamou. Local and global symmetry breaking in itemset mining |