| 2007 | Declarative Diagnosis of Temporal Concurrent Constraint Programs. | Moreno Falaschi, Carlos Olarte, Catuscia Palamidessi, Frank Valencia |
| 2007 | Answer Set Programming for the Semantic Web. | Thomas Eiter |
| 2007 | Observable Confluence for Constraint Handling Rules. | Gregory J. Duck, Peter J. Stuckey, Martin Sulzmann |
| 2007 | HD-rules: A Hybrid System Interfacing Prolog with DL-reasoners. | Wlodzimierz Drabent, Jakob Henriksson, Jan Maluszynski |
| 2007 | Multivalued Action Languages with Constraints in CLP(FD). | Agostino Dovier, Andrea Formisano, Enrico Pontelli |
| 2007 | Core TuLiP Logic Programming for Trust Management. | Marcin Czenko, Sandro Etalle |
| 2007 | Demand-Driven Indexing of Prolog Clauses. | Vtor Santos Costa, Konstantinos Sagonas, Ricardo Lopes |
| 2007 | View Updating Through Active Integrity Constraints. | Luciano Caroprese, Irina Trubitsyna, Ester Zumpano |
| 2007 | Tightly Integrated Probabilistic Description Logic Programs for the Semantic Web. | Andrea Cal, Thomas Lukasiewicz |
| 2007 | Declarative Debugging of Missing Answers in Constraint Functional-Logic Programming. | Rafael Caballero, Mario Rodrguez-Artalejo, Rafael del Vado Vrseda |
| 2007 | Minimal Logic Programs. | Pedro Cabalar, David Pearce, Agustn Valverde |
| 2007 | Preferences, Contexts and Answer Sets. | Gerhard Brewka |
| 2007 | On Finitely Recursive Programs. | Sabrina Baselice, Piero A. Bonatti, Giovanni Criscuolo |
| 2007 | Towards Overcoming the Knowledge Acquisition Bottleneck in Answer Set Prolog Applications: Embracing Natural Language Inputs. | Chitta Baral, Juraj Dzifcak, Luis Tari |
| 2006 | Deducing Logic Programs. | Ka-Shu Wong |
| 2006 | Predicate Introduction Under Stable and Well-Founded Semantics. | Johan Wittocx, Joost Vennekens, Maarten Marin, Marc Denecker, Maurice Bruynooghe |
| 2006 | Semantic Web: The Story of the RIFt so Far. | Christopher A. Welty |
| 2006 | LMNtal as a Unifying Declarative Language: Live Demonstration. | Kazunori Ueda, Norio Kato, Koji Hara, Ken Mizuno |
| 2006 | Efficient Reasoning About Action and Change in the Presence of Incomplete Information and Its Application in Planning. | Phan Huy Tu |
| 2006 | Improving the ISO Prolog Standard by Analyzing Compliance Test Results. | Pter G. N. Szab, Pter Szeredi |
| 2006 | Deductive Databases: Implementation, Parallelism and Applications. | Tiago Soares |
| 2006 | Memory Reuse for CHR. | Jon Sneyers, Tom Schrijvers, Bart Demoen |
| 2006 | Coinductive Logic Programming. | Luke Simon, Ajay Mallya, Ajay Bansal, Gopal Gupta |
| 2006 | An External Module for Implementing Linear Tabling in Prolog. | Cludio Silva, Ricardo Rocha, Ricardo Lopes |
| 2006 | The Design and Implementation of the YAP Compiler: An Optimizing Compiler for Logic Programming Languages. | Anderson Faustino da Silva, Vtor Santos Costa |