default search action

combined dblp search
author search
venue search
publication search

ask others

Annals of Mathematics and Artificial Intelligence, Volume 80

> Home > Journals > Annals of Mathematics and Artificial Intelligence

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

Volume 80, Number 1, May 2017

Artificial Intelligence and Symbolic Computation: Selected papers from AISC 2014

- view
  authority control:
- export record
  dblp key:
  - journals/amai/Calmet17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/amai/Calmet17
Jacques Calmet:
Preface for the special issue devoted to AISC 2014. 1-2
- view
  authority control:
- export record
  dblp key:
  - journals/amai/BotanaR17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/amai/BotanaR17
Francisco Botana, Tomás Recio:
Computing envelopes in dynamic geometry environments. 3-20
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/amai/EglyKLP17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/amai/EglyKLP17
Uwe Egly, Martin Kronegger, Florian Lonsing, Andreas Pfandler:
Conformant planning as a case study of incremental QBF solving. 21-45
- view
  authority control:
- export record
  dblp key:
  - journals/amai/SendraSM17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/amai/SendraSM17
Juana Sendra, David Gómez Sánchez-Pascuala, Valerio Morán:
Design and implementation of maple packages for processing offsets and conchoids. 47-64
- view
  authority control:
- export record
  dblp key:
  - journals/amai/MartinezAKGSBPS17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/amai/MartinezAKGSBPS17
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
- view
  authority control:
- export record
  dblp key:
  - journals/amai/Benhamou17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/amai/Benhamou17
Belaïd Benhamou:
Local and global symmetry breaking in itemset mining. 91-112

Volume 80, Number 2, June 2017

- view
  authority control:
- export record
  dblp key:
  - journals/amai/DingZ17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/amai/DingZ17
Weifu Ding, Jiangshe Zhang:
Robust visual tracking using information theoretical learning. 113-129
- view
  authority control:
- export record
  dblp key:
  - journals/amai/BergentiM17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/amai/BergentiM17
Federico Bergenti, Stefania Monica:
Hyper-arc consistency of polynomial constraints over finite domains using the modified Bernstein form. 131-151
- view
  authority control:
- export record
  dblp key:
  - journals/amai/AronshtamCS17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/amai/AronshtamCS17
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

- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/amai/Combi17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/amai/Combi17
Carlo Combi:
Guest Editorial: Temporal representation and reasoning. 171-173
- view
  authority control:
- export record
  dblp key:
  - journals/amai/BelussiM17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/amai/BelussiM17
Alberto Belussi, Sara Migliorini:
A spatio-temporal framework for managing archeological data. 175-218
- view
  authority control:
- export record
  dblp key:
  - journals/amai/Grandi17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/amai/Grandi17
Fabio Grandi:
The RABTree and RAB-Tree: lean index structures for snapshot access in transaction-time databases. 219-245
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/amai/Grandi17a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/amai/Grandi17a
Fabio Grandi:
Erratum to: The RABTree and RAB- Tree: lean index structures for snapshot access in transaction-time databases. 247
- view
  authority control:
- export record
  dblp key:
  - journals/amai/SanchezS17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/amai/SanchezS17
Alejandro Sánchez, César Sánchez:
Parametrized verification diagrams: temporal verification of symmetric parametrized concurrent systems. 249-282
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/amai/FuriaS17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/amai/FuriaS17
Carlo A. Furia, Paola Spoletini:
Bounded variability of metric temporal logic. 283-316
- view
  authority control:
- export record
  dblp key:
  - journals/amai/McCabe-DanstedR17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/amai/McCabe-DanstedR17
John Christopher McCabe-Dansted, Mark Reynolds:
To be fair, use bundles. 317-364

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.