| 2012 | A New Semantics for Logic Programs Capturing and Extending the Stable Model Semantics. | Belaid Benhamou, Pierre Siegel |
| 2012 | Revising the Outputs of a Decision Tree with Expert Knowledge: Application to Intrusion Detection and Alert Correlation. | Salem Benferhat, Abdelhamid Boudjelida, Karim Tabia |
| 2012 | Dynamic Path Consistency for Spatial Reasoning. | Lamia Belouaer, Maroua Bouzid, Malek Mouhoub |
| 2012 | Optimizing Energy Consumption in Automated Vacuum Waste Collection Systems. | Ramn Bjar, Csar Fernndez, Felip Many, Carles Mateu, Francina Sole-Mauri |
| 2012 | Possible and Necessary Answer Sets of Possibilistic Answer Set Programs. | Kim Bauters, Steven Schockaert, Martine De Cock, Dirk Vermeir |
| 2012 | Shortening Plans by Local Re-planning. | Toms Balyo, Roman Bartk, Pavel Surynek |
| 2012 | Mining Causal Outliers Using Gaussian Bayesian Networks. | Sakshi Babbar, Sanjay Chawla |
| 2012 | Articulating Decision Maker's Preference Information within Multiobjective Artificial Immune Systems. | Radhia Azzouz, Slim Bechikh, Lamjed Ben Said |
| 2012 | Recognition of Activities of Daily Living. | Konstantinos Avgerinakis, Alexia Briassouli, Ioannis Kompatsiaris |
| 2012 | Massively Parallel Local Search for SAT. | Alejandro Arbelaez, Philippe Codognet |
| 2012 | A Transparent and Decentralized Model of Action for Intelligent Virtual Agents. | George Anastassakis, Themis Panayiotopoulos |
| 2012 | CPrefMiner: An Algorithm for Mining User Contextual Preferences Based on Bayesian Networks. | Sandra de Amo, Marcos L. P. Bueno, Guilherme Alves, Ndia Flix F. da Silva |
| 2012 | Compiling CSPs: A Complexity Map of (Non-Deterministic) Multivalued Decision Diagrams. | Jrme Amilhastre, Hlne Fargier, Alexandre Niveau, Cdric Pralet |
| 2012 | Using Answer Set Programming for an Scalable Implementation of Defeasible Argumentation. | Teresa Alsinet, Ramn Bjar, Llus Godo, Francesc Guitart |
| 2012 | Image Fusion Combining Frequency Domain Techniques Based on Focus. | Hugo R. Albuquerque, Tsang Ing Ren, George D. C. Cavalcanti |
| 2012 | Label Space Transfer Learning. | Samir Al-Stouhi, Chandan K. Reddy, David E. Lanfear |
| 2012 | Extended Partial-Order Dynamic Backtracking Algorithm for Dynamically Changed Environments. | Yosra Acodad, Imade Benelallam, Saida Hammoujan, El-Houssine Bouyakhf |
| 2012 | Inference Rules in Local Search for Max-SAT. | Andr Abram, Djamal Habet |
| 2012 | A New Algorithm for Fuzzy Clustering Able to Find the Optimal Number of Clusters. | Balkis Abidi, Sadok Ben Yahia, Amel Bouzeghoub |
| 2012 | StreamAR: Incremental and Active Learning with Evolving Sensory Data for Activity Recognition. | Zahraa Said Abdallah, Mohamed Medhat Gaber, Bala Srinivasan, Shonali Krishnaswamy |
| 2011 | Ranking in Co-effecting Multi-object/Link Types Networks. | Bo Zhou, Manna Wu, Xin Xia, Chao Wu |
| 2011 | A Tabled Prolog Program for Solving Sokoban. | Neng-Fa Zhou, Agostino Dovier |
| 2011 | Top Subspace Synthesizing for Promotional Subspace Mining. | Yan Zhang, Yiyu Jia, Chunying Zhao |
| 2011 | EProbe: An Efficient Subspace Probing Framework. | Yan Zhang, Yiyu Jia |
| 2011 | A Fast Parallel Branch and Bound Algorithm for Treewidth. | Yang Yuan |