| 2012 | Reasoning for Agreement Technologies. | Guido Boella, Leendert W. N. van der Torre |
| 2012 | Executable Logic for Dialogical Argumentation. | Elizabeth Black, Anthony Hunter |
| 2012 | Learning Rules of Simplified Boardgames by Observing. | Yngvi Bjrnsson |
| 2012 | Heuristically Accelerated Reinforcement Learning: Theoretical and Experimental Results. | Reinaldo A. C. Bianchi, Carlos H. C. Ribeiro, Anna Helena Reali Costa |
| 2012 | Preemption Operators. | Philippe Besnard, ric Grgoire, Sbastien Ramon |
| 2012 | Implementing and Evaluating Provers for First-order Modal Logics. | Christoph Benzmller, Jens Otten, Thomas Raths |
| 2012 | Machine Learning for Emergent Middleware. | Amel Bennaceur, Valrie Issarny, Daniel Sykes, Falk Howar, Malte Isberner, Bernhard Steffen, Richard Johansson, Alessandro Moschitti |
| 2012 | Three-valued possibilistic networks. | Salem Benferhat, Karim Tabia |
| 2012 | Hybrid Possibilistic Conditioning for Revision under Weighted Inputs. | Salem Benferhat, Clia da Costa Pereira, Andrea Tettamanzi |
| 2012 | An O(nlog n) Bound Consistency Algorithm for the Conjunction of an alldifferent and an Inequality between a Sum of Variables and a Constant, and its Generalization. | Nicolas Beldiceanu, Mats Carlsson, Thierry Petit, Jean-Charles Rgin |
| 2012 | Representing Value Functions with Recurrent Binary Decision Diagrams. | Daniel Beck, Gerhard Lakemeyer |
| 2012 | The Possible Winner Problem with Uncertain Weights. | Dorothea Baumeister, Magnus Roos, Jrg Rothe, Lena Schend, Lirong Xia |
| 2012 | KnowWE - A Wiki for Knowledge Base Development. | Joachim Baumeister, Jochen Reutelshoefer, Volker Belli, Albrecht Striffler, Reinhard Hatko, Markus Friedrich |
| 2012 | What Does it Take to Enforce an Argument? Minimal Change in abstract Argumentation. | Ringo Baumann |
| 2012 | Trust-based Solution for Robust Self-configuration of Distributed Intrusion Detection Systems. | Karel Bartos, Martin Rehk |
| 2012 | FlowOpt: Bridging the Gap Between Optimization Technology and Manufacturing Planners. | Roman Bartk, Milan Jaska, Ladislav Novak, Vladimr Rovensk, Toms Skalick, Martin Cully, Con Sheahan, Thanh-Tung Dang |
| 2012 | How to Understand Digital Studio Outputs: The Case of Digital Music Production. | Karim Barkati, Francis Rousseaux |
| 2012 | Markov Constraints for Generating Lyrics with Style. | Gabriele Barbieri, Franois Pachet, Pierre Roy, Mirko Degli Esposti |
| 2012 | Nested Monte-Carlo Tree Search for Online Planning in Large MDPs. | Hendrik Baier, Mark H. M. Winands |
| 2012 | Multirelational Consensus Clustering with Nonnegative Decompositions. | Liviu Badea |
| 2012 | Training Crisis Managers with PANDORA. | Liz Bacon, Amedeo Cesta, Luca Coraci, Gabriella Cortellessa, Riccardo De Benedictis, Sara Grilli, Jure Polutnik, Keith Strickland |
| 2012 | From Macro Plans to Automata Plans. | Christer Bckstrm, Anders Jonsson, Peter Jonsson |
| 2012 | Macros, Reactive Plans and Compact Representations. | Christer Bckstrm, Anders Jonsson, Peter Jonsson |
| 2012 | Using Learning to Rank Approach for Parallel Corpora Based Cross Language Information Retrieval. | Hosein Azarbonyad, Azadeh Shakery, Heshaam Faili |
| 2012 | Security Oracle Based on Tree Kernel Methods. | Andrea Avancini, Mariano Ceccato |