| 2009 | Research Summary: Tabled Evaluation for Transaction Logic Programs. | Paul Fodor |
| 2009 | Finding Similar or Diverse Solutions in Answer Set Programming. | Thomas Eiter, Esra Erdem, Halit Erdogan, Michael Fink |
| 2009 | Stabilization of Information Sharing for Queries Answering in Multiagent Systems. | Phan Minh Dung, Do Duc Hanh, Phan Minh Thang |
| 2009 | (C)LP Tracing and Debugging. | Mireille Ducass |
| 2009 | A Knowledge Base System Project for FO(.). | Marc Denecker |
| 2009 | Merging Logic Programs under Answer Set Semantics. | James P. Delgrande, Torsten Schaub, Hans Tompits, Stefan Woltran |
| 2009 | Modular Nonmonotonic Logic Programming Revisited. | Minh Dao-Tran, Thomas Eiter, Michael Fink, Thomas Krennwallner |
| 2009 | A Term-Based Global Trie for Tabled Logic Programs. | Jorge Costa, Joo Raimundo, Ricardo Rocha |
| 2009 | Preprocessing for Optimization of Probabilistic-Logic Models for Sequence Analysis. | Henning Christiansen, Ole Torp Lassen |
| 2009 | Non-discriminating Arguments and Their Uses. | Henning Christiansen, John P. Gallagher |
| 2009 | Computing Loops with at Most One External Support Rule for Disjunctive Logic Programs. | Xiaoping Chen, Jianmin Ji, Fangzhen Lin |
| 2009 | Capturing Fair Computations on Concurrent Constraint Language. | Paola Campli, Stefano Bistarelli |
| 2009 | Qualified Computations in Functional Logic Programming. | Rafael Caballero, Mario Rodrguez-Artalejo, Carlos A. Romero-Daz |
| 2009 | Using Histograms to Better Answer Queries to Probabilistic Logic Programs. | Matthias Broecheler, Gerardo I. Simari, V. S. Subrahmanian |
| 2009 | Constraint Based Languages for Biological Reactions. | Marco Bottalico, Stefano Bistarelli |
| 2009 | A Language for Large Ensembles of Independently Executing Nodes. | Michael P. Ashley-Rollman, Peter Lee, Seth Copen Goldstein, Padmanabhan Pillai, Jason Campbell |
| 2009 | Research Summary: Logic Programming for Massively Distributed Systems. | Michael P. Ashley-Rollman |
| 2009 | An Overview of FORCES: An INRIA Project on Declarative Formalisms for Emergent Systems. | Jess Aranda, Grard Assayag, Carlos Olarte, Jorge A. Prez, Camilo Rueda, Mauricio Toro, Frank D. Valencia |
| 2008 | Efficient Algorithms for Functional Constraints. | Yuanlin Zhang, Roland H. C. Yap, Chendong Li, Satyanarayana Marisetti |
| 2008 | Optimization of CHR Propagation Rules. | Peter Van Weert |
| 2008 | Trace Analysis for Predicting the Effectiveness of Partial Evaluation. | Germn Vidal |
| 2008 | An Algorithm for Sophisticated Code Matching in Logic Programs. | Wim Vanhoof, Franois Degrave |
| 2008 | Detection of Security Vulnerabilities Using Guided Model Checking. | Aliaksei Tsitovich |
| 2008 | Relativized Hyperequivalence of Logic Programs for Modular Programming. | Miroslaw Truszczynski, Stefan Woltran |
| 2008 | Generalising Constraint Solving over Finite Domains. | Markus Triska |