Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDAnnals of Mathematics and Artificial Intelligence, Volume 80
Volume 80, Number 1, May 2017
- Jacques Calmet:
Preface for the special issue devoted to AISC 2014. 1-2
- Francisco Botana, Tomás Recio:
Computing envelopes in dynamic geometry environments. 3-20 - Uwe Egly, Martin Kronegger, Florian Lonsing
, Andreas Pfandler:
Conformant planning as a case study of incremental QBF solving. 21-45 - Juana Sendra, David Gómez Sánchez-Pascuala, Valerio Morán:
Design and implementation of maple packages for processing offsets and conchoids. 47-64 - 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. 65-89 - Belaïd Benhamou:
Local and global symmetry breaking in itemset mining. 91-112
Volume 80, Number 2, June 2017
- Weifu Ding, Jiangshe Zhang:
Robust visual tracking using information theoretical learning. 113-129 - Federico Bergenti, Stefania Monica:
Hyper-arc consistency of polynomial constraints over finite domains using the modified Bernstein form. 131-151 - Lior Aronshtam, Havatzelet Cohen, Tammar Shrot:
Tennis manipulation: can we help serena williams win another tournament? - Or can we control a knockout tournament with reasonable complexity? 153-169
Volume 80, Numbers 3-4, August 2017
- Carlo Combi:
Guest Editorial: Temporal representation and reasoning. 171-173 - Alberto Belussi, Sara Migliorini:
A spatio-temporal framework for managing archeological data. 175-218 - Fabio Grandi:
The RABTree and RAB-Tree: lean index structures for snapshot access in transaction-time databases. 219-245 - Fabio Grandi:
Erratum to: The RABTree and RAB- Tree: lean index structures for snapshot access in transaction-time databases. 247 - Alejandro Sánchez, César Sánchez:
Parametrized verification diagrams: temporal verification of symmetric parametrized concurrent systems. 249-282 - Carlo A. Furia, Paola Spoletini:
Bounded variability of metric temporal logic. 283-316 - John Christopher McCabe-Dansted, Mark Reynolds:
To be fair, use bundles. 317-364
a service of 
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.
last updated on 2023-10-01 22:15 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
