- Mladen Nikolic, Vesna Marinkovic, Zoltán Kovács, Predrag Janicic:
Portfolio theorem proving and prover runtime prediction for geometry. Ann. Math. Artif. Intell. 85(2-4): 119-146 (2019) - Jean-Philippe Pernot, Dominique Michelucci, Marc Daniel, Sebti Foufou:
Towards a better integration of modelers and black box constraint solvers within the product design process. Ann. Math. Artif. Intell. 85(2-4): 147-173 (2019) - Pascal Schreck, Tetsuo Ida, Laura Kovács:
Foreword - Formalization of geometry, automated and interactive geometric reasoning. Ann. Math. Artif. Intell. 85(2-4): 71-72 (2019) - Sana Stojanovic Durdevic:
From informal to formal proofs in Euclidean geometry. Ann. Math. Artif. Intell. 85(2-4): 89-117 (2019) - Dimitri Surinx, Jan Van den Bussche, Dirk Van Gucht:
A framework for comparing query languages in their ability to express boolean queries. Ann. Math. Artif. Intell. 87(1-2): 157-184 (2019) - Juan Carlos Teze, Antoni Perello-Moragues, Lluís Godo, Pablo Noriega:
Practical reasoning using values: an argumentative approach based on a hierarchy of values. Ann. Math. Artif. Intell. 87(3): 293-319 (2019) - 2018
- Tobias Ahlbrecht, Jürgen Dix, Niklas Fiekas:
Multi-agent programming contest 2017 - The twelfth edition of the MAPC. Ann. Math. Artif. Intell. 84(1-2): 1-16 (2018) - Jean-François Baget, Laurent Garcia, Fabien Garreau, Claire Lefèvre, Swan Rocher, Igor Stéphan:
Bringing existential variables in answer set programming and bringing non-monotony in existential rules: two sides of the same coin. Ann. Math. Artif. Intell. 82(1-3): 3-41 (2018) - Christoph Beierle, Christian Eichhorn, Gabriele Kern-Isberner, Steven Kutsch:
Properties of skeptical c-inference for conditional knowledge bases and its realization as a constraint satisfaction problem. Ann. Math. Artif. Intell. 83(3-4): 247-275 (2018) - Daniel Berend, Amnon Meisels, Or Peri:
Probabilistic optimal solution assessment for DCOPs. Ann. Math. Artif. Intell. 83(1): 99-119 (2018) - Ryan Berryhill, Andreas G. Veneris:
Efficient suspect selection in unreachable state diagnosis. Ann. Math. Artif. Intell. 82(4): 261-277 (2018) - Subhrajit Bhattacharya, Robert Ghrist:
Path homotopy invariants and their application to optimal trajectory planning. Ann. Math. Artif. Intell. 84(3-4): 139-160 (2018) - Bernhard Bliem, Stefan Woltran:
Equivalence between answer-set programs under (partially) fixed input. Ann. Math. Artif. Intell. 83(3-4): 277-295 (2018) - Rafael C. Cardoso, Tabajara Krausburg, Túlio L. Baségio, Débora C. Engelmann, Jomi Fred Hübner, Rafael H. Bordini:
SMART-JaCaMo: an organization-based team for the multi-agent programming contest. Ann. Math. Artif. Intell. 84(1-2): 75-93 (2018) - Roberto Confalonieri, Manfred Eppe, Marco Schorlemmer, Oliver Kutz, Rafael Peñaloza, Enric Plaza:
Upward refinement operators for conceptual blending in the description logic ℰ ℒ++. Ann. Math. Artif. Intell. 82(1-3): 69-99 (2018) - Luís Cruz-Filipe, Graça Gaspar, Isabel Nunes, Peter Schneider-Kamp:
Active integrity constraints for general-purpose knowledge bases. Ann. Math. Artif. Intell. 83(3-4): 213-246 (2018) - Philipp Czerner, Jonathan Pieper:
Multi-agent programming contest 2017: lampe team description. Ann. Math. Artif. Intell. 84(1-2): 95-115 (2018) - Verónica Dahl, Sergio Tessaris, Mariano De Sousa Bispo:
Parsing as semantically guided constraint solving: the role of ontologies. Ann. Math. Artif. Intell. 82(1-3): 161-185 (2018) - Cristhian A. D. Deagustini, Maria Vanina Martinez, Marcelo A. Falappa, Guillermo Ricardo Simari:
How does incoherence affect inconsistency-tolerant semantics for Datalog±? Ann. Math. Artif. Intell. 82(1-3): 43-68 (2018) - Lorenz Demey, Hans Smessaert:
Geometric and cognitive differences between logical diagrams for the Boolean algebra B4. Ann. Math. Artif. Intell. 83(2): 185-208 (2018) - Arnaud Durand, Miika Hannula, Juha Kontinen, Arne Meier, Jonni Virtema:
Approximation and dependence via multiteam semantics. Ann. Math. Artif. Intell. 83(3-4): 297-320 (2018) - Flavio Ferrarotti, Klaus-Dieter Schewe, Loredana Tec, Qing Wang:
A unifying logic for non-deterministic, parallel and concurrent abstract state machines. Ann. Math. Artif. Intell. 83(3-4): 321-349 (2018) - Marc Gyssens, Guillermo Ricardo Simari:
Preface. Ann. Math. Artif. Intell. 83(3-4): 209-212 (2018) - Christopher-Eyk Hrabia, Patrick Marvin Lehmann, Nabil Battjbuer, Axel Hessler, Sahin Albayrak:
Applying robotic frameworks in a simulated multi-agent contest - TUBDAI team description multi-agent programming contest 2017. Ann. Math. Artif. Intell. 84(1-2): 117-138 (2018) - Badrinath Jayakumar, Rajshekhar Sunderraman:
Quasi-classical reasoning in paraconsistent databases. Ann. Math. Artif. Intell. 82(1-3): 131-159 (2018) - Wafa Jguirim, Wady Naanaa, Martin C. Cooper:
A polynomial relational class of binary CSP. Ann. Math. Artif. Intell. 83(1): 1-20 (2018) - Ofri Keidar, Noa Agmon:
Safe navigation in adversarial environments. Ann. Math. Artif. Intell. 83(2): 121-164 (2018) - Ioannis Kokkinis:
The complexity of satisfiability in non-iterated and iterated probabilistic logics. Ann. Math. Artif. Intell. 83(3-4): 351-382 (2018) - Zuoquan Lin, Chen Chen:
Restricted semantics for default reasoning. Ann. Math. Artif. Intell. 84(3-4): 185-200 (2018) - Cynthia Maushagen, Jörg Rothe:
Complexity of control by partitioning veto elections and of control by adding candidates to plurality elections. Ann. Math. Artif. Intell. 82(4): 219-244 (2018)