Stop the war!
Остановите войну!
for scientists:
default search action
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
Volume 65, Numbers 2-3, July 2012
- 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
Volume 65, Number 4, August 2012
- 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
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.