Volume 80, Issue 1 | Annals of Mathematics and Artificial Intelligence

Search all Annals of Mathematics and Artificial Intelligence articles

Volume 80, Issue 1

May 2017

Artificial Intelligence and Symbolic Computation: Selected papers from AISC 2014

Issue Editors:

Jacques Calmet,
Gonzalo A. Aranda-Corral,
Francisco J. Martín Mateos

6 articles in this issue

Preface for the special issue devoted to AISC 2014
Jacques Calmet
EditorialNotes 12 April 2017 Pages: 1 - 2
Computing envelopes in dynamic geometry environments
Francisco Botana
Tomas Recio
OriginalPaper 01 March 2016 Pages: 3 - 20
Conformant planning as a case study of incremental QBF solving
Uwe Egly
Martin Kronegger
Andreas Pfandler
OriginalPaper Open access 24 March 2016 Pages: 21 - 45
Design and implementation of maple packages for processing offsets and conchoids
Juana Sendra
David Gómez Sánchez-Pascuala
Valerio Morán
OriginalPaper 16 April 2016 Pages: 47 - 64
Theory blending: extended algorithmic aspects and examples
M. Martinez
A. M. H. Abdel-Fattah
K.-U. Kühnberger
OriginalPaper 13 April 2016 Pages: 65 - 89
Local and global symmetry breaking in itemset mining
Belaïd Benhamou
OriginalPaper 15 October 2016 Pages: 91 - 112