Journal: Annals of Mathematics and Artificial Intelligence

Volume 65, Issue 4

285 -- 316Payam Zahadat, Kasper Støy. An alternative representation of Fractal Gene Regulatory Networks facilitating analysis and interpretation
317 -- 328Antonio Hernando, Eugenio Roanes-Lozano, Roberto Maestre-Martínez, Jorge Tejedor. A logic-algebraic approach to decision taking in a railway interlocking system
329 -- 372Allen Van Gelder. Producing and verifying extremely large propositional refutations - Have your cake and eat it too

Volume 65, Issue 2-3

79 -- 81Sebastian Link, Henri Prade. Preface
83 -- 121Claudia d'Amato, Nicola Fanizzi, Bettina Fazzinga, Georg Gottlob, Thomas Lukasiewicz. Ontology-based semantic search on the Web and its combination with the power of inductive reasoning
123 -- 158Christoph Beierle, Gabriele Kern-Isberner. Semantical investigations into nonmonotonic and probabilistic logics
159 -- 198Roberto Confalonieri, Juan Carlos Nieves, Mauricio Osorio, Javier Vázquez-Salceda. Dealing with explicit preferences and uncertainty in answer set programming
199 -- 216Gyula O. H. Katona, Attila Sali. On the distance of databases
217 -- 243Zoran Ognjanovic, Zoran Markovic, Miodrag Raskovic, Dragan Doder, Aleksandar Perovic. A propositional probabilistic logic with discrete linear time for reasoning about evidence
245 -- 283Zhihu Zhang, Zuoquan Lin. Minimal hypotheses: extension-based semantics to argumentation

Volume 65, Issue 1

1 -- 24Douglas Cenzer, Jeffrey B. Remmel. A connection between the Cantor-Bendixson derivative and the well-founded semantics of finite logic programs
25 -- 60Michael Winter, Torsten Hahmann, Michael Grüninger. On the algebra of regular sets - Properties of representable Stonian p-ortholattices
61 -- 77Christopher Raphael, Guy Shani. The Skyline algorithm for POMDP value function pruning