default search action
ISAIM 2018: Fort Lauderdale, FL, USA
- International Symposium on Artificial Intelligence and Mathematics, ISAIM 2018, Fort Lauderdale, Florida, USA, January 3-5, 2018. 2018
Regular Track
- Morteza Ashraphijuo, Xiaodong Wang:
A Characterization of Sampling Patterns for Union of Low-Rank Subspaces Retrieval Problem. - Hong Xu, Xin-Zeng Wu, Cheng Cheng, Sven Koenig, T. K. Satish Kumar:
The Buss Reduction for the k-Weighted Vertex Cover Problem. - Liron Cohen, Tansel Uras, Shiva Jahangiri, Aliyah Arunasalam, Sven Koenig, T. K. Satish Kumar:
The FastMap Algorithm for Shortest Path Computations. - Bahram Behzadian, Marek Petrik:
Low-rank Feature Selection for Reinforcement Learning. - Masaru Nakajima, Hong Xu, Sven Koenig, T. K. Satish Kumar:
Towards Understanding the Min-Sum Message Passing Algorithm for the Minimum Weighted Vertex Cover Problem: An Analytical Approach. - Olfa Mabrouk, Lobna Hlaoua, Mohamed Nazih Omri:
Profile Categorization System based on Features Reduction. - Yakoub Salhi:
A Method for Generating all the Prime Implicants of Binary CNF Formulas. - Ghassen Hamdi, Mohamed Nazih Omri, Odile Papini, Salem Benferhat, Zied Bouraoui:
Querying DL-lite Knowledge Bases from Hidden Datasets. - Julien Savaux, Julien Vion, Sylvain Piechowiak, René Mandiau, Toshihiro Matsui, Katsutoshi Hirayama, Makoto Yokoo, Shakre Elmane, Marius Silaghi:
Stochastic Game Modelling for Distributed Constraint Reasoning with Privacy. - Brody Kutt, Rachel Burdorf, Travaughn C. Bain, Lisa Moore, Munevver Mine Subasi:
Interalgorithmic Consolidation for Pattern Recognition Applied to Melanoma Genomic Data. - Cynthia Maushagen, Marc Neveling, Jörg Rothe, Ann-Kathrin Selker:
Complexity of Shift Bribery in Hare, Coombs, Baldwin, and Nanson Elections. - Pascal Lange, Nhan-Tam Nguyen, Jörg Rothe:
The Price to Pay for Forgoing Normalization in Fair Division of Indivisible Goods. - Benjamin Fish, Lev Reyzin, Benjamin I. P. Rubinstein:
Sublinear-Time Adaptive Data Analysis. - Paolo Giuliodori, Stefano Bistarelli, Dimitri Mugnai:
A Fair Payment Scheme for Virtuous Community Energy Usage. - Jianding Guo, Laurent Moalic, Jean-Noël Martin, Alexandre Caminada:
Exact Graph Coloring Algorithms of Getting Partial and All Best Solutions. - Christian J. Feldbacher-Escamilla, Gerhard Schurz:
Meta-inductive Probability Aggregation and Optimal Scoring. - T. K. Satish Kumar, Zhi Wang, Anoop Kumar, Craig Milo Rogers, Craig A. Knoblock:
On the Linear Programming Duals of Temporal Reasoning Problems. - Meshal Shutaywi, Nezamoddin Nezamoddini-Kachouie:
A Weighted Majority Voting based on NMI for Cluster Analysis. - Wejdan Deebani, Nezamoddin Nezamoddini-Kachouie:
Ensemble Correlation Coefficient. - Patrice Bertail, Gabriela Ciolek, Stéphan Clémençon:
Generalization Bounds for Minimum Volume Set Estimation based on Markovian Data. - Aleksander Kuleshov, Alexander Bernstein, Yury Yanovich:
Geometrically Motivated Nonstationary Kernel Density Estimation on Manifold. - Hong Xu, Kexuan Sun, Sven Koenig, T. K. Satish Kumar:
A Warning Propagation-Based Linear-Time-and-Space Algorithm for the Minimum Vertex Cover Problem on Giant Graphs. - Ferdinando Fioretto, Hong Xu, Sven Koenig, T. K. Satish Kumar:
Constraint Composite Graph-Based Lifted Message Passing for Distributed Constraint Optimization Problems. - Wlodek Zadrozny, Luciana Garbayo:
A Sheaf Model of Contradictions and Disagreements. A (very) Preliminary Report. - Karim T. Abou-Moustafa, Csaba Szepesvári:
An Exponential Tail Bound for Lq Stable Learning Rules. Application to k-Folds Cross-Validation. - Jinchuan Shi, Eric A. Hansen:
Strategy Representation and Compression for Influence Diagrams. - Saeed Mahloujifar, Dimitrios I. Diochnos, Mohammad Mahmoody:
Learning under p-Tampering Attacks.
Special session on Flow Optimization in Traffic Networks
- Michael W. Levin, David Rey:
Conflict-point formulation of intersection control for autonomous vehicles. - Guni Sharon, Michael Albert, Tarun Rambha, Stephen D. Boyles, Peter Stone:
Traffic Optimization For a Mixture of Self-interested and Compliant Agents. - Marin Lujak, Stefano Giordani, Sascha Ossowski:
Considering User Preference and Acceptance of Next Generation Route Guidance Systems. - Stephen D. Boyles:
Parking search equilibrium and its implications for parking management. - Hamid Mirzaei Buini, Guni Sharon, Stephen D. Boyles, Tony Givargis, Peter Stone:
Enhanced Delta-tolling: Traffic Optimization via Policy Gradient Reinforcement Learning.
Special session on Boolean and pseudo-Boolean Functions
- Endre Boros, Yves Crama, Elisabeth Rodríguez-Heck:
Quadratizations of symmetric pseudo-Boolean functions: sub-linear bounds on the number of auxiliary variables. - Lisa Hellerstein:
Stochastic Evaluation of Symmetric Boolean Functions. - John N. Hooker:
Dynamic Programming Bounds from Decision Diagrams. - Jinwook Lee:
On the union of orthants in the n-space. - Travaughn C. Bain, Juan Felix Avila Herrera, Ersoy Subasi, Munevver Mine Subasi:
Logical Analysis of Multiclass Data with Relaxed Patterns. - Michael N. Katehakis:
On Markov Decision Processes with Pseudo-Boolean Reward Functions.
Special session on Formalising Robot Ethics
- Louise A. Dennis, Michael Fisher:
Practical Challenges in Explicit Ethical Machine Reasoning. - Martin Mose Bentzen:
A Formalization of Kant's Second Formulation of the Categorical Imperative. - Selmer Bringsjord, Naveen Sundar G., Bertram F. Malle, Matthias Scheutz:
Contextual Deontic Cognitive Event Calculi for Ethically Correct Robots. - Kevin Baum, Holger Hermanns, Timo Speith:
From Machine Ethics To Machine Explainability and Back. - Naveen Sundar Govindarajulu, Rikhiya Ghosh, Selmer Bringsjord:
Extending Formal Models of the Doctrine of Double Effect with Emotions. - Oliver Bendel:
Selected Prototypes of Moral Machines. - Vincent Conitzer, Walter Sinnott-Armstrong, Jana Schaich Borg, Yuan Deng, Max Kramer:
Moral Decision Making Frameworks for Artificial Intelligence.
Special session on Theory of Machine Learning
- Dimitrios I. Diochnos:
On the Evolvability of Monotone Monomials with a (1+1) Evolutionary Algorithm. - Yahel David, Balázs Szörényi, Mohammad Ghavamzadeh, Shie Mannor, Nahum Shimkin:
PAC Bandits with Risk Constraints. - Debjyoti Saharoy, Theja Tulabandhula:
Learning Buyer Behavior under Realistic Pricing Restrictions.
Special session on Applications of SAT
- John Franco:
A Peek at the Cryptol Language. - Eric Rozier:
Utilizing SMT-Based Data-Integrity Constraints to Estimate Data-Quality and Compliance. - Miroslav N. Velev:
Survey of Techniques for Efficient Solving of Boolean Formulas from Formal Verification of Pipelined, Superscalar, and VLIW Microprocessors at a High Level of Abstraction.
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.
last updated on 2024-12-26 01:01 CET 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: