| 2012 | Spectrum Enhanced Dynamic Slicing for better Fault Localization. | Birgit Hofer, Franz Wotawa |
| 2012 | An Anytime Algorithm for Finding the ?-Core in Nontransferable Utility Coalitional Games. | Greg Hines, Talal Rahwan, Nicholas R. Jennings |
| 2012 | Comparator selection for RPC with many labels. | Samuel Hiard, Pierre Geurts, Louis Wehenkel |
| 2012 | Planning with Semantic Attachments: An Object-Oriented View. | Andreas Hertle, Christian Dornhege, Thomas Keller, Bernhard Nebel |
| 2012 | Joint Assessment and Restoration of Power Systems. | Pascal Van Hentenryck, Nabeel Gillani, Carleton Coffrin |
| 2012 | Controlling Candidate-Sequential Elections. | Edith Hemaspaandra, Lane A. Hemaspaandra, Jrg Rothe |
| 2012 | Online Voter Control in Sequential Elections. | Edith Hemaspaandra, Lane A. Hemaspaandra, Jrg Rothe |
| 2012 | CoverageCity: Test Coverage for Clinical Guidelines. | Reinhard Hatko, Joachim Baumeister, Frank Puppe |
| 2012 | Verification of Description Logic Knowledge and Action Bases. | Babak Bagheri Hariri, Diego Calvanese, Giuseppe De Giacomo, Riccardo De Masellis, Paolo Felli, Marco Montali |
| 2012 | A Novel Way to Connect BnB-ADOPT+, with Soft AC. | Patricia Gutierrez, Pedro Meseguer |
| 2012 | Complexity of Branching Temporal Description Logics. | Vctor Gutirrez-Basulto, Jean Christoph Jung, Carsten Lutz |
| 2012 | Towards Generalizing the Success of Monte-Carlo Tree Search beyond the Game of Go. | Antnio Gusmo, Tapani Raiko |
| 2012 | An Approach to Semantic Content Based Image Retrieval Using Logical Concept Analysis. | Clment Gurin, Karell Bertet, Arnaud Revel |
| 2012 | Partial Cooperation in Multi-agent Local Search. | Alon Grubshtein, Roie Zivan, Amnon Meisels |
| 2012 | Hard and Easy k-Typed Compact Coalitional Games: The Knowledge of Player Types Marks the Boundary. | Gianluigi Greco, Enrico Malizia, Francesco Scarcello, Luigi Palopoli |
| 2012 | Process Discovery via Precedence Constraints. | Gianluigi Greco, Antonella Guzzo, Luigi Pontieri |
| 2012 | Approximate Tradeoffs on Matroids. | Laurent Gourvs, Jrme Monnot, Lydia Tlilane |
| 2012 | A Bayesian Multiple Kernel Learning Framework for Single and Multiple Output Regression. | Mehmet Gnen |
| 2012 | Overview of AI Research History in USSR and Ukraine: Up-to-Date Just-In-Time Knowledge Concept. | Konstantin M. Golubev |
| 2012 | Can Adaptive Conjoint Analysis perform in a Preference Logic Framework? | Adrian Giurca, Ingo Schmitt, Daniel Baier |
| 2012 | Automatic Generation and Reranking of SQL-Derived Answers to NL Questions. | Alessandra Giordani, Alessandro Moschitti |
| 2012 | Problems impacting the quality of automatically built ontologies. | Toader Gherasim, Giuseppe Berio, Mounira Harzallah, Pascale Kuntz |
| 2012 | Case-based Planning for Problems with Real-valued Fluents: Kernel Functions for Effective Plan Retrieval. | Alfonso Gerevini, Alessandro Saetti, Ivan Serina |
| 2012 | Robust Requirements Analysis in Complex Systems through Machine Learning. | Francesco Garzoli, Danilo Croce, Manuela Nardini, Francesco Ciambra, Roberto Basili |
| 2012 | Argumentation-Based Reinforcement Learning for RoboCup Soccer Keepaway. | Yang Gao, Francesca Toni, Robert Craven |