Journal: Annals of Mathematics and Artificial Intelligence

Volume 64, Issue 4

335 -- 336Jacques Calmet. Preface - Special issue on applications of computer algebra
337 -- 342Jacques Calmet. Foreword on the relationship of computer algebra with mathematics and physics - Special issue on applications of computer algebra
343 -- 368Randa Almomen, Alan P. Sexton, Volker Sorge. Abstracting symbolic matrices - Special issue on artificial intelligence and symbolic computation
369 -- 383Tatjana L. Plotkin, Marina Knyazhansky. Symmetries of knowledge bases
385 -- 409Helena Molina-Abril, Pedro Real. Homological spanning forest framework for 2D image analysis
411 -- 426Hugo Maruri-Aguilar, Eduardo Sáenz-de-Cabezón, Henry P. Wynn. Betti numbers of polynomial hierarchical models for experimental designs

Volume 64, Issue 2-3

109 -- 111Sergio Greco, Thomas Lukasiewicz. Preface
113 -- 143Gerardo I. Simari, Maria Vanina Martinez, Amy Sliva, V. S. Subrahmanian. Focused most probable world computations in probabilistic logic programs
145 -- 183Anbu Yue, Weiru Liu, Anthony Hunter. Imprecise probabilistic query answering using measures of ignorance and degree of satisfaction
185 -- 207Sergio Greco, Cristian Molinaro. Probabilistic query answering over inconsistent databases
209 -- 246Slawek Staworko, Jan Chomicki, Jerzy Marcinkowski. Prioritized repairing and consistent query answering in relational databases
247 -- 268Jonathan Ben-Naim, Henri Prade. Evaluating trustworthiness from past performances: interval-based approaches
269 -- 309Salem Benferhat, Karim Tabia. Inference in possibilistic network classifiers under uncertain observations
311 -- 333Jean-François Bonnefon, Rui Da Silva Neves, Didier Dubois, Henri Prade. Qualitative and quantitative conditions for the transitivity of perceived causation: - Theoretical and experimental results

Volume 64, Issue 1

1 -- 37Laureano Lambán, Francisco-Jesús Martín-Mateos, Julio Rubio, José-Luis Ruiz-Reina. Formalization of a normalization theorem in simplicial topology
39 -- 72Rosa Camps, Xavier Mora, Laia Saumell. A general method for deciding about logically constrained issues
73 -- 107Özgür Kafali, Paolo Torroni. Exception diagnosis in multiagent contract executions