| 2009 | (C)LP Tracing and Debugging. Mireille Ducassé |
| 2009 | A Knowledge Base System Project for FO(.). Marc Denecker |
| 2009 | A Language for Large Ensembles of Independently Executing Nodes. Michael P. Ashley-Rollman, Peter Lee, Seth Copen Goldstein, Padmanabhan Pillai, Jason Campbell |
| 2009 | A New Approach to Non-termination Analysis of Logic Programs. Dean Voets, Danny De Schreye |
| 2009 | A Tabling Implementation Based on Variables with Multiple Bindings. Pablo Chico de Guzmán, Manuel Carro, Manuel V. Hermenegildo |
| 2009 | A Term-Based Global Trie for Tabled Logic Programs. Jorge Costa, João Raimundo, Ricardo Rocha |
| 2009 | An Engine for Computing Well-Founded Models. Terrance Swift |
| 2009 | An Overview of FORCES: An INRIA Project on Declarative Formalisms for Emergent Systems. Jesús Aranda, Gérard Assayag, Carlos Olarte, Jorge A. Pérez, Camilo Rueda, Mauricio Toro, Frank D. Valencia |
| 2009 | Answer Set Programming for Single-Player Games in General Game Playing. Michael Thielscher |
| 2009 | Answer Set Programming with Constraints Using Lazy Grounding. Alessandro Dal Palù, Agostino Dovier, Enrico Pontelli, Gianfranco Rossi |
| 2009 | Answering Questions from Natural Language Using A-Prolog. Yana Todorova |
| 2009 | Attributed Data for CHR Indexing. Beata Sarna-Starosta, Tom Schrijvers |
| 2009 | Automating Termination Proofs for CHR. Paolo Pilozzi, Danny De Schreye |
| 2009 | Belief Logic Programming. Hui Wan |
| 2009 | Capturing Fair Computations on Concurrent Constraint Language. Paola Campli, Stefano Bistarelli |
| 2009 | Computing Loops with at Most One External Support Rule for Disjunctive Logic Programs. Xiaoping Chen, Jianmin Ji, Fangzhen Lin |
| 2009 | Constraint Answer Set Solving. Martin Gebser, Max Ostrowski, Torsten Schaub |
| 2009 | Constraint Based Languages for Biological Reactions. Marco Bottalico, Stefano Bistarelli |
| 2009 | Debugging for Model Expansion. Johan Wittocx, Hanne Vlaeminck, Marc Denecker |
| 2009 | Demand-Driven Normalisation for ACD Term Rewriting. Leslie De Koninck, Gregory J. Duck, Peter J. Stuckey |
| 2009 | Enabling Serendipitous Search on the Web of Data Using Prolog. Jan Wielemaker |
| 2009 | Encoding Table Constraints in CLP(FD) Based on Pair-Wise AC. Neng-Fa Zhou |
| 2009 | Execution Control for CHR. Leslie De Koninck |
| 2009 | Experiences Using Logic Programming in Bioinformatics. Chris Mungall |
| 2009 | Finding Similar or Diverse Solutions in Answer Set Programming. Thomas Eiter, Esra Erdem, Halit Erdogan, Michael Fink |
| 2009 | From Plain Prolog to Logtalk Objects: Effective Code Encapsulation and Reuse. Paulo Moura |
| 2009 | Fusion of Logic Programming and Description Logics. Mantas Simkus |
| 2009 | Generative Modeling by PRISM. Taisuke Sato |
| 2009 | Incremental Answer Completion in the SLG-WAM. Terrance Swift, Alexandre Miguel Pinto, Luís Moniz Pereira |
| 2009 | Integrating Software Testing and Run-Time Checking in an Assertion Verification Framework. Edison Mera, Pedro López-García, Manuel V. Hermenegildo |
| 2009 | Integration of Abductive Reasoning and Constraint Optimization in SCIFF. Marco Gavanelli, Marco Alberti, Evelina Lamma |
| 2009 | Locally Distributed Predicates: A Programming Facility for Distributed State Detection. Michael DeRosa |
| 2009 | Logic Programming for Multiagent Planning with Negotiation. Tran Cao Son, Enrico Pontelli, Chiaki Sakama |
| 2009 | Logic Programming with Defaults and Argumentation Theories. Hui Wan, Benjamin N. Grosof, Michael Kifer, Paul Fodor, Senlin Liang |
| 2009 | Logic Programming, 25th International Conference, ICLP 2009, Pasadena, CA, USA, July 14-17, 2009. Proceedings Patricia M. Hill, David Scott Warren |
| 2009 | Logic Programs under Three-Valued Lukasiewicz Semantics. Steffen Hölldobler, Carroline Dewi Puspa Kencana Ramli |
| 2009 | Logic-Statistic Models with Constraints for Biological Sequence Analysis. Christian Theil Have |
| 2009 | Merging Logic Programs under Answer Set Semantics. James P. Delgrande, Torsten Schaub, Hans Tompits, Stefan Woltran |
| 2009 | Metabolic Network Expansion with Answer Set Programming. Torsten Schaub, Sven Thiele |
| 2009 | Modular Action Language Daniela Inclezan |
| 2009 | Modular Nonmonotonic Logic Programming Revisited. Minh Dao-Tran, Thomas Eiter, Michael Fink, Thomas Krennwallner |
| 2009 | Non-discriminating Arguments and Their Uses. Henning Christiansen, John P. Gallagher |
| 2009 | On the Implementation of Weight Constraint Rules in Conflict-Driven ASP Solvers. Martin Gebser, Roland Kaminski, Benjamin Kaufmann, Torsten Schaub |
| 2009 | One More Decidable Class of Finitely Ground Programs. Yuliya Lierler, Vladimir Lifschitz |
| 2009 | Optimizing Compilation and Computational Complexity of Constraint Handling Rules. Jon Sneyers |
| 2009 | Preprocessing for Optimization of Probabilistic-Logic Models for Sequence Analysis. Henning Christiansen, Ole Torp Lassen |
| 2009 | Probabilistic Logic Learning - A Tutorial Abstract. Luc De Raedt |
| 2009 | Proving Termination by Invariance Relations. Paolo Pilozzi, Danny De Schreye |
| 2009 | Qualified Computations in Functional Logic Programming. Rafael Caballero, Mario Rodríguez-Artalejo, Carlos A. Romero-Díaz |
| 2009 | Reducts of Propositional Theories, Satisfiability Relations, and Generalizations of Semantics of Logic Programs. Miroslaw Truszczynski |
| 2009 | Research Summary. Frank Raiser |
| 2009 | Research Summary. Jianmin Ji |
| 2009 | Research Summary: Extending Elimination Algorithms for Functional Constraints to Solve Two Integer Variables per Inequality. Chendong Li |
| 2009 | Research Summary: Intelligent Natural Language Processing Techniques and Tools. Alessio Paolucci |
| 2009 | Research Summary: Logic Programming for Massively Distributed Systems. Michael P. Ashley-Rollman |
| 2009 | Research Summary: Non-termination Analysis of Logic Programs. Dean Voets |
| 2009 | Research Summary: Tabled Evaluation for Transaction Logic Programs. Paul Fodor |
| 2009 | Research Summary: Termination of CHR. Paolo Pilozzi |
| 2009 | Stabilization of Information Sharing for Queries Answering in Multiagent Systems. Phan Minh Dung, Do Duc Hanh, Phan Minh Thang |
| 2009 | Stochastic Reasoning with Models of Agent Behavior. Gerardo I. Simari |
| 2009 | Study of Random Logic Programs. Gayathri Namasivayam |
| 2009 | Types for Secure Pattern Matching with Local Knowledge in Universal Concurrent Constraint Programming. Thomas T. Hildebrandt, Hugo A. López |
| 2009 | Untangling Reverse Engineering with Logic and Abstraction. Andy King |
| 2009 | User Defined Indexing. David Vaz, Vítor Santos Costa, Michel Ferreira |
| 2009 | Using Histograms to Better Answer Queries to Probabilistic Logic Programs. Matthias Broecheler, Gerardo I. Simari, V. S. Subrahmanian |