Ausgabe 1-3/2017
Selected Papers from ISAIM 2014: The Thirteenth International Symposium on Artificial Intelligence and Mathematics
Inhalt (12 Artikel)
Improving configuration checking for satisfiable random k-SAT instances
André Abramé, Djamal Habet, Donia Toumi
About some UP-based polynomial fragments of SAT
Balasim Al-Saedi, Olivier Fourdrinoy, Éric Grégoire, Bertrand Mazure, Lakhdar Saïs
Prioritized assertional-based removed sets revision of DL-Lite belief bases
Salem Benferhat, Zied Bouraoui, Odile Papini, Eric Würbel
Weighted heuristic anytime search: new schemes for optimization over graphical models
Natalia Flerova, Radu Marinescu, Rina Dechter
Boosting conditional probability estimators
Dan Gutfreund, Aryeh Kontorovich, Ran Levy, Michal Rosen-Zvi
Probabilistic knowledge representation using the principle of maximum entropy and Gröbner basis theory
Gabriele Kern-Isberner, Marco Wilhelm, Christoph Beierle
Learning concepts and their unions from positive data with refinement operators
Seishi Ouchi, Tomohiko Okayama, Keisuke Otaki, Ryo Yoshinaka, Akihiro Yamamoto
On the role of fairness and limited backward induction in sequential bargaining games
Xia Qu, Prashant Doshi
Analyzing restricted fragments of the theory of linear arithmetic
Piotr Wojciechowski, Pavlos Eirinakis, K. Subramani