| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Emma Brunskill, Leslie Pack Kaelbling, Tomás Lozano-Pérez, Nicholas Roy |
Continuous-State POMDPs with Hybrid Dynamics.  |
ISAIM  |
2008 |
DBLP BibTeX RDF |
|
| 1 | Marian Srebrny, Mateusz Srebrny, Lidia Stepien |
SAT as a Programming Environment for Linear Algebra and Cryptanalysis. |
ISAIM |
2008 |
DBLP BibTeX RDF |
|
| 1 | P. Alex Dow, Richard E. Korf |
Best-First Search with Maximum Edge Cost Functions. |
ISAIM |
2008 |
DBLP BibTeX RDF |
|
| 1 | Andreas Alexander Albrecht, Peter C. R. Lane, Kathleen Steinhöfel |
Estimating the Number of Local Maxima for k-SAT Instances. |
ISAIM |
2008 |
DBLP BibTeX RDF |
|
| 1 | Finale Doshi, Joelle Pineau, Nicholas Roy |
Reinforcement Learning with Limited Reinforcement: Using Bayes Risk for Active Learning in POMDPs. |
ISAIM |
2008 |
DBLP BibTeX RDF |
|
| 1 | Toby Walsh |
Complexity Issues in Preference Elicitation and Manipulation. |
ISAIM |
2008 |
DBLP BibTeX RDF |
|
| 1 | Emmanuel Rachelson, Frédérick Garçia, Patrick Fabiani |
Extending the Bellman equation for MDPs to continuous actions and cont. time in the discounted case. |
ISAIM |
2008 |
DBLP BibTeX RDF |
|
| 1 | |
International Symposium on Artificial Intelligence and Mathematics, ISAIM 2008, Fort Lauderdale, Florida, USA, January 2-4, 2008 |
ISAIM |
2008 |
DBLP BibTeX RDF |
|
| 1 | Emad Saad |
On the Relationship between Hybrid Probabilistic Logic Programs and Stochastic Satisfiability. |
ISAIM |
2008 |
DBLP BibTeX RDF |
|
| 1 | Joelle Pineau, Stéphane Ross, Brahim Chaib-draa |
Bayes-Adaptive POMDPs: A New Perspective on the Explore-Exploit Tradeoff in Partially Observable Domains. |
ISAIM |
2008 |
DBLP BibTeX RDF |
|
| 1 | Manuel Atencia, W. Marco Schorlemmer |
Formalising Interaction-Situated Semantic Alignment: The Communication Product. |
ISAIM |
2008 |
DBLP BibTeX RDF |
|
| 1 | Miroslaw Truszczynski, Stefan Woltran |
Hyperequivalence of Programs and Operators. |
ISAIM |
2008 |
DBLP BibTeX RDF |
|
| 1 | Douglas Cenzer, Jeffrey B. Remmel |
A Connection between Cantor-Bendixson Derivatives and the Well-Founded Semantics of Logic Programs. |
ISAIM |
2008 |
DBLP BibTeX RDF |
|
| 1 | Michael Kaminski |
A Non-Preferential Semantics of Non-Monotonic Modal Logic. |
ISAIM |
2008 |
DBLP BibTeX RDF |
|
| 1 | Lihong Li 0001, Michael L. Littman |
Efficient Value-Function Approximation via Online Linear Regression. |
ISAIM |
2008 |
DBLP BibTeX RDF |
|
| 1 | Erik Halvorson, Ronald Parr |
Planning Aims for a Network of Horizontal and Overhead Sensors. |
ISAIM |
2008 |
DBLP BibTeX RDF |
|
| 1 | Dennis Perez, Prashant Doshi |
Approximate Solutions of Interactive POMDPs Using Point Based Value Iteration. |
ISAIM |
2008 |
DBLP BibTeX RDF |
|
| 1 | Tomás Singliar, Milos Hauskrecht |
Approximation Strategies for Routing in Stochastic Dynamic Networks. |
ISAIM |
2008 |
DBLP BibTeX RDF |
|
| 1 | Fabio Cuzzolin |
An Interpretation of Consistent Belief Functions in Terms of Simplicial Complexes. |
ISAIM |
2008 |
DBLP BibTeX RDF |
|
| 1 | Bistra Dilkina, Carla P. Gomes, Ashish Sabharwal |
Tradeoffs in Backdoors: Inconsistency Detection, Dynamic Simplification, and Preprocessing. |
ISAIM |
2008 |
DBLP BibTeX RDF |
|
| 1 | Carlos Ansótegui, Ramón Béjar, Cèsar Fernández, Carles Mateu |
Hard SAT and CSP instances with Expander Graphs. |
ISAIM |
2008 |
DBLP BibTeX RDF |
|
| 1 | Melvin Fitting |
Explicit Logics of Knowledge and Conservativity. |
ISAIM |
2008 |
DBLP BibTeX RDF |
|
| 1 | Howard A. Blair, David W. Jakel, Robert J. Irwin, Angel J. Rivera |
Hybrid Programs: Symmetrically Combining Natively Discrete and Continuous Truth-values. |
ISAIM |
2008 |
DBLP BibTeX RDF |
|
| 1 | Alexander L. Strehl |
Probably Approximately Correct (PAC) Exploration in Reinforcement Learning. |
ISAIM |
2008 |
DBLP BibTeX RDF |
|
| 1 | Irina Rish, Gerald Tesauro |
Active Collaborative Prediction with Maximum Margin Matrix Factorization. |
ISAIM |
2008 |
DBLP BibTeX RDF |
|
| 1 | Franz Pernkopf, Jeff A. Bilmes |
Order-based Discriminative Structure Learning for Bayesian Network Classifiers. |
ISAIM |
2008 |
DBLP BibTeX RDF |
|
| 1 | Sanjoy Dasgupta, Daniel J. Hsu, Claire Monteleoni |
A General Agnostic Active Learning Algorithm. |
ISAIM |
2008 |
DBLP BibTeX RDF |
|
| 1 | Erik Talvitie, Britton Wolfe, Satinder Singh 0001 |
Building Incomplete but Accurate Models. |
ISAIM |
2008 |
DBLP BibTeX RDF |
|
| 1 | Matthew R. Rudary, Satinder Singh 0001 |
Predictive Linear-Gaussian Models of Dynamical Systems with Vector-Valued Actions and Observations. |
ISAIM |
2008 |
DBLP BibTeX RDF |
|
| 1 | Marek Petrik, Shlomo Zilberstein |
A Successive Approximation Algorithm for Coordination Problems. |
ISAIM |
2008 |
DBLP BibTeX RDF |
|
| 1 | John N. Hooker |
Optimality Conditions for Distributive Justice. |
ISAIM |
2008 |
DBLP BibTeX RDF |
|
| 1 | Johann A. Makowsky |
From Hilbert's Program to a Logic Toolbox. |
ISAIM |
2008 |
DBLP BibTeX RDF |
|
| 1 | Naftali Tishby |
Extracting Relevant Information from Samples. |
ISAIM |
2008 |
DBLP BibTeX RDF |
|
| 1 | Andrew Guillory, Jeff A. Bilmes |
Practical Methods for Exploiting Bounds on Change in the Margin. |
ISAIM |
2008 |
DBLP BibTeX RDF |
|
| 1 | Siddharth Srivastava 0001, Neil Immerman, Shlomo Zilberstein |
Using Abstraction for Generalized Planning. |
ISAIM |
2008 |
DBLP BibTeX RDF |
|
| 1 | Hoyt A. Koepke, Bertrand S. Clarke |
A Bayesian Approach to Cluster Validation. |
ISAIM |
2008 |
DBLP BibTeX RDF |
|
| 1 | T. K. Satish Kumar |
Lifting Techniques for Weighted Constraint Satisfaction Problems. |
ISAIM |
2008 |
DBLP BibTeX RDF |
|
| 1 | Kin Fai Kan, Christian R. Shelton |
Solving Structured Continuous-Time Markov Decision Processes. |
ISAIM |
2008 |
DBLP BibTeX RDF |
|
| 1 | Marina Langlois, Dhruv Mubayi, Robert H. Sloan, György Turán |
Combinatorial problems for Horn clauses. |
ISAIM |
2008 |
DBLP BibTeX RDF |
|
| 1 | Fabio Cuzzolin |
Boolean and Matroidal Independence in Uncertainty Theory. |
ISAIM |
2008 |
DBLP BibTeX RDF |
|
| 1 | Jingrui He, Jaime G. Carbonell |
Rare Class Discovery Based on Active Learning. |
ISAIM |
2008 |
DBLP BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license