Annals of Mathematics and Artificial Intelligence, Volume 65

Volume 65, Number 1, May 2012

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

Special Issue: Foundations of Information and Knowledge Systems: Selected Papers from FoIKS 2010

Sebastian Link, Henri Prade:
Preface. 79-81
Claudia 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. 83-121
Christoph Beierle, Gabriele Kern-Isberner:
Semantical investigations into nonmonotonic and probabilistic logics. 123-158
Roberto Confalonieri, Juan Carlos Nieves, Mauricio Osorio, Javier Vázquez-Salceda:
Dealing with explicit preferences and uncertainty in answer set programming. 159-198
Gyula O. H. Katona, Attila Sali:
On the distance of databases. 199-216
Zoran Ognjanovic, Zoran Markovic, Miodrag Raskovic, Dragan Doder, Aleksandar Perovic:
A propositional probabilistic logic with discrete linear time for reasoning about evidence. 217-243
Zhihu Zhang, Zuoquan Lin:
Minimal hypotheses: extension-based semantics to argumentation. 245-283

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

Last update Fri May 24 19:59:45 2013 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page