| 2012 | VOI-aware MCTS. | David Tolpin, Solomon Eyal Shimony |
| 2012 | A Probabilistic Semantics for abstract Argumentation. | Matthias Thimm |
| 2012 | Path-Constrained Markov Decision Processes: bridging the gap between probabilistic model-checking and decision-theoretic planning. | Florent Teichteil-Knigsbuch |
| 2012 | Large-scale Parallel Stratified Defeasible Reasoning. | Ilias Tachmazidis, Grigoris Antoniou, Giorgos Flouris, Spyros Kotoulas, Lee McCluskey |
| 2012 | Finding Minimal Rare Itemsets in a Depth-first Manner. | Laszlo Szathmary, Petko Valtchev, Amedeo Napoli, Robert Godin |
| 2012 | An Alternative Eager Encoding of the All-Different Constraint over Bit-Vectors. | Pavel Surynek |
| 2012 | Master Orientation Tool. | Alexandru Surpatean, Evgueni N. Smirnov, Nicolai Manie |
| 2012 | AGENTFLY: Multi-Agent Simulation of Air-Traffic Management. | David Sislk, Premysl Volf, Dusan Pavlcek, Michal Pechoucek |
| 2012 | Propositional Planning as Optimization. | Andreas Sideris, Yannis Dimopoulos |
| 2012 | Towards a Declarative Spatial Reasoning System. | Carl Schultz, Mehul Bhatt |
| 2012 | WissKI: A Virtual Research Environment for Cultural Heritage. | Martin Scholz, Guenther Goerz |
| 2012 | Convex Solutions of RCC8 Networks. | Steven Schockaert, Sanjiang Li |
| 2012 | The Status Quo of Ontology Learning from Unstructured Knowledge Sources for Knowledge Management. | Andreas Scheuermann, Jens Obermann |
| 2012 | Introducing Datatypes in DL-Lite. | Ognjen Savkovic, Diego Calvanese |
| 2012 | Institutionalised Paxos Consensus. | David Sanderson, Jeremy Pitt |
| 2012 | Metaheuristic Aided Software Features Assembly. | Jos del Sagrado, Isabel Mara del guila, Francisco Javier Orellana |
| 2012 | Multiple-Outcome Proof Number Search. | Abdallah Saffidine, Tristan Cazenave |
| 2012 | Deciding Membership in a Class of Polyhedra. | Salvatore Ruggieri |
| 2012 | Strategic and Epistemic Reasoning for the Game Description Language GDL-II. | Ji Ruan, Michael Thielscher |
| 2012 | Coordinated Exploration with a Shared Goal in Costly Environments. | Igor Rochlin, David Sarne, Moshe Laifenfeld |
| 2012 | WeMiT: Web-Mining for Translation. | Mathieu Roche, Oana Mihaela Garbasevschi |
| 2012 | Engineering Efficient Planners with SAT. | Jussi Rintanen |
| 2012 | Complexity of Conditional Planning under Partial Observability and Infinite Executions. | Jussi Rintanen |
| 2012 | Probabilistic Path-Disruption Games. | Anja Rey, Jrg Rothe |
| 2012 | Best Reply Dynamics for Scoring Rules. | Reyhaneh Reyhani, Mark C. Wilson |