| 2006 | Using Answer Set Programming for the Automatic Compilation of Assessment Tests. | Petra Schwaiger, Burkhard Freitag |
| 2006 | A Local Algorithm for Incremental Evaluation of Tabled Logic Programs. | Diptikalyan Saha, C. R. Ramakrishnan |
| 2006 | Integrating Datalog with OWL: Exploring the AL-log Approach. | Edna Ruckhaus, Vladimir Kolovski, Bijan Parsia, Bernardo Cuenca Grau |
| 2006 | Handling Incomplete and Complete Tables in Tabled Logic Programs. | Ricardo Rocha |
| 2006 | Deductive Spreadsheets Using Tabled Logic Programming. | C. R. Ramakrishnan, I. V. Ramakrishnan, David Scott Warren |
| 2006 | Using a Logic Programming Framework to Control Database Query Dialogues in Natural Language. | Luis Quintano, Irene Rodrigues |
| 2006 | Untitled record | Enrico Pontelli, Tran Cao Son |
| 2006 | Overcoming Performance Barriers: Efficient Verification Techniques for Logical Frameworks. | Brigitte Pientka |
| 2006 | Towards Region-Based Memory Management for Mercury Programs. | Quan Phan, Gerda Janssens |
| 2006 | Static Memory Management for Logic Programming Languages. | Quan Phan |
| 2006 | Proving Properties of Constraint Logic Programs by Eliminating Existential Variables. | Alberto Pettorossi, Maurizio Proietti, Valerio Senni |
| 2006 | Natural Language Processing Using Lexical and Logical Combinators. | Juan Fernndez Ortiz, Jrgen Villadsen |
| 2006 | Towards Temporal Contextual Logic Programming. | Vtor Nogueira, Salvador Abreu |
| 2006 | Cooperating Answer Set Programming. | Davy Van Nieuwenborgh, Stijn Heymans, Dirk Vermeir |
| 2006 | Logtalk Processing of STEP Part 21 Files. | Paulo Moura, Vincent Marchetti |
| 2006 | Using Combined Static Analysis and Profiling for Logic Program Execution Time Estimation. | Edison Mera, Pedro Lpez-Garca, Germn Puebla, Manuel Carro, Manuel V. Hermenegildo |
| 2006 | Logic Programming in Knowledge Domains. | Andrei Mantsivoda, Vladimir Lipovchenko, Anton Malykh |
| 2006 | Description Logic Reasoning in Prolog. | Gergely Lukcsy |
| 2006 | A Declarative Framework for Security: Secure Concurrent Constraint Programming. | Hugo A. Lpez, Catuscia Palamidessi, Jorge Andrs Prez, Camilo Rueda, Frank D. Valencia |
| 2006 | Collapsing Closures. | Xuan Li, Andy King, Lunjin Lu |
| 2006 | Why Use Datalog to Analyze Programs? | Monica S. Lam |
| 2006 | Detecting Determinacy in Prolog Programs. | Andy King, Lunjin Lu, Samir Genaim |
| 2006 | Generality Relations in Answer Set Programming. | Katsumi Inoue, Chiaki Sakama |
| 2006 | Modules for Prolog Revisited. | Rmy Haemmerl, Franois Fages |
| 2006 | Relaxation on Optimization Predicates. | Hai-Feng Guo, Miao Liu, Bharat Jayaraman |