| 2010 | Building Portfolios for the Protein Structure Prediction Problem. | Alejandro Arbelaez, Youssef Hamadi, Michle Sebag |
| 2010 | Dynamic Magic Sets for Disjunctive Datalog Programs. | Mario Alviano |
| 2010 | Towards a Parallel Virtual Machine for Functional Logic Programming. | Abdulla Alqaddoumi |
| 2010 | Runtime Addition of Integrity Constraints in an Abductive Proof Procedure. | Marco Alberti, Marco Gavanelli, Evelina Lamma |
| 2009 | Encoding Table Constraints in CLP(FD) Based on Pair-Wise AC. | Neng-Fa Zhou |
| 2009 | Debugging for Model Expansion. | Johan Wittocx, Hanne Vlaeminck, Marc Denecker |
| 2009 | Enabling Serendipitous Search on the Web of Data Using Prolog. | Jan Wielemaker |
| 2009 | Logic Programming with Defaults and Argumentation Theories. | Hui Wan, Benjamin N. Grosof, Michael Kifer, Paul Fodor, Senlin Liang |
| 2009 | Belief Logic Programming. | Hui Wan |
| 2009 | A New Approach to Non-termination Analysis of Logic Programs. | Dean Voets, Danny De Schreye |
| 2009 | Research Summary: Non-termination Analysis of Logic Programs. | Dean Voets |
| 2009 | User Defined Indexing. | David Vaz, Vtor Santos Costa, Michel Ferreira |
| 2009 | Reducts of Propositional Theories, Satisfiability Relations, and Generalizations of Semantics of Logic Programs. | Miroslaw Truszczynski |
| 2009 | Answering Questions from Natural Language Using A-Prolog. | Yana Todorova |
| 2009 | Answer Set Programming for Single-Player Games in General Game Playing. | Michael Thielscher |
| 2009 | Incremental Answer Completion in the SLG-WAM. | Terrance Swift, Alexandre Miguel Pinto, Lus Moniz Pereira |
| 2009 | An Engine for Computing Well-Founded Models. | Terrance Swift |
| 2009 | Logic Programming for Multiagent Planning with Negotiation. | Tran Cao Son, Enrico Pontelli, Chiaki Sakama |
| 2009 | Optimizing Compilation and Computational Complexity of Constraint Handling Rules. | Jon Sneyers |
| 2009 | Fusion of Logic Programming and Description Logics. | Mantas Simkus |
| 2009 | Stochastic Reasoning with Models of Agent Behavior. | Gerardo I. Simari |
| 2009 | Metabolic Network Expansion with Answer Set Programming. | Torsten Schaub, Sven Thiele |
| 2009 | Generative Modeling by PRISM. | Taisuke Sato |
| 2009 | Attributed Data for CHR Indexing. | Beata Sarna-Starosta, Tom Schrijvers |
| 2009 | Locally Distributed Predicates: A Programming Facility for Distributed State Detection. | Michael DeRosa |