Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/conf/isaim/isaim2018.bht:"
download as .bib file
@inproceedings{DBLP:conf/isaim/0002UJAKK18,
author = {Liron Cohen and
Tansel Uras and
Shiva Jahangiri and
Aliyah Arunasalam and
Sven Koenig and
T. K. Satish Kumar},
title = {The FastMap Algorithm for Shortest Path Computations},
booktitle = {International Symposium on Artificial Intelligence and Mathematics,
{ISAIM} 2018, Fort Lauderdale, Florida, USA, January 3-5, 2018},
year = {2018},
url = {https://isaim2018.cs.ou.edu/papers/ISAIM2018\_Cohen\_etal.pdf},
timestamp = {Wed, 20 Mar 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isaim/0002UJAKK18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isaim/0003SKK18,
author = {Hong Xu and
Kexuan Sun and
Sven Koenig and
T. K. Satish Kumar},
title = {A Warning Propagation-Based Linear-Time-and-Space Algorithm for the
Minimum Vertex Cover Problem on Giant Graphs},
booktitle = {International Symposium on Artificial Intelligence and Mathematics,
{ISAIM} 2018, Fort Lauderdale, Florida, USA, January 3-5, 2018},
year = {2018},
url = {https://isaim2018.cs.ou.edu/papers/ISAIM2018\_Xu\_etal2.pdf},
timestamp = {Wed, 20 Mar 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isaim/0003SKK18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isaim/0003WCKK18,
author = {Hong Xu and
Xin{-}Zeng Wu and
Cheng Cheng and
Sven Koenig and
T. K. Satish Kumar},
title = {The Buss Reduction for the k-Weighted Vertex Cover Problem},
booktitle = {International Symposium on Artificial Intelligence and Mathematics,
{ISAIM} 2018, Fort Lauderdale, Florida, USA, January 3-5, 2018},
year = {2018},
url = {https://isaim2018.cs.ou.edu/papers/ISAIM2018\_Xu\_etal.pdf},
timestamp = {Wed, 20 Mar 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isaim/0003WCKK18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isaim/Abou-MoustafaS18,
author = {Karim T. Abou{-}Moustafa and
Csaba Szepesv{\'{a}}ri},
title = {An Exponential Tail Bound for Lq Stable Learning Rules. Application
to k-Folds Cross-Validation},
booktitle = {International Symposium on Artificial Intelligence and Mathematics,
{ISAIM} 2018, Fort Lauderdale, Florida, USA, January 3-5, 2018},
year = {2018},
url = {https://isaim2018.cs.ou.edu/papers/ISAIM2018\_Abou-Moustafa\_Szepesvari.pdf},
timestamp = {Wed, 20 Mar 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isaim/Abou-MoustafaS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isaim/AshraphijuoW18,
author = {Morteza Ashraphijuo and
Xiaodong Wang},
title = {A Characterization of Sampling Patterns for Union of Low-Rank Subspaces
Retrieval Problem},
booktitle = {International Symposium on Artificial Intelligence and Mathematics,
{ISAIM} 2018, Fort Lauderdale, Florida, USA, January 3-5, 2018},
year = {2018},
url = {https://isaim2018.cs.ou.edu/papers/ISAIM2018\_Ashraphijuo\_Wang.pdf},
timestamp = {Wed, 20 Mar 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isaim/AshraphijuoW18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isaim/BainHSS18,
author = {Travaughn C. Bain and
Juan Felix Avila Herrera and
Ersoy Subasi and
Munevver Mine Subasi},
title = {Logical Analysis of Multiclass Data with Relaxed Patterns},
booktitle = {International Symposium on Artificial Intelligence and Mathematics,
{ISAIM} 2018, Fort Lauderdale, Florida, USA, January 3-5, 2018},
year = {2018},
url = {https://isaim2018.cs.ou.edu/papers/ISAIM2018\_Boolean\_Bain\_etal.pdf},
timestamp = {Wed, 20 Mar 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isaim/BainHSS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isaim/BaumHS18,
author = {Kevin Baum and
Holger Hermanns and
Timo Speith},
title = {From Machine Ethics To Machine Explainability and Back},
booktitle = {International Symposium on Artificial Intelligence and Mathematics,
{ISAIM} 2018, Fort Lauderdale, Florida, USA, January 3-5, 2018},
year = {2018},
url = {https://isaim2018.cs.ou.edu/papers/ISAIM2018\_Ethics\_Baum\_etal.pdf},
timestamp = {Wed, 20 Mar 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isaim/BaumHS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isaim/BehzadianP18,
author = {Bahram Behzadian and
Marek Petrik},
title = {Low-rank Feature Selection for Reinforcement Learning},
booktitle = {International Symposium on Artificial Intelligence and Mathematics,
{ISAIM} 2018, Fort Lauderdale, Florida, USA, January 3-5, 2018},
year = {2018},
url = {https://isaim2018.cs.ou.edu/papers/ISAIM2018\_Behzadian\_Petrik.pdf},
timestamp = {Wed, 20 Mar 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isaim/BehzadianP18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isaim/Bendel18,
author = {Oliver Bendel},
title = {Selected Prototypes of Moral Machines},
booktitle = {International Symposium on Artificial Intelligence and Mathematics,
{ISAIM} 2018, Fort Lauderdale, Florida, USA, January 3-5, 2018},
year = {2018},
url = {https://isaim2018.cs.ou.edu/papers/ISAIM2018\_Ethics\_Bendel.pdf},
timestamp = {Wed, 20 Mar 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isaim/Bendel18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isaim/Bentzen18,
author = {Martin Mose Bentzen},
title = {A Formalization of Kant's Second Formulation of the Categorical Imperative},
booktitle = {International Symposium on Artificial Intelligence and Mathematics,
{ISAIM} 2018, Fort Lauderdale, Florida, USA, January 3-5, 2018},
year = {2018},
url = {https://isaim2018.cs.ou.edu/papers/ISAIM2018\_Ethics\_Bentzen.pdf},
timestamp = {Wed, 20 Mar 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isaim/Bentzen18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isaim/BertailCC18,
author = {Patrice Bertail and
Gabriela Ciolek and
St{\'{e}}phan Cl{\'{e}}men{\c{c}}on},
title = {Generalization Bounds for Minimum Volume Set Estimation based on Markovian
Data},
booktitle = {International Symposium on Artificial Intelligence and Mathematics,
{ISAIM} 2018, Fort Lauderdale, Florida, USA, January 3-5, 2018},
year = {2018},
url = {https://isaim2018.cs.ou.edu/papers/ISAIM2018\_Bertail\_etal.pdf},
timestamp = {Wed, 20 Mar 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isaim/BertailCC18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isaim/BorosCR18,
author = {Endre Boros and
Yves Crama and
Elisabeth Rodr{\'{\i}}guez{-}Heck},
title = {Quadratizations of symmetric pseudo-Boolean functions: sub-linear
bounds on the number of auxiliary variables},
booktitle = {International Symposium on Artificial Intelligence and Mathematics,
{ISAIM} 2018, Fort Lauderdale, Florida, USA, January 3-5, 2018},
year = {2018},
url = {https://isaim2018.cs.ou.edu/papers/ISAIM2018\_Boolean\_Boros\_etal.pdf},
timestamp = {Wed, 20 Mar 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isaim/BorosCR18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isaim/Boyles18,
author = {Stephen D. Boyles},
title = {Parking search equilibrium and its implications for parking management},
booktitle = {International Symposium on Artificial Intelligence and Mathematics,
{ISAIM} 2018, Fort Lauderdale, Florida, USA, January 3-5, 2018},
year = {2018},
url = {https://isaim2018.cs.ou.edu/papers/ISAIM2018\_Traffic\_Boyles.pdf},
timestamp = {Wed, 20 Mar 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isaim/Boyles18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isaim/BringsjordGMS18,
author = {Selmer Bringsjord and
Naveen Sundar G. and
Bertram F. Malle and
Matthias Scheutz},
title = {Contextual Deontic Cognitive Event Calculi for Ethically Correct Robots},
booktitle = {International Symposium on Artificial Intelligence and Mathematics,
{ISAIM} 2018, Fort Lauderdale, Florida, USA, January 3-5, 2018},
year = {2018},
url = {https://isaim2018.cs.ou.edu/papers/ISAIM2018\_Ethics\_Bringsjord\_etal.pdf},
timestamp = {Wed, 20 Mar 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isaim/BringsjordGMS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isaim/BuiniSBGS18,
author = {Hamid Mirzaei Buini and
Guni Sharon and
Stephen D. Boyles and
Tony Givargis and
Peter Stone},
title = {Enhanced Delta-tolling: Traffic Optimization via Policy Gradient Reinforcement
Learning},
booktitle = {International Symposium on Artificial Intelligence and Mathematics,
{ISAIM} 2018, Fort Lauderdale, Florida, USA, January 3-5, 2018},
year = {2018},
url = {https://isaim2018.cs.ou.edu/papers/ISAIM2018\_Traffic\_Buini\_etal.pdf},
timestamp = {Wed, 20 Mar 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isaim/BuiniSBGS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isaim/ConitzerSBD018,
author = {Vincent Conitzer and
Walter Sinnott{-}Armstrong and
Jana Schaich Borg and
Yuan Deng and
Max Kramer},
title = {Moral Decision Making Frameworks for Artificial Intelligence},
booktitle = {International Symposium on Artificial Intelligence and Mathematics,
{ISAIM} 2018, Fort Lauderdale, Florida, USA, January 3-5, 2018},
year = {2018},
url = {https://isaim2018.cs.ou.edu/papers/ISAIM2018\_Ethics\_Conitzer\_etal.pdf},
timestamp = {Wed, 20 Mar 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isaim/ConitzerSBD018.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isaim/DavidSGMS18,
author = {Yahel David and
Bal{\'{a}}zs Sz{\"{o}}r{\'{e}}nyi and
Mohammad Ghavamzadeh and
Shie Mannor and
Nahum Shimkin},
title = {{PAC} Bandits with Risk Constraints},
booktitle = {International Symposium on Artificial Intelligence and Mathematics,
{ISAIM} 2018, Fort Lauderdale, Florida, USA, January 3-5, 2018},
year = {2018},
url = {https://isaim2018.cs.ou.edu/papers/ISAIM2018\_ML\_David\_etal.pdf},
timestamp = {Wed, 20 Mar 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isaim/DavidSGMS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isaim/DeebaniK18,
author = {Wejdan Deebani and
Nezamoddin Nezamoddini{-}Kachouie},
title = {Ensemble Correlation Coefficient},
booktitle = {International Symposium on Artificial Intelligence and Mathematics,
{ISAIM} 2018, Fort Lauderdale, Florida, USA, January 3-5, 2018},
year = {2018},
url = {https://isaim2018.cs.ou.edu/papers/ISAIM2018\_Deebani\_Kachouie.pdf},
timestamp = {Wed, 20 Mar 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isaim/DeebaniK18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isaim/DennisF18,
author = {Louise A. Dennis and
Michael Fisher},
title = {Practical Challenges in Explicit Ethical Machine Reasoning},
booktitle = {International Symposium on Artificial Intelligence and Mathematics,
{ISAIM} 2018, Fort Lauderdale, Florida, USA, January 3-5, 2018},
year = {2018},
url = {https://isaim2018.cs.ou.edu/papers/ISAIM2018\_Ethics\_Dennis\_Fischer.pdf},
timestamp = {Wed, 20 Mar 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isaim/DennisF18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isaim/Diochnos18,
author = {Dimitrios I. Diochnos},
title = {On the Evolvability of Monotone Monomials with a {(1+1)} Evolutionary
Algorithm},
booktitle = {International Symposium on Artificial Intelligence and Mathematics,
{ISAIM} 2018, Fort Lauderdale, Florida, USA, January 3-5, 2018},
year = {2018},
url = {https://isaim2018.cs.ou.edu/papers/ISAIM2018\_ML\_Diochnos.pdf},
timestamp = {Wed, 20 Mar 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isaim/Diochnos18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isaim/Feldbacher-Escamilla18,
author = {Christian J. Feldbacher{-}Escamilla and
Gerhard Schurz},
title = {Meta-inductive Probability Aggregation and Optimal Scoring},
booktitle = {International Symposium on Artificial Intelligence and Mathematics,
{ISAIM} 2018, Fort Lauderdale, Florida, USA, January 3-5, 2018},
year = {2018},
url = {https://isaim2018.cs.ou.edu/papers/ISAIM2018\_Feldbacher-Escamilla\_Schurz.pdf},
timestamp = {Wed, 20 Mar 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isaim/Feldbacher-Escamilla18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isaim/Fioretto0KK18,
author = {Ferdinando Fioretto and
Hong Xu and
Sven Koenig and
T. K. Satish Kumar},
title = {Constraint Composite Graph-Based Lifted Message Passing for Distributed
Constraint Optimization Problems},
booktitle = {International Symposium on Artificial Intelligence and Mathematics,
{ISAIM} 2018, Fort Lauderdale, Florida, USA, January 3-5, 2018},
year = {2018},
url = {https://isaim2018.cs.ou.edu/papers/ISAIM2018\_Fioretto\_etal.pdf},
timestamp = {Wed, 20 Mar 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isaim/Fioretto0KK18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isaim/FishRR18,
author = {Benjamin Fish and
Lev Reyzin and
Benjamin I. P. Rubinstein},
title = {Sublinear-Time Adaptive Data Analysis},
booktitle = {International Symposium on Artificial Intelligence and Mathematics,
{ISAIM} 2018, Fort Lauderdale, Florida, USA, January 3-5, 2018},
year = {2018},
url = {https://isaim2018.cs.ou.edu/papers/ISAIM2018\_Fish\_etal.pdf},
timestamp = {Wed, 20 Mar 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isaim/FishRR18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isaim/Franco18,
author = {John Franco},
title = {A Peek at the Cryptol Language},
booktitle = {International Symposium on Artificial Intelligence and Mathematics,
{ISAIM} 2018, Fort Lauderdale, Florida, USA, January 3-5, 2018},
year = {2018},
url = {https://isaim2018.cs.ou.edu/papers/ISAIM2018\_SAT\_Franco.pdf},
timestamp = {Wed, 20 Mar 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isaim/Franco18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isaim/GiuliodoriBM18,
author = {Paolo Giuliodori and
Stefano Bistarelli and
Dimitri Mugnai},
title = {A Fair Payment Scheme for Virtuous Community Energy Usage},
booktitle = {International Symposium on Artificial Intelligence and Mathematics,
{ISAIM} 2018, Fort Lauderdale, Florida, USA, January 3-5, 2018},
year = {2018},
url = {https://isaim2018.cs.ou.edu/papers/ISAIM2018\_Giuliodori\_etal.pdf},
timestamp = {Wed, 20 Mar 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isaim/GiuliodoriBM18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isaim/GovindarajuluGB18,
author = {Naveen Sundar Govindarajulu and
Rikhiya Ghosh and
Selmer Bringsjord},
title = {Extending Formal Models of the Doctrine of Double Effect with Emotions},
booktitle = {International Symposium on Artificial Intelligence and Mathematics,
{ISAIM} 2018, Fort Lauderdale, Florida, USA, January 3-5, 2018},
year = {2018},
url = {https://isaim2018.cs.ou.edu/papers/ISAIM2018\_Ethics\_Govindarajulu\_etal.pdf},
timestamp = {Wed, 20 Mar 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isaim/GovindarajuluGB18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isaim/GuoMMC18,
author = {Jianding Guo and
Laurent Moalic and
Jean{-}No{\"{e}}l Martin and
Alexandre Caminada},
title = {Exact Graph Coloring Algorithms of Getting Partial and All Best Solutions},
booktitle = {International Symposium on Artificial Intelligence and Mathematics,
{ISAIM} 2018, Fort Lauderdale, Florida, USA, January 3-5, 2018},
year = {2018},
url = {https://isaim2018.cs.ou.edu/papers/ISAIM2018\_Guo\_etal.pdf},
timestamp = {Wed, 20 Mar 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isaim/GuoMMC18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isaim/HamdiOPBB18,
author = {Ghassen Hamdi and
Mohamed Nazih Omri and
Odile Papini and
Salem Benferhat and
Zied Bouraoui},
title = {Querying DL-lite Knowledge Bases from Hidden Datasets},
booktitle = {International Symposium on Artificial Intelligence and Mathematics,
{ISAIM} 2018, Fort Lauderdale, Florida, USA, January 3-5, 2018},
year = {2018},
url = {https://isaim2018.cs.ou.edu/papers/ISAIM2018\_Hamdi\_etal.pdf},
timestamp = {Wed, 20 Mar 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isaim/HamdiOPBB18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isaim/Hellerstein18,
author = {Lisa Hellerstein},
title = {Stochastic Evaluation of Symmetric Boolean Functions},
booktitle = {International Symposium on Artificial Intelligence and Mathematics,
{ISAIM} 2018, Fort Lauderdale, Florida, USA, January 3-5, 2018},
year = {2018},
url = {https://isaim2018.cs.ou.edu/papers/ISAIM2018\_Boolean\_Hellerstein.pdf},
timestamp = {Wed, 20 Mar 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isaim/Hellerstein18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isaim/Hooker18,
author = {John N. Hooker},
title = {Dynamic Programming Bounds from Decision Diagrams},
booktitle = {International Symposium on Artificial Intelligence and Mathematics,
{ISAIM} 2018, Fort Lauderdale, Florida, USA, January 3-5, 2018},
year = {2018},
url = {https://isaim2018.cs.ou.edu/papers/ISAIM2018\_Boolean\_Hooker.pdf},
timestamp = {Wed, 20 Mar 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isaim/Hooker18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isaim/Katehakis18,
author = {Michael N. Katehakis},
title = {On Markov Decision Processes with Pseudo-Boolean Reward Functions},
booktitle = {International Symposium on Artificial Intelligence and Mathematics,
{ISAIM} 2018, Fort Lauderdale, Florida, USA, January 3-5, 2018},
year = {2018},
url = {https://isaim2018.cs.ou.edu/papers/ISAIM2018\_Boolean\_Katehakis\_etal.pdf},
timestamp = {Wed, 20 Mar 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isaim/Katehakis18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isaim/KuleshovBY18,
author = {Aleksander Kuleshov and
Alexander Bernstein and
Yury Yanovich},
title = {Geometrically Motivated Nonstationary Kernel Density Estimation on
Manifold},
booktitle = {International Symposium on Artificial Intelligence and Mathematics,
{ISAIM} 2018, Fort Lauderdale, Florida, USA, January 3-5, 2018},
year = {2018},
url = {https://isaim2018.cs.ou.edu/papers/ISAIM2018\_Kuleshov\_etal.pdf},
timestamp = {Wed, 20 Mar 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isaim/KuleshovBY18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isaim/KumarWKRK18,
author = {T. K. Satish Kumar and
Zhi Wang and
Anoop Kumar and
Craig Milo Rogers and
Craig A. Knoblock},
title = {On the Linear Programming Duals of Temporal Reasoning Problems},
booktitle = {International Symposium on Artificial Intelligence and Mathematics,
{ISAIM} 2018, Fort Lauderdale, Florida, USA, January 3-5, 2018},
year = {2018},
url = {https://isaim2018.cs.ou.edu/papers/ISAIM2018\_TK\_Satish\_Kumar\_etal.pdf},
timestamp = {Wed, 20 Mar 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isaim/KumarWKRK18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isaim/KuttBBMS18,
author = {Brody Kutt and
Rachel Burdorf and
Travaughn C. Bain and
Lisa Moore and
Munevver Mine Subasi},
title = {Interalgorithmic Consolidation for Pattern Recognition Applied to
Melanoma Genomic Data},
booktitle = {International Symposium on Artificial Intelligence and Mathematics,
{ISAIM} 2018, Fort Lauderdale, Florida, USA, January 3-5, 2018},
year = {2018},
url = {https://isaim2018.cs.ou.edu/papers/ISAIM2018\_Kutt\_etal.pdf},
timestamp = {Wed, 20 Mar 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isaim/KuttBBMS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isaim/LangeNR18,
author = {Pascal Lange and
Nhan{-}Tam Nguyen and
J{\"{o}}rg Rothe},
title = {The Price to Pay for Forgoing Normalization in Fair Division of Indivisible
Goods},
booktitle = {International Symposium on Artificial Intelligence and Mathematics,
{ISAIM} 2018, Fort Lauderdale, Florida, USA, January 3-5, 2018},
year = {2018},
url = {https://isaim2018.cs.ou.edu/papers/ISAIM2018\_Lange\_etal.pdf},
timestamp = {Wed, 20 Mar 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isaim/LangeNR18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isaim/Lee18,
author = {Jinwook Lee},
title = {On the union of orthants in the n-space},
booktitle = {International Symposium on Artificial Intelligence and Mathematics,
{ISAIM} 2018, Fort Lauderdale, Florida, USA, January 3-5, 2018},
year = {2018},
url = {https://isaim2018.cs.ou.edu/papers/ISAIM2018\_Boolean\_Lee.pdf},
timestamp = {Wed, 20 Mar 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isaim/Lee18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isaim/LevinR18,
author = {Michael W. Levin and
David Rey},
title = {Conflict-point formulation of intersection control for autonomous
vehicles},
booktitle = {International Symposium on Artificial Intelligence and Mathematics,
{ISAIM} 2018, Fort Lauderdale, Florida, USA, January 3-5, 2018},
year = {2018},
url = {https://isaim2018.cs.ou.edu/papers/ISAIM2018\_Traffic\_Levin\_Rey.pdf},
timestamp = {Wed, 20 Mar 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isaim/LevinR18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isaim/LujakGO18,
author = {Marin Lujak and
Stefano Giordani and
Sascha Ossowski},
title = {Considering User Preference and Acceptance of Next Generation Route
Guidance Systems},
booktitle = {International Symposium on Artificial Intelligence and Mathematics,
{ISAIM} 2018, Fort Lauderdale, Florida, USA, January 3-5, 2018},
year = {2018},
url = {https://isaim2018.cs.ou.edu/papers/ISAIM2018\_Traffic\_Lujak\_etal.pdf},
timestamp = {Wed, 20 Mar 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isaim/LujakGO18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isaim/MabroukHO18,
author = {Olfa Mabrouk and
Lobna Hlaoua and
Mohamed Nazih Omri},
title = {Profile Categorization System based on Features Reduction},
booktitle = {International Symposium on Artificial Intelligence and Mathematics,
{ISAIM} 2018, Fort Lauderdale, Florida, USA, January 3-5, 2018},
year = {2018},
url = {https://isaim2018.cs.ou.edu/papers/ISAIM2018\_Mabrouk\_etal.pdf},
timestamp = {Wed, 20 Mar 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isaim/MabroukHO18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isaim/MahloujifarDM18,
author = {Saeed Mahloujifar and
Dimitrios I. Diochnos and
Mohammad Mahmoody},
title = {Learning under p-Tampering Attacks},
booktitle = {International Symposium on Artificial Intelligence and Mathematics,
{ISAIM} 2018, Fort Lauderdale, Florida, USA, January 3-5, 2018},
year = {2018},
url = {https://isaim2018.cs.ou.edu/papers/ISAIM2018\_Mahloujifar\_etal.pdf},
timestamp = {Wed, 20 Mar 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isaim/MahloujifarDM18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isaim/MaushagenNRS18,
author = {Cynthia Maushagen and
Marc Neveling and
J{\"{o}}rg Rothe and
Ann{-}Kathrin Selker},
title = {Complexity of Shift Bribery in Hare, Coombs, Baldwin, and Nanson Elections},
booktitle = {International Symposium on Artificial Intelligence and Mathematics,
{ISAIM} 2018, Fort Lauderdale, Florida, USA, January 3-5, 2018},
year = {2018},
url = {https://isaim2018.cs.ou.edu/papers/ISAIM2018\_Maushagen\_etal.pdf},
timestamp = {Wed, 20 Mar 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isaim/MaushagenNRS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isaim/Nakajima0KK18,
author = {Masaru Nakajima and
Hong Xu and
Sven Koenig and
T. K. Satish Kumar},
title = {Towards Understanding the Min-Sum Message Passing Algorithm for the
Minimum Weighted Vertex Cover Problem: An Analytical Approach},
booktitle = {International Symposium on Artificial Intelligence and Mathematics,
{ISAIM} 2018, Fort Lauderdale, Florida, USA, January 3-5, 2018},
year = {2018},
url = {https://isaim2018.cs.ou.edu/papers/ISAIM2018\_Nakajima\_etal.pdf},
timestamp = {Wed, 20 Mar 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isaim/Nakajima0KK18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isaim/Rozier18,
author = {Eric Rozier},
title = {Utilizing SMT-Based Data-Integrity Constraints to Estimate Data-Quality
and Compliance},
booktitle = {International Symposium on Artificial Intelligence and Mathematics,
{ISAIM} 2018, Fort Lauderdale, Florida, USA, January 3-5, 2018},
year = {2018},
url = {https://isaim2018.cs.ou.edu/papers/ISAIM2018\_SAT\_Rozier.pdf},
timestamp = {Wed, 20 Mar 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isaim/Rozier18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isaim/SaharoyT18,
author = {Debjyoti Saharoy and
Theja Tulabandhula},
title = {Learning Buyer Behavior under Realistic Pricing Restrictions},
booktitle = {International Symposium on Artificial Intelligence and Mathematics,
{ISAIM} 2018, Fort Lauderdale, Florida, USA, January 3-5, 2018},
year = {2018},
url = {https://isaim2018.cs.ou.edu/papers/ISAIM2018\_ML\_Saharoy\_Tulabandhula.pdf},
timestamp = {Wed, 20 Mar 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isaim/SaharoyT18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isaim/Salhi18,
author = {Yakoub Salhi},
title = {A Method for Generating all the Prime Implicants of Binary {CNF} Formulas},
booktitle = {International Symposium on Artificial Intelligence and Mathematics,
{ISAIM} 2018, Fort Lauderdale, Florida, USA, January 3-5, 2018},
year = {2018},
url = {https://isaim2018.cs.ou.edu/papers/ISAIM2018\_Salhi.pdf},
timestamp = {Wed, 20 Mar 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isaim/Salhi18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isaim/SavauxVPMMHYES18,
author = {Julien Savaux and
Julien Vion and
Sylvain Piechowiak and
Ren{\'{e}} Mandiau and
Toshihiro Matsui and
Katsutoshi Hirayama and
Makoto Yokoo and
Shakre Elmane and
Marius Silaghi},
title = {Stochastic Game Modelling for Distributed Constraint Reasoning with
Privacy},
booktitle = {International Symposium on Artificial Intelligence and Mathematics,
{ISAIM} 2018, Fort Lauderdale, Florida, USA, January 3-5, 2018},
year = {2018},
url = {https://isaim2018.cs.ou.edu/papers/ISAIM2018\_Savaux\_etal.pdf},
timestamp = {Wed, 20 Mar 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isaim/SavauxVPMMHYES18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isaim/SharonARBS18,
author = {Guni Sharon and
Michael Albert and
Tarun Rambha and
Stephen D. Boyles and
Peter Stone},
title = {Traffic Optimization For a Mixture of Self-interested and Compliant
Agents},
booktitle = {International Symposium on Artificial Intelligence and Mathematics,
{ISAIM} 2018, Fort Lauderdale, Florida, USA, January 3-5, 2018},
year = {2018},
url = {https://isaim2018.cs.ou.edu/papers/ISAIM2018\_Traffic\_Sharon\_etal.pdf},
timestamp = {Wed, 20 Mar 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isaim/SharonARBS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isaim/ShiH18,
author = {Jinchuan Shi and
Eric A. Hansen},
title = {Strategy Representation and Compression for Influence Diagrams},
booktitle = {International Symposium on Artificial Intelligence and Mathematics,
{ISAIM} 2018, Fort Lauderdale, Florida, USA, January 3-5, 2018},
year = {2018},
url = {https://isaim2018.cs.ou.edu/papers/ISAIM2018\_Shi\_Hansen.pdf},
timestamp = {Wed, 20 Mar 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isaim/ShiH18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isaim/ShutaywiK18,
author = {Meshal Shutaywi and
Nezamoddin Nezamoddini{-}Kachouie},
title = {A Weighted Majority Voting based on {NMI} for Cluster Analysis},
booktitle = {International Symposium on Artificial Intelligence and Mathematics,
{ISAIM} 2018, Fort Lauderdale, Florida, USA, January 3-5, 2018},
year = {2018},
url = {https://isaim2018.cs.ou.edu/papers/ISAIM2018\_Shutaywi\_Kachouie.pdf},
timestamp = {Wed, 20 Mar 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isaim/ShutaywiK18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isaim/Velev18,
author = {Miroslav N. Velev},
title = {Survey of Techniques for Efficient Solving of Boolean Formulas from
Formal Verification of Pipelined, Superscalar, and {VLIW} Microprocessors
at a High Level of Abstraction},
booktitle = {International Symposium on Artificial Intelligence and Mathematics,
{ISAIM} 2018, Fort Lauderdale, Florida, USA, January 3-5, 2018},
year = {2018},
url = {https://isaim2018.cs.ou.edu/papers/ISAIM2018\_SAT\_Velev.pdf},
timestamp = {Wed, 20 Mar 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isaim/Velev18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isaim/ZadroznyG18,
author = {Wlodek Zadrozny and
Luciana Garbayo},
title = {A Sheaf Model of Contradictions and Disagreements. {A} (very) Preliminary
Report},
booktitle = {International Symposium on Artificial Intelligence and Mathematics,
{ISAIM} 2018, Fort Lauderdale, Florida, USA, January 3-5, 2018},
year = {2018},
url = {https://isaim2018.cs.ou.edu/papers/ISAIM2018\_Zadrozny\_Garbayo.pdf},
timestamp = {Wed, 20 Mar 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isaim/ZadroznyG18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/isaim/2018,
title = {International Symposium on Artificial Intelligence and Mathematics,
{ISAIM} 2018, Fort Lauderdale, Florida, USA, January 3-5, 2018},
year = {2018},
timestamp = {Fri, 19 Jan 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isaim/2018.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
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.
retrieved on 2024-06-16 11:19 CEST from data curated by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
