| 2006 | A Declarative Framework for Security: Secure Concurrent Constraint Programming. Hugo A. López, Catuscia Palamidessi, Jorge Andrés Pérez, Camilo Rueda, Frank D. Valencia |
| 2006 | A Local Algorithm for Incremental Evaluation of Tabled Logic Programs. Diptikalyan Saha, C. R. Ramakrishnan |
| 2006 | ACD Term Rewriting. Gregory J. Duck, Peter J. Stuckey, Sebastian Brand |
| 2006 | An External Module for Implementing Linear Tabling in Prolog. Cláudio Silva, Ricardo Rocha, Ricardo Lopes |
| 2006 | Analysing and Extending Well-Founded and Partial Stable Semantics Using Partial Equilibrium Logic. Pedro Cabalar, Sergei P. Odintsov, David Pearce, Agustín Valverde |
| 2006 | Coinductive Logic Programming. Luke Simon, Ajay Mallya, Ajay Bansal, Gopal Gupta |
| 2006 | Collapsing Closures. Xuan Li, Andy King, Lunjin Lu |
| 2006 | Compositional Semantics for the Procedural Interpretation of Logic. Maarten H. van Emden |
| 2006 | Cooperating Answer Set Programming. Davy Van Nieuwenborgh, Stijn Heymans, Dirk Vermeir |
| 2006 | Declarative Diagnosis of Wrong Answers in Constraint Functional-Logic Programming. Rafael Caballero, Mario Rodríguez-Artalejo, Rafael del Vado Vírseda |
| 2006 | Declarative Problem Solving Using Answer Set Semantics. Martin Brain |
| 2006 | Declarative Semantics of Production Rules for Integrity Maintenance. Luciano Caroprese, Sergio Greco, Cristina Sirangelo, Ester Zumpano |
| 2006 | Deducing Logic Programs. Ka-Shu Wong |
| 2006 | Deductive Databases: Implementation, Parallelism and Applications. Tiago Soares |
| 2006 | Deductive Spreadsheets Using Tabled Logic Programming. C. R. Ramakrishnan, I. V. Ramakrishnan, David Scott Warren |
| 2006 | Description Logic Reasoning in Prolog. Gergely Lukácsy |
| 2006 | Detecting Determinacy in Prolog Programs. Andy King, Lunjin Lu, Samir Genaim |
| 2006 | Efficient Reasoning About Action and Change in the Presence of Incomplete Information and Its Application in Planning. Phan Huy Tu |
| 2006 | Generality Relations in Answer Set Programming. Katsumi Inoue, Chiaki Sakama |
| 2006 | Handling Incomplete and Complete Tables in Tabled Logic Programs. Ricardo Rocha |
| 2006 | Improving the ISO Prolog Standard by Analyzing Compliance Test Results. Péter G. N. Szabó, Péter Szeredi |
| 2006 | Integrating Datalog with OWL: Exploring the AL-log Approach. Edna Ruckhaus, Vladimir Kolovski, Bijan Parsia, Bernardo Cuenca Grau |
| 2006 | LMNtal as a Unifying Declarative Language: Live Demonstration. Kazunori Ueda, Norio Kato, Koji Hara, Ken Mizuno |
| 2006 | Learning Semantic Parsers: A Constraint Handling Rule Approach. Dulce Aguilar-Solis |
| 2006 | Logic Programming in Knowledge Domains. Andrei Mantsivoda, Vladimir Lipovchenko, Anton Malykh |
| 2006 | Logic Programming, 22nd International Conference, ICLP 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings Sandro Etalle, Miroslaw Truszczynski |
| 2006 | Logtalk Processing of STEP Part 21 Files. Paulo Moura, Vincent Marchetti |
| 2006 | Macros, Macro Calls and Use of Ensembles in Modular Answer Set Programming. Chitta Baral, Juraj Dzifcak, Hiro Takahashi |
| 2006 | Memory Reuse for CHR. Jon Sneyers, Tom Schrijvers, Bart Demoen |
| 2006 | Modelling Biological Networks by Action Languages Via Answer Set Programming. Susanne Grell, Torsten Schaub, Joachim Selbig |
| 2006 | Modules for Prolog Revisited. Rémy Haemmerlé, François Fages |
| 2006 | Natural Language Processing Using Lexical and Logical Combinators. Juan Fernández Ortiz, Jørgen Villadsen |
| 2006 | Overcoming Performance Barriers: Efficient Verification Techniques for Logical Frameworks. Brigitte Pientka |
| 2006 | Overlapping Rules and Logic Variables in Functional Logic Programs . Sergio Antoy, Michael Hanus |
| 2006 | Predicate Introduction Under Stable and Well-Founded Semantics. Johan Wittocx, Joost Vennekens, Maarten Mariën, Marc Denecker, Maurice Bruynooghe |
| 2006 | Proving Properties of Constraint Logic Programs by Eliminating Existential Variables. Alberto Pettorossi, Maurizio Proietti, Valerio Senni |
| 2006 | Reduced Certificates for Abstraction-Carrying Code. Elvira Albert, Puri Arenas-Sánchez, Germán Puebla, Manuel V. Hermenegildo |
| 2006 | Relaxation on Optimization Predicates. Hai-Feng Guo, Miao Liu, Bharat Jayaraman |
| 2006 | Semantic Property Grammars for Knowledge Extraction from Biomedical Text. Verónica Dahl, Baohua Gu |
| 2006 | Semantic Web: The Story of the RIFt so Far. Christopher A. Welty |
| 2006 | Solving First-Order Constraints in the Theory of the Evaluated Trees. Thi-Bich-Hanh Dao, Khalil Djelloul |
| 2006 | Static Memory Management for Logic Programming Languages. Quan Phan |
| 2006 | TOAST: Applying Answer Set Programming to Superoptimisation. Martin Brain, Tom Crick, Marina De Vos, John P. Fitch |
| 2006 | Tableau Calculi for Answer Set Programming. Martin Gebser, Torsten Schaub |
| 2006 | The Design and Implementation of the YAP Compiler: An Optimizing Compiler for Logic Programming Languages. Anderson Faustino da Silva, Vítor Santos Costa |
| 2006 | The Semantics of Nominal Logic Programs. James Cheney |
| 2006 | Towards "Propagation = Logic + Control". Sebastian Brand, Roland H. C. Yap |
| 2006 | Towards Region-Based Memory Management for Mercury Programs. Quan Phan, Gerda Janssens |
| 2006 | Towards Structured Contexts and Modules. Salvador Abreu, Vítor Nogueira |
| 2006 | Towards Temporal Contextual Logic Programming. Vítor Nogueira, Salvador Abreu |
| 2006 | Using Answer Set Programming for the Automatic Compilation of Assessment Tests. Petra Schwaiger, Burkhard Freitag |
| 2006 | Using Combined Static Analysis and Profiling for Logic Program Execution Time Estimation. Edison Mera, Pedro López-García, Germán Puebla, Manuel Carro, Manuel V. Hermenegildo |
| 2006 | Using a Logic Programming Framework to Control Database Query Dialogues in Natural Language. Luis Quintano, Irene Rodrigues |
| 2006 | Why Use Datalog to Analyze Programs? Monica S. Lam |