| 2004 | Warped Landscapes and Random Acts of SAT Solving. | Dave A. D. Tompkins, Holger H. Hoos |
| 2004 | Explicit Manifold Representations for Value-Function Approximation in Reinforcement Learning. | William D. Smart |
| 2004 | Improving Exact Algorithms for MAX-2-SAT. | Haiou Shen, Hantao Zhang |
| 2004 | Inferring Utilities from Negotiation Actions. | Angelo C. Restificar, Peter Haddawy |
| 2004 | Deductive Algorithmic Knowledge. | Riccardo Pucella |
| 2004 | Symmetry Breaking in Constraint Satisfaction with Graph-Isomorphism: Comma-Free Codes. | Justin Pearson |
| 2004 | Analysis of Greedy Robot-Navigation Methods. | Apurva Mudgal, Craig A. Tovey, Sven Koenig |
| 2004 | Modeling and Reasoning with Star Calculus. | Debasis Mitra |
| 2004 | Learning via Finitely Many Queries. | Andrew C. Lee |
| 2004 | New Look-Ahead Schemes for Constraint Satisfaction. | Kalev Kask, Rina Dechter, Vibhav Gogate |
| 2004 | Parameter Reusing in Learning Latent Class Models. | Gytis Karciauskas, Finn Verner Jensen, Toms Kocka |
| 2004 | Unrestricted vs Restricted Cut in a Tableau Method for Boolean Circuits. | Matti Jrvisalo, Tommi A. Junttila, Ilkka Niemel |
| 2004 | Combining Cardinal Direction Relations and Relative Relations in QSR. | Amar Isli |
| 2004 | Biased Minimax Probability Machine for Medical Diagnosis. | Kaizhu Huang, Haiqin Yang, Irwin King, Michael R. Lyu, Laiwan Chan |
| 2004 | A Simple Yet Effective Framework for Optimization Problems. | Gaofeng Huang, Andrew Lim |
| 2004 | Combining Symmetry Breaking with Other Constraints: Lexicographic Ordering with Sums. | Brahim Hnich, Zeynep Kiziltan, Toby Walsh |
| 2004 | Heuristics for a Brokering Set Packing Problem. | Yunsong Guo, Andrew Lim, Brian Rodrigues, Yi Zhu |
| 2004 | A Framework for Sequential Planning in Multi-Agent Settings. | Piotr J. Gmytrasiewicz, Prashant Doshi |
| 2004 | Generalized Opinion Pooling. | Ashutosh Garg, T. S. Jayram, Shivakumar Vaithyanathan, Huaiyu Zhu |
| 2004 | Approximate Probabilistic Constraints and Risk-Sensitive Optimization Criteria in Markov Decision Processes. | Dmitri A. Dolgov, Edmund H. Durfee |
| 2004 | Using the Central Limit Theorem for Belief Network Learning. | Ian Davidson, Minoo Aminian |
| 2004 | The Expressive Rate of Constraints. | Hubie Chen |
| 2004 | Using Logic Programs to Reason about Infinite Sets. | Douglas Cenzer, V. Wiktor Marek, Jeffrey B. Remmel |
| 2004 | Interval-Based Multicriteria Decision Making. | Martine Ceberio, Franois Modave |
| 2004 | Spines of Random Constraint Satisfaction Problems: Definition and Impact on Computational Complexity. | Stefan Boettcher, Gabriel Istrate, Allon G. Percus |