- Christoph Beierle, Steven Kutsch, Kai Sauerwald:
Compilation of static and evolving conditional knowledge bases for computing induced nonmonotonic inference relations. Ann. Math. Artif. Intell. 87(1-2): 5-41 (2019) - Federico Bergenti
, Stefania Monica
:
A subdivision algorithm to reason on high-degree polynomial constraints over finite domains. Ann. Math. Artif. Intell. 87(4): 343-360 (2019) - Satyanath Bhat
, Shweta Jain, Sujit Gujar, Y. Narahari:
An optimal bidimensional multi-armed bandit auction for multi-unit procurement. Ann. Math. Artif. Intell. 85(1): 1-19 (2019) - Lukasz Bialek, Barbara Dunin-Keplicz, Andrzej Szalas
:
A paraconsistent approach to actions in informationally complex environments. Ann. Math. Artif. Intell. 86(4): 231-255 (2019) - Joachim Biskup
, Marcel Preuß:
Checking inference-proofness of attribute-disjoint and duplicate-preserving fragmentations. Ann. Math. Artif. Intell. 87(1-2): 43-82 (2019) - Bart Bogaerts
, Esra Erdem
, Amelia Harrison:
Guest editorial: special issue on answer set programming and other computing paradigms. Ann. Math. Artif. Intell. 86(1-3): 1-2 (2019) - David Braun
, Nicolas Magaud
, Pascal Schreck:
Two cryptomorphic formalizations of projective incidence geometry. Ann. Math. Artif. Intell. 85(2-4): 193-212 (2019) - Curtis Bright
, Dragomir Z. Dokovic, Ilias S. Kotsireas, Vijay Ganesh
:
The SAT+CAS method for combinatorial search with applications to best matrices. Ann. Math. Artif. Intell. 87(4): 321-342 (2019) - Katarina Britz, Ivan Varzinczak
:
Contextual rational closure for defeasible ALC. Ann. Math. Artif. Intell. 87(1-2): 83-108 (2019) - Pedro Cabalar, Stefania Costantini, Giovanni De Gasperis, Andrea Formisano
:
Multi-context systems in dynamic environments. Ann. Math. Artif. Intell. 86(1-3): 87-120 (2019) - Pedro Cabalar, Carlos Pérez, Gilberto Pérez:
Equilibrium graphs. Ann. Math. Artif. Intell. 86(1-3): 3-19 (2019) - John Cantwell, Hans Rott
:
Probability, coherent belief and coherent belief changes. Ann. Math. Artif. Intell. 87(3): 259-291 (2019) - Corinna Cortes, Spencer Greenberg
, Mehryar Mohri:
Relative deviation learning bounds and generalization with unbounded loss functions. Ann. Math. Artif. Intell. 85(1): 45-70 (2019) - Stefania Costantini
, Giovanni De Gasperis, Raffaele Olivieri:
Digital forensics and investigations meet artificial intelligence. Ann. Math. Artif. Intell. 86(1-3): 193-229 (2019) - Noa Eidelstein, Lior Aronshtam, Eitan Eidelstein, Tammar Shrot
:
Controlling sub-tournaments: easy or hard problem? - Theoretical vs. practical analysis. Ann. Math. Artif. Intell. 86(4): 257-268 (2019) - Eduardo Fermé
, Guillermo Ricardo Simari:
Introduction to the special issue on belief revision, argumentation, ontologies, and norms. Ann. Math. Artif. Intell. 87(3): 185-186 (2019) - Flavio Ferrarotti
, Stefan Woltran:
Preface. Ann. Math. Artif. Intell. 87(1-2): 1-4 (2019) - Johannes Klaus Fichte
, Martin Kronegger, Stefan Woltran:
A multiparametric view on answer set programming. Ann. Math. Artif. Intell. 86(1-3): 121-147 (2019) - Sebastián A. Grillo:
A linear relation between input and first layer in neural networks. Ann. Math. Artif. Intell. 87(4): 361-372 (2019) - Paulo T. Guerra
, Renata Wassermann
:
Two AGM-style characterizations of model repair. Ann. Math. Artif. Intell. 87(3): 233-257 (2019) - Matthias van der Hallen
, Sergey Paramonov
, Gerda Janssens, Marc Denecker
:
Knowledge representation analysis of graph mining. Ann. Math. Artif. Intell. 86(1-3): 21-60 (2019) - Sven Ove Hansson
:
Impossibility results for belief contraction. Ann. Math. Artif. Intell. 87(3): 227-232 (2019) - Jelle Hellings, Marc Gyssens
, Dirk Van Gucht, Yuqing Wu:
First-order definable counting-only queries. Ann. Math. Artif. Intell. 87(1-2): 109-136 (2019) - Gauri Jain
, Manisha Sharma, Basant Agarwal
:
Spam detection in social media using convolutional and long short term memory neural network. Ann. Math. Artif. Intell. 85(1): 21-44 (2019) - Patrick Thor Kahl
, Anthony P. Leclerc, Tran Cao Son:
A parallel memory-efficient epistemic logic program solver: harder, better, faster. Ann. Math. Artif. Intell. 86(1-3): 61-85 (2019) - Ariel Kellison, Mark Bickford, Robert L. Constable:
Implementing Euclid's straightedge and compass constructions in type theory. Ann. Math. Artif. Intell. 85(2-4): 175-192 (2019) - Zoltán Kovács
, Tomás Recio
, Csilla Sólyom-Gecse:
Rewriting input expressions in complex algebraic geometry provers. Ann. Math. Artif. Intell. 85(2-4): 73-87 (2019) - Xudong Liu
, Miroslaw Truszczynski:
Voting-based ensemble learning for partial lexicographic preference forests over combinatorial domains. Ann. Math. Artif. Intell. 87(1-2): 137-155 (2019) - Johann A. Makowsky
:
Can one design a geometry engine? - On the (un)decidability of certain affine Euclidean geometries. Ann. Math. Artif. Intell. 85(2-4): 259-291 (2019) - Dmitry Yu. Maximov
, Sergey E. Ryvkin:
Multi-valued logic in graph transformation theory and self-adaptive systems. Ann. Math. Artif. Intell. 87(4): 395-408 (2019)