| 2013 | Symbolic Anomaly Detection and Assessment Using Growing Neural Gas. | Matthew Paisner, Michael T. Cox, Don Perlis |
| 2013 | Controller Synthesis for Safety Critical Planning. | Andrea Orlandini, Marco Suriano, Amedeo Cesta, Alberto Finzi |
| 2013 | Optimization of Traffic Lights Timing Based on Multiple Neural Networks. | Michel B. W. De Oliveira, Areolino de Almeida Neto |
| 2013 | Modulo Based CNF Encoding of Cardinality Constraints and Its Application to MaxSAT Solvers. | Toru Ogawa, Yangyang Liu, Ryuzo Hasegawa, Miyuki Koshimura, Hiroshi Fujita |
| 2013 | Improving the Statistical Arbitrage Strategy in Intraday Trading by Combining Extreme Learning Machine and Support Vector Regression with Linear Regression Models. | Jarley Palmeira Nbrega, Adriano Lorena Incio de Oliveira |
| 2013 | Application of Hierarchical Hybrid Encodings to Efficient Translation of CSPs to SAT. | Van-Hau Nguyen, Miroslav N. Velev, Pedro Barahona |
| 2013 | Constraint Games: Framework and Local Search Solver. | Thi-Van-Anh Nguyen, Arnaud Lallouet, Lucas Bordeaux |
| 2013 | Adaptive Constructive Interval Disjunction. | Bertrand Neveu, Gilles Trombettoni |
| 2013 | Modified Conversational Agent Architecture. | Toms Nestorovic, Vclav Matousek |
| 2013 | Classifying Documents within Multiple Hierarchical Datasets Using Multi-task Learning. | Azad Naik, Anveshi Charuvaka, Huzefa Rangwala |
| 2013 | On-the-Fly Lazy Clause Simplification Based on Binary Resolvents. | Hidetomo Nabeshima, Koji Iwanuma, Katsumi Inoue |
| 2013 | A Hybrid Tractable Class for Non-binary CSPs. | Achref El Mouelhi, Philippe Jgou, Cyril Terrioux |
| 2013 | Model-Guided Approaches for MaxSAT Solving. | Antnio Morgado, Federico Heras, Joo Marques-Silva |
| 2013 | Modeling Natural Language Sentences into SPN Graphs. | Michael T. Mills, Adamantia Psarologou, Nikolaos G. Bourbakis |
| 2013 | Lazy Branching for Constraint Satisfaction. | Deepak Mehta, Barry O'Sullivan, Lars Kotthoff, Yuri Malitsky |
| 2013 | Encoding Local Correspondence in Topic Models. | El Mehdi Rochd, Mohamed Quafafou, Mustapha Aznag |
| 2013 | An Intelligent System for Prediction of School Dropout Risk Group in Higher Education Classroom Based on Artificial Neural Networks. | Valquria Ribeiro de Carvalho Martinho, Clodoaldo Nunes, Carlos R. Minussi |
| 2013 | Learning Occupancy in Single Person Offices with Mixtures of Multi-lag Markov Chains. | Carlo Manna, Damien Fay, Kenneth N. Brown, Nic Wilson |
| 2013 | Fully-Automated Instance Decomposition and Subplan Synthesis for Parallel Execution. | Amol Dattatraya Mali, Ravi Puthiyattil |
| 2013 | Particle Swarm Optimization Approach with Parameter-Wise Hill-Climbing Heuristic for Task Allocation of Workflow Applications on the Cloud. | Simone A. Ludwig |
| 2013 | A Computer-Aided Spectroscopic System for Early Diagnosis of Melanoma. | Lin Li, Qizhi Zhang, Yihua Ding, Huabei Jiang, Bruce T. Thiers, James Z. Wang |
| 2013 | Optimizing Dynamic Ensemble Selection Procedure by Evolutionary Extreme Learning Machines and a Noise Reduction Filter. | Tiago Pessoa Ferreira de Lima, Teresa Bernarda Ludermir |
| 2013 | Information Extraction from the Web: An Ontology-Based Method Using Inductive Logic Programming. | Rinaldo Lima, Bernard Espinasse, Hilrio Oliveira, Laura Pentagrossa, Fred Freitas |
| 2013 | On Finding Approximate Solutions of Qualitative Constraint Networks. | Jason Jingshi Li, Sanjiang Li |
| 2013 | Attribute Weighted Value Difference Metric. | Chaoqun Li, Liangxiao Jiang, Hongwei Li, Shasha Wang |