| 2009 | Research Summary. | Frank Raiser |
| 2009 | Probabilistic Logic Learning - A Tutorial Abstract. | Luc De Raedt |
| 2009 | Automating Termination Proofs for CHR. | Paolo Pilozzi, Danny De Schreye |
| 2009 | Proving Termination by Invariance Relations. | Paolo Pilozzi, Danny De Schreye |
| 2009 | Research Summary: Termination of CHR. | Paolo Pilozzi |
| 2009 | Research Summary: Intelligent Natural Language Processing Techniques and Tools. | Alessio Paolucci |
| 2009 | Answer Set Programming with Constraints Using Lazy Grounding. | Alessandro Dal Pal, Agostino Dovier, Enrico Pontelli, Gianfranco Rossi |
| 2009 | Study of Random Logic Programs. | Gayathri Namasivayam |
| 2009 | Experiences Using Logic Programming in Bioinformatics. | Chris Mungall |
| 2009 | From Plain Prolog to Logtalk Objects: Effective Code Encapsulation and Reuse. | Paulo Moura |
| 2009 | Integrating Software Testing and Run-Time Checking in an Assertion Verification Framework. | Edison Mera, Pedro Lpez-Garca, Manuel V. Hermenegildo |
| 2009 | One More Decidable Class of Finitely Ground Programs. | Yuliya Lierler, Vladimir Lifschitz |
| 2009 | Research Summary: Extending Elimination Algorithms for Functional Constraints to Solve Two Integer Variables per Inequality. | Chendong Li |
| 2009 | Demand-Driven Normalisation for ACD Term Rewriting. | Leslie De Koninck, Gregory J. Duck, Peter J. Stuckey |
| 2009 | Execution Control for CHR. | Leslie De Koninck |
| 2009 | Untangling Reverse Engineering with Logic and Abstraction. | Andy King |
| 2009 | Research Summary. | Jianmin Ji |
| 2009 | Modular Action Language | Daniela Inclezan |
| 2009 | Logic Programs under Three-Valued Lukasiewicz Semantics. | Steffen Hlldobler, Carroline Dewi Puspa Kencana Ramli |
| 2009 | Types for Secure Pattern Matching with Local Knowledge in Universal Concurrent Constraint Programming. | Thomas T. Hildebrandt, Hugo A. Lpez |
| 2009 | Logic-Statistic Models with Constraints for Biological Sequence Analysis. | Christian Theil Have |
| 2009 | A Tabling Implementation Based on Variables with Multiple Bindings. | Pablo Chico de Guzmn, Manuel Carro, Manuel V. Hermenegildo |
| 2009 | Constraint Answer Set Solving. | Martin Gebser, Max Ostrowski, Torsten Schaub |
| 2009 | On the Implementation of Weight Constraint Rules in Conflict-Driven ASP Solvers. | Martin Gebser, Roland Kaminski, Benjamin Kaufmann, Torsten Schaub |
| 2009 | Integration of Abductive Reasoning and Constraint Optimization in SCIFF. | Marco Gavanelli, Marco Alberti, Evelina Lamma |