- Weifu Ding, Jiangshe Zhang:
Robust visual tracking using information theoretical learning. Ann. Math. Artif. Intell. 80(2): 113-129 (2017) - Uwe Egly, Martin Kronegger, Florian Lonsing
, Andreas Pfandler:
Conformant planning as a case study of incremental QBF solving. Ann. Math. Artif. Intell. 80(1): 21-45 (2017) - Natalia Flerova, Radu Marinescu, Rina Dechter:
Weighted heuristic anytime search: new schemes for optimization over graphical models. Ann. Math. Artif. Intell. 79(1-3): 77-128 (2017) - Carlo A. Furia
, Paola Spoletini:
Bounded variability of metric temporal logic. Ann. Math. Artif. Intell. 80(3-4): 283-316 (2017) - Alexander Gammerman, Vladimir Vovk
:
Foreword to this special issue: conformal and probabilistic prediction with applications. Ann. Math. Artif. Intell. 81(1-2): 1-2 (2017) - Fabio Grandi:
The RABTree and RAB-Tree: lean index structures for snapshot access in transaction-time databases. Ann. Math. Artif. Intell. 80(3-4): 219-245 (2017) - Fabio Grandi:
Erratum to: The RABTree and RAB- Tree: lean index structures for snapshot access in transaction-time databases. Ann. Math. Artif. Intell. 80(3-4): 247 (2017) - Dan Gutfreund, Aryeh Kontorovich, Ran Levy
, Michal Rosen-Zvi:
Boosting conditional probability estimators. Ann. Math. Artif. Intell. 79(1-3): 129-144 (2017) - Utz-Uwe Haus, Carla Michini
:
Compact representations of all members of an independence system. Ann. Math. Artif. Intell. 79(1-3): 145-162 (2017) - Lisa Hellerstein, Lev Reyzin, György Turán:
Foreword. Ann. Math. Artif. Intell. 79(1-3): 1-3 (2017) - Gabriele Kern-Isberner, Marco Wilhelm
, Christoph Beierle:
Probabilistic knowledge representation using the principle of maximum entropy and Gröbner basis theory. Ann. Math. Artif. Intell. 79(1-3): 163-179 (2017) - Shufeng Kong
, Sanjiang Li
, Yongming Li
, Zhiguo Long
:
On tree-preserving constraints. Ann. Math. Artif. Intell. 81(3-4): 241-271 (2017) - Alexander P. Kuleshov, Alexander Bernstein:
Nonlinear multi-output regression on unknown input manifold. Ann. Math. Artif. Intell. 81(1-2): 209-240 (2017) - Craig E. Larson, Nicolas Van Cleemput:
Automated conjecturing III - Property-relations conjectures. Ann. Math. Artif. Intell. 81(3-4): 315-327 (2017) - Mikko Lauri
, Aino Ropponen, Risto Ritala
:
Meeting a deadline: shortest paths on stochastic directed acyclic graphs with information gathering. Ann. Math. Artif. Intell. 79(4): 337-370 (2017) - Manuele Leonelli
, Eva Riccomagno, Jim Q. Smith:
A symbolic algebra for the computation of expected utilities in multiplicative influence diagrams. Ann. Math. Artif. Intell. 81(3-4): 273-313 (2017) - Dimitris Magos, Ioannis Mourtos
:
Submodularity and its application to some global constraints. Ann. Math. Artif. Intell. 79(4): 267-289 (2017) - 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. Ann. Math. Artif. Intell. 80(1): 65-89 (2017) - John Christopher McCabe-Dansted, Mark Reynolds
:
To be fair, use bundles. Ann. Math. Artif. Intell. 80(3-4): 317-364 (2017) - Ignacio Montes
, Sébastien Destercke
:
On extreme points of p-boxes and belief functions. Ann. Math. Artif. Intell. 81(3-4): 405-428 (2017) - Hiromi Narimatsu, Hiroyuki Kasai
:
State duration and interval modeling in hidden semi-Markov model for sequential data analysis. Ann. Math. Artif. Intell. 81(3-4): 377-403 (2017) - Seishi Ouchi, Tomohiko Okayama, Keisuke Otaki, Ryo Yoshinaka
, Akihiro Yamamoto:
Learning concepts and their unions from positive data with refinement operators. Ann. Math. Artif. Intell. 79(1-3): 181-203 (2017) - Xia Qu, Prashant Doshi:
On the role of fairness and limited backward induction in sequential bargaining games - New behavioral models and analyses. Ann. Math. Artif. Intell. 79(1-3): 205-227 (2017) - Tomás de la Rosa, Raquel Fuentetaja
:
Bagging strategies for learning planning policies. Ann. Math. Artif. Intell. 79(4): 291-305 (2017) - Alejandro Sánchez, César Sánchez
:
Parametrized verification diagrams: temporal verification of symmetric parametrized concurrent systems. Ann. Math. Artif. Intell. 80(3-4): 249-282 (2017) - Juana Sendra
, David Gómez Sánchez-Pascuala
, Valerio Morán:
Design and implementation of maple packages for processing offsets and conchoids. Ann. Math. Artif. Intell. 80(1): 47-64 (2017) - Pavel Surynek
:
Time-expanded graph-based propositional encodings for makespan-optimal solving of cooperative path finding problems. Ann. Math. Artif. Intell. 81(3-4): 329-375 (2017) - Paolo Toccaceli
, Ilia Nouretdinov, Alexander Gammerman:
Conformal prediction of biological activity of chemical compounds. Ann. Math. Artif. Intell. 81(1-2): 105-123 (2017) - Takahisa Toda
:
Dualization of boolean functions using ternary decision diagrams. Ann. Math. Artif. Intell. 79(1-3): 229-244 (2017) - Jan Triska
, Vilém Vychodil:
Logic of temporal attribute implications. Ann. Math. Artif. Intell. 79(4): 307-335 (2017)