| 2012 | (Generic) Packages for Logic Programs. | Franois Jacquenet, Marc Bernard |
| 2012 | Extending Resolution by Dynamic Substitution of Boolean Functions. | Sad Jabbour, Jerry Lonlac, Lakhdar Sais |
| 2012 | Tagging Choreographic Data for Data Mining and Classification. | Catalina-Anca Ioan, Julien Velcin, Stefan Trausan-Matu |
| 2012 | An Automatic Decomposition Method for Qualitative Spatial and Temporal Reasoning. | Julien Hu, Matthias Westphal, Stefan Wlfl |
| 2012 | Revising Qualitative Constraint Networks: Definition and Implementation. | Julien Hu, Matthias Westphal |
| 2012 | Iterative SAT Solving for Minimum Satisfiability. | Federico Heras, Antnio Morgado, Jordi Planes, Joo Marques-Silva |
| 2012 | Modeling the Multihop Ridematching Problem with Time Windows and Solving It Using Genetic Algorithms. | Wesam Herbawi, Michael Weber |
| 2012 | Controlling the Production of Neuro-symbolic Rules. | Ioannis Hatzilygeroudis, Jim Prentzas |
| 2012 | Incorporating Fairness into Infinitely Repeated Games with Conflicting Interests for Conflicts Elimination. | Jianye Hao, Ho-fung Leung |
| 2012 | Interleaved Asynchronous Arc Consistency in Distributed Constraint Networks. | Saida Hammoujan, El-Houssine Bouyakhf, Imade Benelallam |
| 2012 | Local Search Based on Conflict Analysis for the Satisfiability Problem. | Djamal Habet, Donia Toumi |
| 2012 | Efficient Singleton Consistency by Combining Forward Checking and Bound Consistency. | Jinsong Guo, Zhanshan Li, Yonggang Zhang |
| 2012 | Partial Max-restricted Path Consistency. | Jinsong Guo, Zhanshan Li, Hongbo Li |
| 2012 | Planning with Inaccurate Temporal Rules. | Mathieu Guillame-Bert, James L. Crowley |
| 2012 | Relax! | ric Grgoire, Jean-Marie Lagniez, Bertrand Mazure |
| 2012 | Advanced Block Detection and Quantification of Fibrotic Areas in Microscopy Images of Obstructive Nephropathy. | Theodosios Goudas, Ilias Maglogiannis, Aristotle A. Chatziioannou |
| 2012 | Model Representation for Facial Expression Recognition Based on Shape and Texture. | Adriana Cruz de Gois, Victor Oliveira Antonino, Tsang Ing Ren, George D. C. Cavalcanti |
| 2012 | Track-Person Association Using a First-Order Probabilistic Model. | Thomas Geier, Susanne Biundo, Stephan Reuter, Klaus Dietmayer |
| 2012 | Another Step toward Reusability in Agent-Based Simulation: Multi-behaviors & aMVC. | Yassine Gangat, Denis Payet, Rmy Courdier |
| 2012 | Handling Planning Failures with Virtual Actions. | Jicheng Fu, Sijie Tian, Vincent Ng, Farokh B. Bastani, I-Ling Yen |
| 2012 | StreamDB Sensor Networks. | Pedro Furtado |
| 2012 | DEC-A*: A Decentralized Multiagent Pathfinding Algorithm. | Mohamad El Falou, Maroua Bouzid, Abdel-Illah Mouaddib |
| 2012 | A New Exploration Method Based on Multi-layer Evidence Grid Map (MLEGM) and Improved A* Algorithm for Mobile Robots. | Edriss Esmaeili, Vahid Azizi, Saied Samizadeh, Sajjad Ziyadloo, Mohammad Reza Meybodi |
| 2012 | Robust Solutions to Job-Shop Scheduling Problems with Operators. | Joan Escamilla, Mario Rodrguez-Molins, Miguel A. Salido, Mara R. Sierra, Carlos Menca, Federico Barber |
| 2012 | Partially Observable Gene Regulatory Network Control without a Boundary on Horizon. | Utku Erdogdu, Faruk Polat, Reda Alhajj |