![](https://dblp.org/img/logo.ua.320x120.png)
![](https://dblp.org/img/dropdown.dark.16x16.png)
![](https://dblp.org/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.org/img/search.dark.16x16.png)
![search dblp](https://dblp.org/img/search.dark.16x16.png)
default search action
ISAIM 2022, January 3-5, 2022
- Proceedings of the International Symposium on Artificial Intelligence and Mathematics 2022 (ISAIM 2022), Fort Lauderdale, Florida, USA, January 3-5, 2022. 2022
Special Session in Memory of Naftali Tishby
- Ohad Shamir:
Elephant in the Room: Non-Smooth Non-Convex Optimization. - Noam Slonim:
Project Debater - an autonomous debating system. - Noga Zaslavsky:
The information geometry of pragmatic reasoning.
Special Session on Boolean and pseudo-Boolean Functions
- Endre Boros, Joonhee Lee:
Boole's probability bounding problem, linear programming aggregations, and nonnegative quadratic pseudo-Boolean functions. - Claude Carlet:
Parameterization of Boolean functions by vectorial functions and associated constructions. - Ondrej Cepek, James Weigle:
A Direct Equivalence-Testing Algorithm for SLRs. - Miguel Couceiro:
Analogical proportions: from Boolean to nominal and beyond... - Alexis de Colnet, Pierre Marquis:
On the Complexity of Enumerating Prime Implicants from Decision-DNNF Circuits. - Yves Crama, Sourour Elloumi, Amélie Lambert, Elisabeth Rodríguez-Heck:
Quadratic reformulations for the optimization of pseudo-boolean functions. - Wolfgang Gatterbauer:
Algebraic Approximations of the Probability of Monotone Boolean Functions. - Vibhav Gogate:
Dissociation-Based Oblivious Bounds for Weighted Model Counting. - John N. Hooker:
Stochastic Binary Decision Diagrams. - Jinwook Lee, Lanqing Du, Jade Zhang, Matthew J. Schneider:
Time series data identification and optimization with the measurements of potential bias and discrimination issues based on pseudo-Boolean functions. - Lisa Hellerstein, Devorah Kletenik, Naifeng Liu, R. Teal Witter:
Adaptivity gap of the SBFE problem. - Mariya Naumova, András Prékopa:
Logical analysis of data: Estimation of cause-effect relationship under noise with applications in classification of natural water springs.
Special Session on Coalition Formation Games
- Christian Addington, Jacob Schlueter, Judy Goldsmith:
The Power of Symmetry for Nash Stable Additively Separable Hedonic Games. - Nathan Arnold, Sarah H. Snider, Judy Goldsmith:
Extensions on Tiered Coalition Formation Games. - Bugra Çaskurlu, Fatih Erdem Kizilkaya, Berkehan Ozen:
Hedonic Expertise Games. - Simon Cramer, Anna Maria Kerkmann, Jörg Rothe:
Min-Based Altruism in Coalition Formation Games. - Angelo Fanelli, Gianpiero Monaco, Luca Moscardelli:
Relaxed Core Stability in Fractional Hedonic Games. - Sushmita Gupta, Sanjukta Roy, Saket Saurabh, Meirav Zehavi:
Parameterized Analysis for the Group Activity Selection Problem on Graphs. - Joanna Kaczmarek, Jörg Rothe:
Controlling Weighted Voting Games by Deleting or Adding Players with or without Changing the Quota. - Seçkin Özbilen:
Bottom Coalition Properties.
Special Session on Combinatorial and Geometric Problems in Imaging Sciences
- S. Annadurai, T. T. Raman, T. Kalyani, D. Gnanaraj Thomas, P. Ravichandran:
Pasting Systems with Picture Tiles Yielding Interesting Patterns. - Aydin Avkan, Benedek Nagy, Müge Saadetoglu:
A Comparison of 2D Regular Grids based on Digital Continuity of Rotations. - S. James Immanuel, S. Jayasankar, D. Gnanaraj Thomas:
P Systems on Hexagonal Picture Languages and Applications. - T. Kalyani, F. Sweety, D. Gnanaraj Thomas, K. Bhuvaneswari:
Tetrahedral Picture Languages and their Applications in Imaging. - R. Krishna Kumari, R. Arulprakasam, Meenakshi Paramasivan, V. Rajkumar Dare:
Circular Partial Words and Arrays. - Sabyasachi Mukherjee, Oishila Bandyopadhyay, Arindam Biswas:
Detection of Knee Osteoarthritis using Light-weight CNN. - Selim Reza, José J. M. Machado, João Manuel R. S. Tavares:
Analysis of the Structure of the Road Networks: A Network Science Perspective. - Somrita Saha, Arindam Biswas:
Approximate Convex Decomposition of 3D Digital Object Surface Using Scalar Triple Product of Vectors. - Somrita Saha, Arindam Biswas:
On Construction of a Digital Plane using GCD Algorithm. - Pablo Sánchez-Cuevas, Fernando Díaz-del-Río, Pedro Real, Helena Molina-Abril:
A representation of the topological complexity of a 2D binary digital image using Homological Spanning Forests. - Pablo Sánchez-Cuevas, Fernando Díaz-del-Río, Pedro Real, Helena Molina-Abril, Darian M. Onchis, Sergio Blanco-Trejo:
Parallel Setup for computing the Homological Region Adjacency Tree of a 3D binary image. - P. Helen Vijitha, T. Robinson, Meenakshi Paramasivan:
Two-dimensional Oxide Picture Languages.
Special Session on Formalization in Mathematics
- Jesús Aransay, Laureano Lambán, Julius Michaelis, Julio Rubio:
Formalizing Alexander duality through BDDs. - Jagadish Bapanapally, Ruben Gamboa:
A Formal Proof of the Banach-Tarski Theorem in ACL2(r). - Bernhard Ganter:
Formalization of Concepts. - Carl Kwan:
Towards Formalized Matrix Analysis and Algorithms. - Francisco J. Valverde-Albacete, Carmen Peláez-Moreno:
Is Formalizing Semifield Duality Worth it?
Special Session on Sequencing, Sequential Decision Making and Scheduling
- Alessandro Agnetis, Mario Benini, Paolo Detti, Marco Pranzo, Ben Hermans:
Replication and sequencing of unreliable jobs on parallel machines. - Guy Blanc, Jane Lange:
Properly learning decision trees in almost polynomial time. - Yuxin Chen:
Optimizing Decision Making via Submodular Surrogates. - Franziska Eberle:
Optimally handling commitment issues in online throughput maximization. - János Flesch, Benoit Duvocelle, Hui Min Shi, Mathias Staudigl, Dries Vermeulen:
A competitive search game with a moving object. - Evangelia Gergatsouli:
Opening Pandora's Box: the Correlated Case. - Felix Happach, Lisa Hellerstein, Thomas Lidbetter:
A general framework for approximating min sum ordering problems. - Sungjin Im:
Non-clairvoyant Scheduling with Predictions. - Daniel Kowalczyk, Roel Leus, Christopher Hojny, Stefan Røpke:
A flow-based formulation for parallel machine scheduling problems using decision diagrams. - R. Teal Witter:
A Local Search Algorithm for the Min-Sum Submodular Cover Problem.
Special Session on Uncertain Reasoning
- Sihem Belabbes, Salem Benferhat:
Revisiting Partially Preordered Possibilistic DL-Lite – An Extended Abstract. - Arianna Casanova, Enrique Miranda, Marco Zaffalon:
Joint Desirability Foundations of Social Choice and Opinion Pooling. - Serena Doria:
Coherent lower and upper conditional previsions with respect to inner and outer Hausdorff measures and their insights for modelling human decisions in AI. - Lilith Mattei, Alessandro Antonucci, Alessandro Facchini:
Dalal's Revision in Sentential Decision Diagrams. - Matthias Scheutz, Kamal Premaratne, Lawrence S. Moss, Avery Caulfield:
Probabilistic ‘If-Then’ Rules: On Bayesian Conditionals and Probabilistic Implications. - Fulya Trösser, Simon de Givry, George Katsirelos:
Learning the structure of Bayesian Networks using constraint programming. - Priyantha Wijayatunga:
Uncertainty in P-Values, Monty Hall Problem and, Bayesian and Neural Network Predictions.
![](https://dblp.org/img/cog.dark.24x24.png)
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.