| 2013 | Study and Development of Support Tool with Blinks for Physically Handicapped Children. | Ippei Torii, Kaoruko Ohtani, Takahito Niwa, Naohiro Ishii |
| 2013 | Declarative Heuristics in Constraint Satisfaction. | Erich Christian Teppan, Gerhard Friedrich |
| 2013 | Compiling Pseudo-Boolean Constraints to SAT with Order Encoding. | Naoyuki Tamura, Mutsunori Banbara, Takehide Soh |
| 2013 | Capturing Structure in Hard Combinatorial Problems. | Stefan Szeider |
| 2013 | Characterization of Extended and Simplified Intelligent Water Drop (SIWD) Approaches and Their Comparison to the Intelligent Water Drop (IWD) Approach. | Jeremy Straub, Eunjin Kim |
| 2013 | Assessing Procedural Knowledge in Free-Text Answers through a Hybrid Semantic Web Approach. | Eric Snow, Chadia Moghrabi, Philippe Fournier-Viger |
| 2013 | Knowledge-Guided Methodology for Specification Analysis. | Bhanu Pratap Singh, Arunprasath Shankar, Yuriy Shiyanovskii, Francis G. Wolff, Christos A. Papachristou, Daniel J. Weyer, Steve Clay, Jim Morrison |
| 2013 | Clustering and Selection Using Grouping Genetic Algorithms for Blockmodeling to Construct Neural Network Ensembles. | Evandro Jose Da Rocha E. Silva, Teresa Bernarda Ludermir, Leandro Maciel Almeida |
| 2013 | Predicting the Next Scenic Spot a User Will Browse on a Tourism Website Based on Markov Prediction Model. | Yifan Shi, Yimin Wen, Zhigang Fan, Yuqing Miao |
| 2013 | NEFCIS: Neuro-fuzzy Concept Based Inference System for Specification Mining. | Arunprasath Shankar, Bhanu Pratap Singh, Francis G. Wolff, Christos A. Papachristou |
| 2013 | A Probabilistic Query Suggestion Approach without Using Query Logs. | Meher T. Shaikh, Maria Soledad Pera, Yiu-Kai Ng |
| 2013 | Enhancing Dynamic Recommender Selection Using Multiple Rules for Trust and Reputation Models in MANETs. | Antesar M. Shabut, Keshav P. Dahal, Irfan Awan |
| 2013 | Hybrid Feature Selection and Weighting Method Based on Binary Particle Swarm Optimization. | Diogo da Silva Severo, Everson Verissimo, George D. C. Cavalcanti, Tsang Ing Ren |
| 2013 | Events Extraction and Aggregation for Open Source Intelligence: From Text to Knowledge. | Laurie Serrano, Maroua Bouzid, Thierry Charnois, Stephan Brunessaux, Bruno Grilhres |
| 2013 | Bounded Strings for Constraint Programming. | Joseph D. Scott, Pierre Flener, Justin Pearson |
| 2013 | Variable Objective Large Neighborhood Search: A Practical Approach to Solve Over-Constrained Problems. | Pierre Schaus |
| 2013 | A Reusable Methodology for the Instantiation of Social Recommender Systems. | Lara Quijano Snchez, Juan A. Recio-Garca, Beln Daz-Agudo |
| 2013 | Implementing Tabled Hypothetical Datalog. | Fernando Senz-Prez |
| 2013 | From Natural Language Requirements to Formal Specification Using an Ontology. | Driss Sadoun, Catherine Dubois, Yacine Ghamri-Doudane, Brigitte Grau |
| 2013 | Generation of Implied Constraints for Automaton-Induced Decompositions. | Mara Andrena Francisco Rodrguez, Pierre Flener, Justin Pearson |
| 2013 | A Constraint Programming Approach to the Additional Relay Placement Problem in Wireless Sensor Networks. | Luis Quesada, Kenneth N. Brown, Barry O'Sullivan, Lanny Sitanayah, Cormac J. Sreenan |
| 2013 | Contextual Image Segmentation Based on the Potts Model. | Nara M. Portela, George D. C. Cavalcanti, Tsang Ing Ren |
| 2013 | Machine Learning for Android Malware Detection Using Permission and API Calls. | Naser Peiravian, Xingquan Zhu |
| 2013 | Qualitative Analysis of Interorganizational WorkFlow Nets Using Linear Logic: Soundness Verification. | Lgia Maria Soares Passos, Stphane Julia |
| 2013 | A Spin-Glass Model Based Local Community Detection Method in Social Networks. | Lei Pan, Chongjun Wang, Junyuan Xie |