| 2012 | A Methodology for Deploying the Max-Sum Algorithm and a Case Study on Unmanned Aerial Vehicles. Francesco Maria Delle Fave, Alessandro Farinelli, Alex Rogers, Nick R. Jennings |
| 2012 | A Real-Time Decision Support System for High Cost Oil-Well Drilling Operations. Odd Erik Gundersen, Frode Sørmo, Agnar Aamodt, Pål Skalle |
| 2012 | Advisor Agent Support for Issue Tracking in Medical Device Development. Touby Drew, Maria L. Gini |
| 2012 | Applying Automated Language Translation at a Global Enterprise Level. Nestor Rychtyckyj, Craig Plesco |
| 2012 | Applying Constraint Programming to Incorporate Engineering Methodologies into the Design Process of Complex Systems. Odellia Boni, Fabiana Fournier, Nir Mashkif, Yehuda Naveh, Aviad Sela, Uri Shani, Zvi Lando, Alon Modai |
| 2012 | Cost-Sensitive Risk Stratification in the Diagnosis of Heart Disease. Selen Uguroglu, Mark Doyle, Robert Biederman, Jaime G. Carbonell |
| 2012 | Integrating Learner Help Requests Using a POMDP in an Adaptive Training System. Jeremiah T. Folsom-Kovarik, Gita Sukthankar, Sae Lynne Schatz |
| 2012 | Intelligent Computation of Reachability Sets for Space Missions. Erik Edmund Komendera, Daniel J. Scheeres, Elizabeth Bradley |
| 2012 | Learning Driver's Behavior to Improve the Acceptance of Adaptive Cruise Control. Avi Rosenfeld, Zevi Bareket, Claudia V. Goldman, Sarit Kraus, David J. LeBlanc, Omer Tsimhoni |
| 2012 | Local Search for Designing Noise-Minimal Rotorcraft Approach Trajectories. Robert A. Morris, K. Brent Venable, Marco Pegoraro, James Lindsay |
| 2012 | Mechanix: A Sketch-Based Tutoring System for Statics Courses. Stephanie Valentine, Francisco Vides, George Lucchese, David Turner, Hong-hoe Kim, Wenzhe Li, Julie Linsey, Tracy Hammond |
| 2012 | Multi-Agent Simulation of En-Route Human Air-Traffic Controller. David Sislák, Premysl Volf, Michal Pechoucek, Christopher T. Cannon, Duc N. Nguyen, William C. Regli |
| 2012 | Proceedings of the Twenty-Fourth Conference on Innovative Applications of Artificial Intelligence, July 22-26, 2012, Toronto, Ontario, Canada Markus P. J. Fromherz, Hector Muñoz-Avila |
| 2012 | QuickPup: A Heuristic Backtracking Algorithm for the Partner Units Configuration Problem. Erich Christian Teppan, Gerhard Friedrich, Andreas A. Falkner |
| 2012 | Statistical Anomaly Detection for Train Fleets. Anders Holst, Markus Bohlin, Jan Ekman, Ola Sellin, Björn Lindström, Stefan Larsen |
| 2012 | Statistical Relational Learning to Predict Primary Myocardial Infarction from Electronic Health Records. Jeremy C. Weiss, Sriraam Natarajan, Peggy L. Peissig, Catherine A. McCarty, David Page |
| 2012 | TRUSTS: Scheduling Randomized Patrols for Fare Inspection in Transit Systems. Zhengyu Yin, Albert Xin Jiang, Matthew Paul Johnson, Christopher Kiekintveld, Kevin Leyton-Brown, Tuomas Sandholm, Milind Tambe, John P. Sullivan |
| 2012 | Toward Habitable Assistance from Spoken Dialogue Systems. Susan L. Epstein, Rebecca J. Passonneau, Tiziana Ligorio, Joshua B. Gordon |
| 2012 | Transcription System Using Automatic Speech Recognition for the Japanese Parliament (Diet). Tatsuya Kawahara |
| 2012 | Using AI Local Search to Improve an OR Optimizer. Filipa Morgado, Ricardo L. Saldanha, Jorge Roussado, Luis Albino, Ernesto M. Morgado, João P. Martins |
| 2012 | Using POMDPs to Control an Accuracy-Processing Time Trade-Off in Video Surveillance. Komal Kapoor, Christopher Amato, Nisheeth Srivastava, Paul R. Schrater |
| 2012 | Using Quantitative Information to Improve Analogical Matching Between Sketches. Maria de los Angeles Chang, Kenneth D. Forbus |
| 2012 | Using a Critic to Promote Less Popular Candidates in a People-to-People Recommender System. Alfred Krzywicki, Wayne Wobcke, Xiongcai Cai, Michael Bain, Ashesh Mahidadia, Paul Compton, Yang Sok Kim |
| 2012 | eBird: A Human/Computer Learning Network for Biodiversity Conservation and Research. Steve Kelling, Jeff Gerbracht, Daniel Fink, Carl Lagoze, Weng-Keen Wong, Jun Yu, Theodoros Damoulas, Carla P. Gomes |