| 2007 | A Games Semantics of ASP. Jonty Needham, Marina De Vos |
| 2007 | A Linear Transformation from Prioritized Circumscription to Disjunctive Logic Programming. Emilia Oikarinen, Tomi Janhunen |
| 2007 | A Logic Programming Framework for Combinational Circuit Synthesis. Paul Tarau, Brenda Luderman |
| 2007 | A Register-Free Abstract Prolog Machine with Jumbo Instructions. Neng-Fa Zhou |
| 2007 | A Stronger Notion of Equivalence for Logic Programs. Ka-Shu Wong |
| 2007 | Advanced Techniques for Answer Set Programming. Martin Gebser |
| 2007 | Aggregates in Constraint Handling Rules. Jon Sneyers, Peter Van Weert, Tom Schrijvers, Bart Demoen |
| 2007 | Answer Set Programming for the Semantic Web. Thomas Eiter |
| 2007 | Approximating Horn Knowledge Bases in Regular Description Logics to Have PTIME Data Complexity. Linh Anh Nguyen |
| 2007 | Automatic Binding-Related Error Diagnosis in Logic Programs. Pawel Pietrzak, Manuel V. Hermenegildo |
| 2007 | Automatic Correctness Proofs for Logic Program Transformations. Alberto Pettorossi, Maurizio Proietti, Valerio Senni |
| 2007 | Coinductive Logic Programming and Its Applications. Gopal Gupta, Ajay Bansal, Richard Min, Luke Simon, Ajay Mallya |
| 2007 | Computing Fuzzy Answer Sets Using dlvhex. Davy Van Nieuwenborgh, Martine De Cock, Dirk Vermeir |
| 2007 | Core TuLiP Logic Programming for Trust Management. Marcin Czenko, Sandro Etalle |
| 2007 | Declarative Debugging of Missing Answers in Constraint Functional-Logic Programming. Rafael Caballero, Mario Rodríguez-Artalejo, Rafael del Vado Vírseda |
| 2007 | Declarative Diagnosis of Temporal Concurrent Constraint Programs. Moreno Falaschi, Carlos Olarte, Catuscia Palamidessi, Frank Valencia |
| 2007 | Demand-Driven Indexing of Prolog Clauses. Vítor Santos Costa, Konstantinos Sagonas, Ricardo Lopes |
| 2007 | Design, Implementation, and Evaluation of a Dynamic Compilation Framework for the YAP System. Anderson Faustino da Silva, Vítor Santos Costa |
| 2007 | Extended ASP Tableaux and Rule Redundancy in Normal Logic Programs. Matti Järvisalo, Emilia Oikarinen |
| 2007 | Extension and Implementation of CHR. Peter Van Weert |
| 2007 | Generic Tableaux for Answer Set Programming. Martin Gebser, Torsten Schaub |
| 2007 | Graph Transformation Systems in CHR. Frank Raiser |
| 2007 | Logic Programming Approach to Automata-Based Decision Procedures. Gulay Ünel, David Toman |
| 2007 | Logic Programming for Knowledge Representation. Miroslaw Truszczynski |
| 2007 | Logic Programming, 23rd International Conference, ICLP 2007, Porto, Portugal, September 8-13, 2007, Proceedings Verónica Dahl, Ilkka Niemelä |
| 2007 | Logic Programs with Abstract Constraint Atoms: The Role of Computations. Lengning Liu, Enrico Pontelli, Tran Cao Son, Miroslaw Truszczynski |
| 2007 | Minimal Logic Programs. Pedro Cabalar, David Pearce, Agustín Valverde |
| 2007 | Modular Answer Set Programming. Emilia Oikarinen |
| 2007 | Multi-paradigm Declarative Languages. Michael Hanus |
| 2007 | Multivalued Action Languages with Constraints in CLP(FD). Agostino Dovier, Andrea Formisano, Enrico Pontelli |
| 2007 | Observable Confluence for Constraint Handling Rules. Gregory J. Duck, Peter J. Stuckey, Martin Sulzmann |
| 2007 | On Applying Program Transformation to Implement Suspension-Based Tabling in Prolog. Ricardo Rocha, Cláudio Silva, Ricardo Lopes |
| 2007 | On Finitely Recursive Programs. Sabrina Baselice, Piero A. Bonatti, Giovanni Criscuolo |
| 2007 | Preferences, Contexts and Answer Sets. Gerhard Brewka |
| 2007 | Prosper: A Framework for Extending Prolog Applications with a Web Interface. Levente Hunyadi |
| 2007 | Querying and Repairing Inconsistent Databases Under Three-Valued Semantics. Sergio Greco, Cristian Molinaro |
| 2007 | Representation and Execution of a Graph Grammar in Prolog. Girish Keshav Palshikar |
| 2007 | Resource-Oriented Deadlock Analysis. Lee Naish |
| 2007 | Spatial-Yap: A Logic-Based Geographic Information System. David Vaz, Michel Ferreira, Ricardo Lopes |
| 2007 | Static Region Analysis for Mercury. Quan Phan, Gerda Janssens |
| 2007 | The Correspondence Between the Logical Algorithms Language and CHR. Leslie De Koninck, Tom Schrijvers, Bart Demoen |
| 2007 | The Use of a Logic Programming Language in the Animation of Z Specifications. Margaret M. West |
| 2007 | Tightly Integrated Probabilistic Description Logic Programs for the Semantic Web. Andrea Calì, Thomas Lukasiewicz |
| 2007 | Towards Overcoming the Knowledge Acquisition Bottleneck in Answer Set Prolog Applications: Embracing Natural Language Inputs. Chitta Baral, Juraj Dzifcak, Luis Tari |
| 2007 | Universal Timed Concurrent Constraint Programming. Carlos Olarte, Catuscia Palamidessi, Frank Valencia |
| 2007 | User-Definable Resource Bounds Analysis for Logic Programs. Jorge A. Navas, Edison Mera, Pedro López-García, Manuel V. Hermenegildo |
| 2007 | View Updating Through Active Integrity Constraints. Luciano Caroprese, Irina Trubitsyna, Ester Zumpano |
| 2007 | Visual Logic Programming Method Based on Structural Analysis and Design Technique. Alexei A. Morozov |
| 2007 | Web Sites Verification: An Abductive Logic Programming Tool. Paolo Mancarella, Giacomo Terreni, Francesca Toni |