| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Olfa Mabrouk, Lobna Hlaoua, Mohamed Nazih Omri |
Profile Categorization System based on Features Reduction.  |
ISAIM  |
2018 |
DBLP BibTeX RDF |
|
| 1 | Liron Cohen 0002, Tansel Uras, Shiva Jahangiri, Aliyah Arunasalam, Sven Koenig, T. K. Satish Kumar |
The FastMap Algorithm for Shortest Path Computations. |
ISAIM |
2018 |
DBLP BibTeX RDF |
|
| 1 | Morteza Ashraphijuo, Xiaodong Wang 0001 |
A Characterization of Sampling Patterns for Union of Low-Rank Subspaces Retrieval Problem. |
ISAIM |
2018 |
DBLP BibTeX RDF |
|
| 1 | Eric Rozier |
Utilizing SMT-Based Data-Integrity Constraints to Estimate Data-Quality and Compliance. |
ISAIM |
2018 |
DBLP BibTeX RDF |
|
| 1 | |
International Symposium on Artificial Intelligence and Mathematics, ISAIM 2020, Fort Lauderdale, Florida, USA, January 6-8, 2020. |
ISAIM |
2018 |
DBLP BibTeX RDF |
|
| 1 | Hamid Mirzaei Buini, Guni Sharon, Stephen D. Boyles, Tony Givargis, Peter Stone |
Enhanced Delta-tolling: Traffic Optimization via Policy Gradient Reinforcement Learning. |
ISAIM |
2018 |
DBLP BibTeX RDF |
|
| 1 | Michael W. Levin, David Rey |
Conflict-point formulation of intersection control for autonomous vehicles. |
ISAIM |
2018 |
DBLP BibTeX RDF |
|
| 1 | Martin Mose Bentzen |
A Formalization of Kant's Second Formulation of the Categorical Imperative. |
ISAIM |
2018 |
DBLP BibTeX RDF |
|
| 1 | Masaru Nakajima, Hong Xu 0003, Sven Koenig, T. K. Satish Kumar |
Towards Understanding the Min-Sum Message Passing Algorithm for the Minimum Weighted Vertex Cover Problem: An Analytical Approach. |
ISAIM |
2018 |
DBLP BibTeX RDF |
|
| 1 | Cynthia Maushagen, Marc Neveling, Jörg Rothe, Ann-Kathrin Selker |
Complexity of Shift Bribery in Hare, Coombs, Baldwin, and Nanson Elections. |
ISAIM |
2018 |
DBLP BibTeX RDF |
|
| 1 | Debjyoti Saharoy, Theja Tulabandhula |
Learning Buyer Behavior under Realistic Pricing Restrictions. |
ISAIM |
2018 |
DBLP BibTeX RDF |
|
| 1 | |
International Symposium on Artificial Intelligence and Mathematics, ISAIM 2018, Fort Lauderdale, Florida, USA, January 3-5, 2018. |
ISAIM |
2018 |
DBLP BibTeX RDF |
|
| 1 | Dimitrios I. Diochnos |
On the Evolvability of Monotone Monomials with a (1+1) Evolutionary Algorithm. |
ISAIM |
2018 |
DBLP BibTeX RDF |
|
| 1 | Michael N. Katehakis |
On Markov Decision Processes with Pseudo-Boolean Reward Functions. |
ISAIM |
2018 |
DBLP BibTeX RDF |
|
| 1 | T. K. Satish Kumar, Zhi Wang 0013, Anoop Kumar, Craig Milo Rogers, Craig A. Knoblock |
On the Linear Programming Duals of Temporal Reasoning Problems. |
ISAIM |
2018 |
DBLP BibTeX RDF |
|
| 1 | Kevin Baum 0001, Holger Hermanns, Timo Speith |
From Machine Ethics To Machine Explainability and Back. |
ISAIM |
2018 |
DBLP BibTeX RDF |
|
| 1 | Saeed Mahloujifar, Dimitrios I. Diochnos, Mohammad Mahmoody |
Learning under p-Tampering Attacks. |
ISAIM |
2018 |
DBLP BibTeX RDF |
|
| 1 | Jinwook Lee |
On the union of orthants in the n-space. |
ISAIM |
2018 |
DBLP BibTeX RDF |
|
| 1 | Yahel David, Balázs Szörényi, Mohammad Ghavamzadeh, Shie Mannor, Nahum Shimkin |
PAC Bandits with Risk Constraints. |
ISAIM |
2018 |
DBLP BibTeX RDF |
|
| 1 | Brody Kutt, Rachel Burdorf, Travaughn C. Bain, Lisa Moore, Munevver Mine Subasi |
Interalgorithmic Consolidation for Pattern Recognition Applied to Melanoma Genomic Data. |
ISAIM |
2018 |
DBLP BibTeX RDF |
|
| 1 | Benjamin Fish, Lev Reyzin, Benjamin I. P. Rubinstein |
Sublinear-Time Adaptive Data Analysis. |
ISAIM |
2018 |
DBLP BibTeX RDF |
|
| 1 | Wejdan Deebani, Nezamoddin Nezamoddini-Kachouie |
Ensemble Correlation Coefficient. |
ISAIM |
2018 |
DBLP BibTeX RDF |
|
| 1 | Jianding Guo, Laurent Moalic, Jean-Noël Martin, Alexandre Caminada |
Exact Graph Coloring Algorithms of Getting Partial and All Best Solutions. |
ISAIM |
2018 |
DBLP BibTeX RDF |
|
| 1 | Yakoub Salhi |
A Method for Generating all the Prime Implicants of Binary CNF Formulas. |
ISAIM |
2018 |
DBLP BibTeX RDF |
|
| 1 | Christian J. Feldbacher-Escamilla, Gerhard Schurz |
Meta-inductive Probability Aggregation and Optimal Scoring. |
ISAIM |
2018 |
DBLP BibTeX RDF |
|
| 1 | Hong Xu 0003, Xin-Zeng Wu, Cheng Cheng 0001, Sven Koenig, T. K. Satish Kumar |
The Buss Reduction for the k-Weighted Vertex Cover Problem. |
ISAIM |
2018 |
DBLP BibTeX RDF |
|
| 1 | Wlodek Zadrozny, Luciana Garbayo |
A Sheaf Model of Contradictions and Disagreements. A (very) Preliminary Report. |
ISAIM |
2018 |
DBLP BibTeX RDF |
|
| 1 | Vincent Conitzer, Walter Sinnott-Armstrong, Jana Schaich Borg, Yuan Deng, Max Kramer 0001 |
Moral Decision Making Frameworks for Artificial Intelligence. |
ISAIM |
2018 |
DBLP BibTeX RDF |
|
| 1 | Bahram Behzadian, Marek Petrik |
Low-rank Feature Selection for Reinforcement Learning. |
ISAIM |
2018 |
DBLP BibTeX RDF |
|
| 1 | Patrice Bertail, Gabriela Ciolek, Stéphan Clémençon |
Generalization Bounds for Minimum Volume Set Estimation based on Markovian Data. |
ISAIM |
2018 |
DBLP BibTeX RDF |
|
| 1 | Jinchuan Shi, Eric A. Hansen |
Strategy Representation and Compression for Influence Diagrams. |
ISAIM |
2018 |
DBLP BibTeX RDF |
|
| 1 | 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. |
ISAIM |
2018 |
DBLP BibTeX RDF |
|
| 1 | Lisa Hellerstein |
Stochastic Evaluation of Symmetric Boolean Functions. |
ISAIM |
2018 |
DBLP BibTeX RDF |
|
| 1 | Paolo Giuliodori, Stefano Bistarelli, Dimitri Mugnai |
A Fair Payment Scheme for Virtuous Community Energy Usage. |
ISAIM |
2018 |
DBLP BibTeX RDF |
|
| 1 | Naveen Sundar Govindarajulu, Rikhiya Ghosh, Selmer Bringsjord |
Extending Formal Models of the Doctrine of Double Effect with Emotions. |
ISAIM |
2018 |
DBLP BibTeX RDF |
|
| 1 | Ferdinando Fioretto, Hong Xu 0003, Sven Koenig, T. K. Satish Kumar |
Constraint Composite Graph-Based Lifted Message Passing for Distributed Constraint Optimization Problems. |
ISAIM |
2018 |
DBLP BibTeX RDF |
|
| 1 | Selmer Bringsjord, Naveen Sundar G., Bertram F. Malle, Matthias Scheutz |
Contextual Deontic Cognitive Event Calculi for Ethically Correct Robots. |
ISAIM |
2018 |
DBLP BibTeX RDF |
|
| 1 | Abdelhamid Boudjelida, Salem Benferhat |
Conjunctive Choice Logic. |
ISAIM |
2016 |
DBLP BibTeX RDF |
|
| 1 | Aliza Heching, John N. Hooker |
Logic-Based Benders Decomposition for Multiagent Scheduling with Sequence-dependent Costs. |
ISAIM |
2016 |
DBLP BibTeX RDF |
|
| 1 | Salem Benferhat, Amen Ajroud |
Computing multiple c-revision using OCF knowledge base. |
ISAIM |
2016 |
DBLP BibTeX RDF |
|
| 1 | Miroslav N. Velev, Ping Gao 0002 |
Application of Hierarchical Hybrid Encodings to Solve CSPs as Equivalent SAT Problems. |
ISAIM |
2016 |
DBLP BibTeX RDF |
|
| 1 | Kahina Bouchama, Mohammed Said Radjef, Lakhdar Sais |
Z-Equilibrium For a CSP Game. |
ISAIM |
2016 |
DBLP BibTeX RDF |
|
| 1 | Stathis Plitsos, Dimitrios Magos, Ioannis Mourtos |
An Integrated Solver for Multi-index Assignment. |
ISAIM |
2016 |
DBLP BibTeX RDF |
|
| 1 | Josef Urban |
Learning Intelligent Theorem Proving from Large Formal Corpora. |
ISAIM |
2016 |
DBLP BibTeX RDF |
|
| 1 | David Bergman |
Decompositions Based on Decision Diagrams. |
ISAIM |
2016 |
DBLP BibTeX RDF |
|
| 1 | Ersoy Subasi, Munevver Mine Subasi, Michael Lipkowitz, John Roboz, Peter L. Hammer |
A Classification Model to Predict the Rate of Decline of Kidney Function. |
ISAIM |
2016 |
DBLP BibTeX RDF |
|
| 1 | Endre Boros, Ondrej Cepek, Kazuhisa Makino |
A combinatorial min-max theorem and minimization of pure-Horn functions. |
ISAIM |
2016 |
DBLP BibTeX RDF |
|
| 1 | Jussi Määttä, Teemu Roos |
Robust Sequential Prediction in Linear Regression with Student's t-distribution. |
ISAIM |
2016 |
DBLP BibTeX RDF |
|
| 1 | Roman Barták, Jindrich Vodrázka |
The Effect of Domain Modeling on Efficiency of Planning. |
ISAIM |
2016 |
DBLP BibTeX RDF |
|
| 1 | Chao Lan, Xiaoli Li 0013, Yujie Deng, Jun Huan |
Partial Collective Matrix Factorization and its PAC Bound. |
ISAIM |
2016 |
DBLP BibTeX RDF |
|
| 1 | Michael Winkler |
Solving Non-Linear Pseudo-Boolean Optimization Problems by Constraint Integer Programming. |
ISAIM |
2016 |
DBLP BibTeX RDF |
|
| 1 | Eric Bach 0001, Lisa Hellerstein, Devorah Kletenik |
On the Goal Value of a Boolean Function. |
ISAIM |
2016 |
DBLP BibTeX RDF |
|
| 1 | Benjamin Fish, Yi Huang, Lev Reyzin |
Recovering Social Networks by Observing Votes. |
ISAIM |
2016 |
DBLP BibTeX RDF |
|
| 1 | Yali Wan, Marina Meila |
Benchmarking recovery theorems for the DC-SBM. |
ISAIM |
2016 |
DBLP BibTeX RDF |
|
| 1 | Munevver Mine Subasi, Juan Felix Avila Herrera |
Logical Analysis of Multiclass Data. |
ISAIM |
2016 |
DBLP BibTeX RDF |
|
| 1 | Vincent Conitzer, Rupert Freeman, Markus Brill, Yuqian Li |
Rules for Choosing Societal Tradeoffs. |
ISAIM |
2016 |
DBLP BibTeX RDF |
|
| 1 | Bernard Gendron, Louis-Martin Rousseau |
Grammar-Based Integer Programming Models and Methods for Employee Scheduling Problems. |
ISAIM |
2016 |
DBLP BibTeX RDF |
|
| 1 | Laurent Michel, Daniel Fontaine |
Model Combinators in the Scheduling Domain. |
ISAIM |
2016 |
DBLP BibTeX RDF |
|
| 1 | Esma Balkir, Dimitri Kartsaklis, Mehrnoosh Sadrzadeh |
Sentence Entailment in Compositional Distributional Semantics. |
ISAIM |
2016 |
DBLP BibTeX RDF |
|
| 1 | Markus Brill, Vincent Conitzer, Rupert Freeman, Nisarg Shah 0001 |
False-Name-Proof Recommendations in Social Networks. |
ISAIM |
2016 |
DBLP BibTeX RDF |
|
| 1 | Steven D. Prestwich, Armagan Tarim, Ibrahim Özkan |
Causal Discovery by Randomness Test. |
ISAIM |
2016 |
DBLP BibTeX RDF |
|
| 1 | Piotr Wojciechowski 0002, K. Subramani 0001, Pavlos Eirinakis |
On the computational complexities of Quantified Integer Programming variants. |
ISAIM |
2016 |
DBLP BibTeX RDF |
|
| 1 | Leonardo de Moura 0001 |
Formalizing Mathematics using the Lean Theorem Prover. |
ISAIM |
2016 |
DBLP BibTeX RDF |
|
| 1 | Markus Brill, Rupert Freeman, Vincent Conitzer |
Computing Possible and Necessary Equilibrium Actions (and Bipartisan Set Winners). |
ISAIM |
2016 |
DBLP BibTeX RDF |
|
| 1 | André A. Ciré |
Hybrid Approaches Based on Lagrangian Relaxation. |
ISAIM |
2016 |
DBLP BibTeX RDF |
|
| 1 | Ilias S. Kotsireas |
Computational Approaches to Open Problems in Combinatorics. |
ISAIM |
2016 |
DBLP BibTeX RDF |
|
| 1 | Christian Reger |
Voter Control in k-Approval and k-Veto under Partial Information. |
ISAIM |
2016 |
DBLP BibTeX RDF |
|
| 1 | Domenico Salvagnin |
Detecting and Exploiting Global Structures in MIP. |
ISAIM |
2016 |
DBLP BibTeX RDF |
|
| 1 | Ondrej Cepek, Radek Husek |
Knowledge compilation from DNF to switch-list representations. |
ISAIM |
2016 |
DBLP BibTeX RDF |
|
| 1 | Ryan Berryhill, Andreas G. Veneris |
Efficient Selection of Suspect Sets in Unreachable State Diagnosis. |
ISAIM |
2016 |
DBLP BibTeX RDF |
|
| 1 | Munevver Mine Subasi, Melissa S. Moreno, Travaughn C. Bain, Megan Moreno, Ersoy Subasi, Katherine C. Carroll, Emily R. Cunningham, Michael Lipkowitz |
Pattern-based Classification and Survival Analysis of Chronic Kidney Disease. |
ISAIM |
2016 |
DBLP BibTeX RDF |
|
| 1 | Eric William Davis Rozier, Kristin Y. Rozier |
Cascading Solution to Data Dependence Constraints with Z3. |
ISAIM |
2016 |
DBLP BibTeX RDF |
|
| 1 | Cynthia Maushagen, Jörg Rothe |
Complexity of Control by Partitioning Veto and Maximin Elections. |
ISAIM |
2016 |
DBLP BibTeX RDF |
|
| 1 | Petr Savický, Petr Kucera |
Generating models of a matched formula with a polynomial delay. |
ISAIM |
2016 |
DBLP BibTeX RDF |
|
| 1 | Junkyu Lee 0001, Radu Marinescu 0002, Rina Dechter |
Applying Search Based Probabilistic Inference Algorithms to Probabilistic Conformant Planning: Preliminary Results. |
ISAIM |
2016 |
DBLP BibTeX RDF |
|
| 1 | Kyle E. C. Booth, Tony T. Tran, J. Christopher Beck |
Decomposition Methods for the Travelling Purchaser Problem. |
ISAIM |
2016 |
DBLP BibTeX RDF |
|
| 1 | T. K. Satish Kumar |
Kernelization, Generation of Bounds, and the Scope of Incremental Computation for Weighted Constraint Satisfaction Problems. |
ISAIM |
2016 |
DBLP BibTeX RDF |
|
| 1 | |
International Symposium on Artificial Intelligence and Mathematics, ISAIM 2016, Fort Lauderdale, Florida, USA, January 4-6, 2016. |
ISAIM |
2016 |
DBLP BibTeX RDF |
|
| 1 | Petr Kucera |
Hydras: Complexity on general graphs and a subclass of trees. |
ISAIM |
2014 |
DBLP BibTeX RDF |
|
| 1 | Sean A. Fulop, Sylvain Neuvel |
Networks of morphological relations. |
ISAIM |
2014 |
DBLP BibTeX RDF |
|
| 1 | Salem Benferhat, Zied Bouraoui, Odile Papini, Éric Würbel |
Assertional-based Removed Set Revision of DL-LiteR Belief Bases. |
ISAIM |
2014 |
DBLP BibTeX RDF |
|
| 1 | Shai Ben-David, Ruth Urner |
The sample complexity of agnostic learning with deterministic labels. |
ISAIM |
2014 |
DBLP BibTeX RDF |
|
| 1 | Utz-Uwe Haus, Carla Michini |
Representations of All Solutions of Boolean Programming Problems. |
ISAIM |
2014 |
DBLP BibTeX RDF |
|
| 1 | Gianluca Giorgolo, Ash Asudeh |
Monads for composing categorical and probabilistic meanings. |
ISAIM |
2014 |
DBLP BibTeX RDF |
|
| 1 | Takahisa Toda |
Dualization of Boolean functions Using Ternary Decision Diagrams. |
ISAIM |
2014 |
DBLP BibTeX RDF |
|
| 1 | Lev Reyzin |
On Boosting Sparse Parities. |
ISAIM |
2014 |
DBLP BibTeX RDF |
|
| 1 | Piotr Wojciechowski 0002, Pavlos Eirinakis, K. Subramani 0001 |
Variants of Quantified Linear Programming and Quantified Linear Implication. |
ISAIM |
2014 |
DBLP BibTeX RDF |
|
| 1 | Meaghan Fowlie |
Learning Optionality and Repetition. |
ISAIM |
2014 |
DBLP BibTeX RDF |
|
| 1 | Pedro Barahona, Steffen Hölldobler, Van-Hau Nguyen |
Efficient SAT-Encoding of Linear CSP Constraints. |
ISAIM |
2014 |
DBLP BibTeX RDF |
|
| 1 | Saïd Jabbour, Lakhdar Saïs, Yakoub Salhi |
A Pigeon-Hole Based Encoding of Cardinality Constraints. |
ISAIM |
2014 |
DBLP BibTeX RDF |
|
| 1 | Vincent Conitzer |
The Maximum Likelihood Approach to Voting on Social Networks. |
ISAIM |
2014 |
DBLP BibTeX RDF |
|
| 1 | Andreas Wotzlaw, Ewald Speckenmeyer, Stefan Porschen |
Probabilistic Analysis of Random Mixed Horn Formulas. |
ISAIM |
2014 |
DBLP BibTeX RDF |
|
| 1 | Ferdinando Cicalese, Eduardo Sany Laber, Aline Medeiros Saettler |
Function Evaluation: decision trees optimizing simultaneously worst and expected testing cost. |
ISAIM |
2014 |
DBLP BibTeX RDF |
|
| 1 | Lirong Xia |
Assigning indivisible and categorized items. |
ISAIM |
2014 |
DBLP BibTeX RDF |
|
| 1 | André Abramé, Djamal Habet, Donia Toumi |
Improving Configuration Checking for Satisfiable Random k-SAT Instances. |
ISAIM |
2014 |
DBLP BibTeX RDF |
|
| 1 | Tibérius O. Bonates, José W. V. Morais Neto |
Reversing the Classification of Weighted Rule Ensembles. |
ISAIM |
2014 |
DBLP BibTeX RDF |
|
| 1 | Xia Qu, Prashant Doshi |
Behavioral Modeling of Sequential Bargaining Games: Fairness and Limited Backward Induction. |
ISAIM |
2014 |
DBLP BibTeX RDF |
|
| 1 | Natalia Flerova, Radu Marinescu 0002, Rina Dechter |
Weighted Best First Search for Graphical Models. |
ISAIM |
2014 |
DBLP BibTeX RDF |
|
| 1 | Tomohiko Okayama, Ryo Yoshinaka, Keisuke Otaki, Akihiro Yamamoto |
A Sufficient Condition for Learning Unbounded Unions of Languages with Refinement Operators. |
ISAIM |
2014 |
DBLP BibTeX RDF |
|
| 1 | Jonathan H. Huggins, Cynthia Rudin |
Toward a Theory of Pattern Discovery. |
ISAIM |
2014 |
DBLP BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license