Volume 79, Issue 1-3

Search all Annals of Mathematics and Artificial Intelligence articles

March 2017

Selected Papers from ISAIM 2014: The Thirteenth International Symposium on Artificial Intelligence and Mathematics

Issue Editors:

Lisa Hellerstein,
Lev Reyzin,
Gyorgy Turan

12 articles in this issue

Foreword
Lisa Hellerstein
Lev Reyzin
Gyorgy Turan
EditorialNotes 13 December 2016 Pages: 1 - 3
Improving configuration checking for satisfiable random k-SAT instances
André Abramé
Djamal Habet
Donia Toumi
OriginalPaper 04 June 2016 Pages: 5 - 24
About some UP-based polynomial fragments of SAT
Balasim Al-Saedi
Olivier Fourdrinoy
Lakhdar Saïs
OriginalPaper 08 April 2015 Pages: 25 - 44
Prioritized assertional-based removed sets revision of DL-Lite belief bases
Salem Benferhat
Zied Bouraoui
Eric Würbel
OriginalPaper 28 December 2015 Pages: 45 - 75
Weighted heuristic anytime search: new schemes for optimization over graphical models
Natalia Flerova
Radu Marinescu
Rina Dechter
OriginalPaper 09 January 2016 Pages: 77 - 128
Boosting conditional probability estimators
Dan Gutfreund
Aryeh Kontorovich
Michal Rosen-Zvi
OriginalPaper 13 June 2015 Pages: 129 - 144
Compact representations of all members of an independence system
Utz-Uwe Haus
Carla Michini
OriginalPaper 11 March 2016 Pages: 145 - 162
Probabilistic knowledge representation using the principle of maximum entropy and Gröbner basis theory
Gabriele Kern-Isberner
Marco Wilhelm
Christoph Beierle
OriginalPaper 13 May 2015 Pages: 163 - 179
Learning concepts and their unions from positive data with refinement operators
Seishi Ouchi
Tomohiko Okayama
Akihiro Yamamoto
OriginalPaper 27 May 2015 Pages: 181 - 203
On the role of fairness and limited backward induction in sequential bargaining games
Xia Qu
Prashant Doshi
OriginalPaper 18 September 2015 Pages: 205 - 227
Dualization of boolean functions using ternary decision diagrams
Takahisa Toda
OriginalPaper 23 July 2016 Pages: 229 - 244
Analyzing restricted fragments of the theory of linear arithmetic
Piotr Wojciechowski
Pavlos Eirinakis
K. Subramani
OriginalPaper 23 September 2016 Pages: 245 - 266

Volume 79, Issue 1-3

Foreword

Improving configuration checking for satisfiable random k-SAT instances

About some UP-based polynomial fragments of SAT

Prioritized assertional-based removed sets revision of DL-Lite belief bases

Weighted heuristic anytime search: new schemes for optimization over graphical models

Boosting conditional probability estimators

Compact representations of all members of an independence system

Probabilistic knowledge representation using the principle of maximum entropy and Gröbner basis theory

Learning concepts and their unions from positive data with refinement operators

On the role of fairness and limited backward induction in sequential bargaining games

Dualization of boolean functions using ternary decision diagrams

Analyzing restricted fragments of the theory of linear arithmetic

Navigation