- Vítor Nogueira, Salvador Abreu
:
Towards Temporal Contextual Logic Programming. ICLP 2006: 439-441 - Juan Fernández Ortiz, Jørgen Villadsen:
Natural Language Processing Using Lexical and Logical Combinators. ICLP 2006: 444-446 - Alberto Pettorossi, Maurizio Proietti, Valerio Senni:
Proving Properties of Constraint Logic Programs by Eliminating Existential Variables. ICLP 2006: 179-195 - Quan Phan:
Static Memory Management for Logic Programming Languages. ICLP 2006: 465-466 - Quan Phan, Gerda Janssens:
Towards Region-Based Memory Management for Mercury Programs. ICLP 2006: 433-435 - Brigitte Pientka:
Overcoming Performance Barriers: Efficient Verification Techniques for Logical Frameworks. ICLP 2006: 3-10 - Enrico Pontelli, Tran Cao Son:
Justifications for Logic Programs Under Answer Set Semantics. ICLP 2006: 196-210 - Luis Quintano, Irene Rodrigues:
Using a Logic Programming Framework to Control Database Query Dialogues in Natural Language. ICLP 2006: 406-420 - C. R. Ramakrishnan, I. V. Ramakrishnan, David Scott Warren:
Deductive Spreadsheets Using Tabled Logic Programming. ICLP 2006: 391-405 - Ricardo Rocha:
Handling Incomplete and Complete Tables in Tabled Logic Programs. ICLP 2006: 427-428 - Edna Ruckhaus, Vladimir Kolovski, Bijan Parsia, Bernardo Cuenca Grau:
Integrating Datalog with OWL: Exploring the AL-log Approach. ICLP 2006: 455-456 - Diptikalyan Saha, C. R. Ramakrishnan:
A Local Algorithm for Incremental Evaluation of Tabled Logic Programs. ICLP 2006: 56-71 - Petra Schwaiger, Burkhard Freitag:
Using Answer Set Programming for the Automatic Compilation of Assessment Tests. ICLP 2006: 300-314 - Anderson Faustino da Silva, Vítor Santos Costa:
The Design and Implementation of the YAP Compiler: An Optimizing Compiler for Logic Programming Languages. ICLP 2006: 461-462 - Cláudio Silva, Ricardo Rocha, Ricardo Lopes:
An External Module for Implementing Linear Tabling in Prolog. ICLP 2006: 429-430 - Luke Simon, Ajay Mallya, Ajay Bansal, Gopal Gupta:
Coinductive Logic Programming. ICLP 2006: 330-345 - Jon Sneyers, Tom Schrijvers, Bart Demoen:
Memory Reuse for CHR. ICLP 2006: 72-86 - Tiago Soares:
Deductive Databases: Implementation, Parallelism and Applications. ICLP 2006: 467-468 - Péter G. N. Szabó, Péter Szeredi:
Improving the ISO Prolog Standard by Analyzing Compliance Test Results. ICLP 2006: 257-269 - Phan Huy Tu:
Efficient Reasoning About Action and Change in the Presence of Incomplete Information and Its Application in Planning. ICLP 2006: 469-470 - Kazunori Ueda, Norio Kato, Koji Hara, Ken Mizuno:
LMNtal as a Unifying Declarative Language: Live Demonstration. ICLP 2006: 457-458 - Christopher A. Welty:
Semantic Web: The Story of the RIFt so Far. ICLP 2006: 2 - Johan Wittocx, Joost Vennekens, Maarten Mariën, Marc Denecker, Maurice Bruynooghe:
Predicate Introduction Under Stable and Well-Founded Semantics. ICLP 2006: 242-256 - Ka-Shu Wong:
Deducing Logic Programs. ICLP 2006: 471-472 - Sandro Etalle, Miroslaw Truszczynski:
Logic Programming, 22nd International Conference, ICLP 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings. Lecture Notes in Computer Science 4079, Springer 2006, ISBN 3-540-36635-0 [contents]
