Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | James Rogers |
Hybrid Distributions of Strings. |
ISAIM |
2014 |
DBLP BibTeX RDF |
|
1 | Daya Ram Gaur |
On Resolution Like Proofs of Monotone Self-Dual Functions. |
ISAIM |
2014 |
DBLP BibTeX RDF |
|
1 | Umberto Grandi, Andrea Loreggia, Francesca Rossi 0001, Vijay A. Saraswat |
From Sentiment Analysis to Preference Aggregation. |
ISAIM |
2014 |
DBLP BibTeX RDF |
|
1 | Endre Boros, Isabella Lari |
Cones of Nonnegative Quadratic Pseudo-Boolean Functions. |
ISAIM |
2014 |
DBLP BibTeX RDF |
|
1 | |
International Symposium on Artificial Intelligence and Mathematics, ISAIM 2014, Fort Lauderdale, FL, USA, January 6-8, 2014 |
ISAIM |
2014 |
DBLP BibTeX RDF |
|
1 | Ruitong Huang, Csaba Szepesvári |
Generalization Bounds for Partially Linear Models. |
ISAIM |
2014 |
DBLP BibTeX RDF |
|
1 | Anja Rey, Jörg Rothe, Hilmar Schadrack, Lena Schend |
Toward the Complexity of the Existence of Wonderfully Stable Partitions and Strictly Core Stable Coalition Structures in Hedonic Games. |
ISAIM |
2014 |
DBLP BibTeX RDF |
|
1 | Mohammad Al-Saedi, Éric Grégoire, Bertrand Mazure, Lakhdar Saïs |
About Some UP-Based Polynomial Fragments of SAT. |
ISAIM |
2014 |
DBLP BibTeX RDF |
|
1 | Sarah R. Allen, Lisa Hellerstein, Devorah Kletenik, Tonguç Ünlüyurt |
Evaluation of DNF Formulas. |
ISAIM |
2014 |
DBLP BibTeX RDF |
|
1 | Richard E. Korf, Ethan L. Schreiber, Michael D. Moffitt |
Optimal Sequential Multi-Way Number Partitioning. |
ISAIM |
2014 |
DBLP BibTeX RDF |
|
1 | Erik Wennstrom |
Tableau-Based Model Generation for Relational Syllogistic Logics. |
ISAIM |
2014 |
DBLP BibTeX RDF |
|
1 | André A. Ciré, John N. Hooker |
The Separation Problem for Binary Decision Diagrams. |
ISAIM |
2014 |
DBLP BibTeX RDF |
|
1 | Felix Brandt 0001, Markus Brill, Paul Harrenstein |
Extending Tournament Solutions. |
ISAIM |
2014 |
DBLP BibTeX RDF |
|
1 | Theja Tulabandhula, Cynthia Rudin |
Robust Optimization using Machine Learning for Uncertainty Sets. |
ISAIM |
2014 |
DBLP BibTeX RDF |
|
1 | Ondrej Cepek, Stefan Gurský |
On the Gap between the Complexity of SAT and Minimization for Certain Classes of Boolean Formulas. |
ISAIM |
2014 |
DBLP BibTeX RDF |
|
1 | Theja Tulabandhula, Cynthia Rudin |
Generalization Bounds for Learning with Linear and Quadratic Side Knowledge. |
ISAIM |
2014 |
DBLP BibTeX RDF |
|
1 | Nina Chiarelli, Martin Milanic |
Linear Separation of Connected Dominating Sets in Graphs. |
ISAIM |
2014 |
DBLP BibTeX RDF |
|
1 | Philippe Jégou, Cyril Terrioux |
Bag-Connected Tree-Width: A New Parameter for Graph Decomposition. |
ISAIM |
2014 |
DBLP BibTeX RDF |
|
1 | Dan Gutfreund, Aryeh Kontorovich, Ran Levy 0001, Michal Rosen-Zvi |
Boosting Conditional Probability Estimators. |
ISAIM |
2014 |
DBLP BibTeX RDF |
|
1 | Gabriele Kern-Isberner, Marco Wilhelm, Christoph Beierle |
Probabilistic Knowledge Representation Using Gröbner Basis Theory. |
ISAIM |
2014 |
DBLP BibTeX RDF |
|
1 | Mans Hulden, Miikka Silfverberg |
Finite-state subset approximation of phrase structure. |
ISAIM |
2014 |
DBLP BibTeX RDF |
|
1 | Cynthia Rudin, Theja Tulabandhula |
The Influence of Operational Cost on Estimation. |
ISAIM |
2012 |
DBLP BibTeX RDF |
|
1 | Jörg Rothe, Lena Schend |
Typical-Case Challenges to Complexity Shields That Are Supposed to Protect Elections Against Manipulation and Control: A Survey. |
ISAIM |
2012 |
DBLP BibTeX RDF |
|
1 | Arindam Khaled, Changhe Yuan, Eric A. Hansen |
Solving Limited Memory Influence Diagrams Using Branch-and-Bound Search. |
ISAIM |
2012 |
DBLP BibTeX RDF |
|
1 | Gizem Karaali, Sinan Aksoy, Adam Azzam, Chaya Coppersmith, Julie Glass, Xueying Zhao, Xinjing Zhu |
A Cost-Minimizing Algorithm for School Choice. |
ISAIM |
2012 |
DBLP BibTeX RDF |
|
1 | Ondrej Cepek, Petr Kucera, Stanislav Kurik |
Boolean functions with long prime implicants. |
ISAIM |
2012 |
DBLP BibTeX RDF |
|
1 | Nhan-Tam Nguyen, Magnus Roos, Jörg Rothe |
Exact Optimization of Social Welfare by the Nash Product is DP-Complete. |
ISAIM |
2012 |
DBLP BibTeX RDF |
|
1 | Shai Ben-David, Shai Shalev-Shwartz, Ruth Urner |
Domain Adaptation--Can Quantity compensate for Quality?. |
ISAIM |
2012 |
DBLP BibTeX RDF |
|
1 | Claude Carlet, Sihem Mesnager |
On Dillon's class H of Niho bent functions and o-polynomials. |
ISAIM |
2012 |
DBLP BibTeX RDF |
|
1 | Achref El Mouelhi, Philippe Jégou, Cyril Terrioux, Bruno Zanuttini |
On the Efficiency of Backtracking Algorithms for Binary Constraint Satisfaction Problems. |
ISAIM |
2012 |
DBLP BibTeX RDF |
|
1 | Munevver Mine Subasi, Peter L. Hammer, Ersoy Subasi, Martin Anthony |
A new imputation method for incomplete binary data. |
ISAIM |
2012 |
DBLP BibTeX RDF |
|
1 | Marco Gavanelli, Fabrizio Riguzzi, Michela Milano, Paolo Cagnoli |
Constraint and Optimization techniques for supporting Policy Making. |
ISAIM |
2012 |
DBLP BibTeX RDF |
|
1 | Imen Boukhris, Zied Elouedi, Salem Benferhat |
From Acceptation Relations to Causality Ascription in a Belief Function Framework. |
ISAIM |
2012 |
DBLP BibTeX RDF |
|
1 | Despina Stasi, Robert H. Sloan, György Turán |
Hydra formulas and directed hypergraphs: A preliminary report. |
ISAIM |
2012 |
DBLP BibTeX RDF |
|
1 | Václav Vlcek, Tomás Balyo, Stefan Gurský, Petr Kucera |
On hierarchies over the SLUR class. |
ISAIM |
2012 |
DBLP BibTeX RDF |
|
1 | Venkatesh Ramamoorthy, Marius Silaghi 0001, Toshihiro Matsui, Katsutoshi Hirayama, Makoto Yokoo |
Soft Nonlinearity Constraints and their Lower-Arity Decomposition. |
ISAIM |
2012 |
DBLP BibTeX RDF |
|
1 | Trung Thanh Nguyen 0004, Magnus Roos, Jörg Rothe |
A Survey of Approximability and Inapproximability Results for Social Welfare Optimization in Multiagent Resource Allocation. |
ISAIM |
2012 |
DBLP BibTeX RDF |
|
1 | Kira V. Adaricheva, James B. Nation, Robert Rand 0001 |
Ordered direct implicational basis of a finite closure system. |
ISAIM |
2012 |
DBLP BibTeX RDF |
|
1 | Michel Regenwetter, Bernard Grofman, Anna Popova, William Messner, Clintin P. Davis-Stober, Daniel R. Cavagnaro |
Behavioural social choice: a status report. |
ISAIM |
2012 |
DBLP BibTeX RDF |
|
1 | Hei Chan, Manabu Kuroki |
Identification of Causal Effects in Linear SEMs using the Instrumental Variable Function. |
ISAIM |
2012 |
DBLP BibTeX RDF |
|
1 | Jan-Georg Smaus, Christian Schilling 0001, Fabian Wenzelmann |
Implementations of two algorithms for the threshold synthesis problem. |
ISAIM |
2012 |
DBLP BibTeX RDF |
|
1 | Pavlos Eirinakis, Salvatore Ruggieri, K. Subramani 0001, Piotr Wojciechowski 0002 |
Computational complexity of inclusion queries over polyhedral sets. |
ISAIM |
2012 |
DBLP BibTeX RDF |
|
1 | Aritanan Gruber, Endre Boros |
Hardness Results for Approximate Pure Horn CNF Formulae Minimization. |
ISAIM |
2012 |
DBLP BibTeX RDF |
|
1 | Hans Ulrich Simon |
PAC-Learning in the Presence of One-sided Classification Noise. |
ISAIM |
2012 |
DBLP BibTeX RDF |
|
1 | Utz-Uwe Haus, Elke Eisenschmidt |
Bi-tone and k-tone decompositions of Boolean functions. |
ISAIM |
2012 |
DBLP BibTeX RDF |
|
1 | Giovanni Felici, Emanuel Weitschek |
Mining logic models in the presence of noisy data. |
ISAIM |
2012 |
DBLP BibTeX RDF |
|
1 | T. Nicolaus Tideman, Florenz Plassmann |
Developing the Empirical Side of Computational Social Choice. |
ISAIM |
2012 |
DBLP BibTeX RDF |
|
1 | Martin Anthony, Joel Ratsaby |
The performance of a new hybrid classifier based on boxes and nearest neighbors. |
ISAIM |
2012 |
DBLP BibTeX RDF |
|
1 | |
International Symposium on Artificial Intelligence and Mathematics, ISAIM 2012, Fort Lauderdale, Florida, USA, January 9-11, 2012 |
ISAIM |
2012 |
DBLP BibTeX RDF |
|
1 | Lirong Xia, Vincent Conitzer |
Approximating Common Voting Rules by Sequential Voting in Multi-Issue Domains. |
ISAIM |
2012 |
DBLP BibTeX RDF |
|
1 | Xia Qu, Prashant Doshi, Adam Goodie |
Modeling Deep Strategic Reasoning by Humans in Competitive Games. |
ISAIM |
2012 |
DBLP BibTeX RDF |
|
1 | Ekhlas Sonu, Prashant Doshi |
Generalized and Bounded Policy Iteration for Interactive POMDPs. |
ISAIM |
2012 |
DBLP BibTeX RDF |
|
1 | Yishay Mansour, Mariano Schain |
Robust Domain Adaptation. |
ISAIM |
2012 |
DBLP BibTeX RDF |
|
1 | Endre Boros, Aritanan Gruber |
On quadratization of pseudo-Boolean functions. |
ISAIM |
2012 |
DBLP BibTeX RDF |
|
1 | Lisa Hellerstein, Devorah Kletenik |
On the gap between ess(f) and cnf_size(f). |
ISAIM |
2012 |
DBLP BibTeX RDF |
|
1 | Nicholas Mattei, Maria Silvia Pini, Francesca Rossi 0001, Kristen Brent Venable |
Bribery in Voting Over Combinatorial Domains Is Easy. |
ISAIM |
2012 |
DBLP BibTeX RDF |
|
1 | Miroslav N. Velev, Ping Gao 0002 |
Design of parallel portfolios for SAT-based solving of Hamiltonian cycle problems. |
ISAIM |
2010 |
DBLP BibTeX RDF |
|
1 | Lars Otten, Rina Dechter |
Toward parallel search for optimization in graphical models. |
ISAIM |
2010 |
DBLP BibTeX RDF |
|
1 | Warren A. Hunt Jr. |
Using mathematics on an industrial scale. |
ISAIM |
2010 |
DBLP BibTeX RDF |
|
1 | Heejin Lim, Changhe Yuan |
Computational complexity and approximization methods of most relevant explanation. |
ISAIM |
2010 |
DBLP BibTeX RDF |
|
1 | Amit Sinha |
Identifying Transcriptional Modules using Subspace Clustering. |
ISAIM |
2010 |
DBLP BibTeX RDF |
|
1 | Utz-Uwe Haus |
Ubiquitous monotone and almost-monotone Boolean functions in systems biology. |
ISAIM |
2010 |
DBLP BibTeX RDF |
|
1 | Emma Rollon, Rina Dechter |
Evaluating partition strategies for mini-bucket elimination. |
ISAIM |
2010 |
DBLP BibTeX RDF |
|
1 | Muthukumaran Chandrasekaran, Prashant Doshi, Yifeng Zeng |
Approximate solutions of interactive dynamic influence diagrams using ε-behavioral equivalence. |
ISAIM |
2010 |
DBLP BibTeX RDF |
|
1 | Mukta Phatak, Jaroslaw Meller |
Model Quality Assessment in Membrane Proteins Using predicted Lipid Accessibility Profiles. |
ISAIM |
2010 |
DBLP BibTeX RDF |
|
1 | Zhen Hu, Siva Sivaganesan, Mario Medvedovic |
Prior Information Based Bayesian Infinite Mixture Model. |
ISAIM |
2010 |
DBLP BibTeX RDF |
|
1 | Christopher D. Rosin |
Multi-armed bandits with episode context. |
ISAIM |
2010 |
DBLP BibTeX RDF |
|
1 | Salem Benferhat, Karim Tabia, Karima Sedki |
On analysis of unicity of Jeffrey's rule of conditioning in a probabilistic framework. |
ISAIM |
2010 |
DBLP BibTeX RDF |
|
1 | Changhe Yuan, XiaoJian Wu |
Solving influence diagrams using heuristic search. |
ISAIM |
2010 |
DBLP BibTeX RDF |
|
1 | Emmanuel Rachelson, Michail G. Lagoudakis |
On the locality of action domination in sequential decision making. |
ISAIM |
2010 |
DBLP BibTeX RDF |
|
1 | Ming Su |
On the convergence of the convex relaxation method and distributed optimization of Bethe free energy. |
ISAIM |
2010 |
DBLP BibTeX RDF |
|
1 | Faris Alqadah, Raj Bhatnagar |
Similarity measures in formal concept analysis. |
ISAIM |
2010 |
DBLP BibTeX RDF |
|
1 | Julien Ah-Pine |
On aggregating binary relations using 0-1 integer linear programming. |
ISAIM |
2010 |
DBLP BibTeX RDF |
|
1 | Larry Michael Manevitz |
Windows on the Mind: Some recent aspects of modeling and pattern recognition of cognition. |
ISAIM |
2010 |
DBLP BibTeX RDF |
|
1 | Yuchen Zhang, Li Zhang |
Extracting independent rules: a new perpsective of boosting. |
ISAIM |
2010 |
DBLP BibTeX RDF |
|
1 | Sandip Aine, P. P. Chakrabarti 0001 |
An analysis of breadth-first beam search using uniform cost trees. |
ISAIM |
2010 |
DBLP BibTeX RDF |
|
1 | Britton Wolfe |
Valid parameters for predictive state representations. |
ISAIM |
2010 |
DBLP BibTeX RDF |
|
1 | |
International Symposium on Artificial Intelligence and Mathematics, ISAIM 2010, Fort Lauderdale, Florida, USA, January 6-8, 2010 |
ISAIM |
2010 |
DBLP BibTeX RDF |
|
1 | Katya Scheinberg, Irina Rish, Narges Bani Asadi |
Sparse Markov net learning with priors on regularization parameters. |
ISAIM |
2010 |
DBLP BibTeX RDF |
|
1 | Vincent Aravantinos, Ricardo Caferra, Nicolas Peltier |
More Flexible Term Schematisations via Extended Primal Grammars. |
ISAIM |
2008 |
DBLP BibTeX RDF |
|
1 | Nathalie Japkowicz, Pritika Sanghi, Peter E. Tischer |
Classifier Utility Visualization by Distance-Preserving Projection of High Dimensional Performance D. |
ISAIM |
2008 |
DBLP BibTeX RDF |
|
1 | Thomas Eiter, Thomas Krennwallner, Roman Schindlauer, Giovambattista Ianni |
Exploiting Conjunctive Queries in Description Logic Programs. |
ISAIM |
2008 |
DBLP BibTeX RDF |
|
1 | Michael Biggs, Ali Ghodsi 0001, Dana F. Wilkinson, Michael H. Bowling |
Scalable Action Respecting Embedding. |
ISAIM |
2008 |
DBLP BibTeX RDF |
|
1 | Ilkka Niemelä |
Stable Models and Difference Logic. |
ISAIM |
2008 |
DBLP BibTeX RDF |
|
1 | Allen Van Gelder |
Verifying RUP Proofs of Propositional Unsatisfiability. |
ISAIM |
2008 |
DBLP BibTeX RDF |
|
1 | Veena S. Mellarkod, Michael Gelfond, Yuanlin Zhang 0002 |
Integrating Answer Programming and Constraint Logic Programming. |
ISAIM |
2008 |
DBLP BibTeX RDF |
|
1 | Pinar Donmez, Jaime G. Carbonell |
Paired Sampling in Density-Sensitive Active Learning. |
ISAIM |
2008 |
DBLP BibTeX RDF |
|
1 | Vincent Conitzer |
Comparing Multiagent Systems Research in Combinatorial Auctions and Voting. |
ISAIM |
2008 |
DBLP BibTeX RDF |
|
1 | Pascal Poupart, Nikos Vlassis |
Model-based Bayesian Reinforcement Learning in Partially Observable Domains. |
ISAIM |
2008 |
DBLP BibTeX RDF |
|
1 | Alireza Farhangfar, Russell Greiner, Martin Zinkevich |
A Fast Way to Produce Optimal Fixed-Depth Decision Trees. |
ISAIM |
2008 |
DBLP BibTeX RDF |
|
1 | Hengshuai Yao, Zhi-Qiang Liu |
Minimal Residual Approaches for Policy Evaluation in Large Sparse Markov Chains. |
ISAIM |
2008 |
DBLP BibTeX RDF |
|
1 | Branislav Kveton, Jia Yuan Yu, Georgios Theocharous, Shie Mannor |
A Lazy Approach to Online Learning with Constraints. |
ISAIM |
2008 |
DBLP BibTeX RDF |
|
1 | John S. Schlipf, Marc Denecker |
Complexity of First Order ID-Logic. |
ISAIM |
2008 |
DBLP BibTeX RDF |
|
1 | Francesca Rossi 0001 |
Preferences, Constraints, Uncertainty, and Multi-Agent Scenarios. |
ISAIM |
2008 |
DBLP BibTeX RDF |
|
1 | Alex Bochman |
Default Logic Generalized and Simplified. |
ISAIM |
2008 |
DBLP BibTeX RDF |
|
1 | Lukas Kroc, Bart Selman, Ashish Sabharwal |
Leveraging Belief Propagation, Backtrack Search, and Statistics for Model Counting. |
ISAIM |
2008 |
DBLP BibTeX RDF |
|
1 | Yu Fan 0002, Christian R. Shelton |
Sampling for Approximate Inference in Continuous Time Bayesian Networks. |
ISAIM |
2008 |
DBLP BibTeX RDF |
|
1 | Gregory M. Provan |
Approximation Techniques for Space-Efficient Compilation in Abductive Inference. |
ISAIM |
2008 |
DBLP BibTeX RDF |
|
1 | Jeffrey B. Remmel |
A Mathematician Looks at Answer Set Programming. |
ISAIM |
2008 |
DBLP BibTeX RDF |
|
1 | Sajjad Ahmed Siddiqi, Jinbo Huang |
Probabilistic Sequential Diagnosis by Compilation. |
ISAIM |
2008 |
DBLP BibTeX RDF |
|