| 2007 | Static Region Analysis for Mercury. | Quan Phan, Gerda Janssens |
| 2007 | Automatic Correctness Proofs for Logic Program Transformations. | Alberto Pettorossi, Maurizio Proietti, Valerio Senni |
| 2007 | Representation and Execution of a Graph Grammar in Prolog. | Girish Keshav Palshikar |
| 2007 | Universal Timed Concurrent Constraint Programming. | Carlos Olarte, Catuscia Palamidessi, Frank Valencia |
| 2007 | A Linear Transformation from Prioritized Circumscription to Disjunctive Logic Programming. | Emilia Oikarinen, Tomi Janhunen |
| 2007 | Modular Answer Set Programming. | Emilia Oikarinen |
| 2007 | Computing Fuzzy Answer Sets Using dlvhex. | Davy Van Nieuwenborgh, Martine De Cock, Dirk Vermeir |
| 2007 | Approximating Horn Knowledge Bases in Regular Description Logics to Have PTIME Data Complexity. | Linh Anh Nguyen |
| 2007 | A Games Semantics of ASP. | Jonty Needham, Marina De Vos |
| 2007 | User-Definable Resource Bounds Analysis for Logic Programs. | Jorge A. Navas, Edison Mera, Pedro Lpez-Garca, Manuel V. Hermenegildo |
| 2007 | Resource-Oriented Deadlock Analysis. | Lee Naish |
| 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 |
| 2007 | Ontology Based Information Integration Using Logic Programming. | Gergely Lukcsy, Pter Szeredi |
| 2007 | Contextual Logic Programming for Ontology Representation and Querying. | Nuno Lopes, Cludio Fernandes, Salvador Abreu |
| 2007 | Logic Programs with Abstract Constraint Atoms: The Role of Computations. | Lengning Liu, Enrico Pontelli, Tran Cao Son, Miroslaw Truszczynski |
| 2007 | The Correspondence Between the Logical Algorithms Language and CHR. | Leslie De Koninck, Tom Schrijvers, Bart Demoen |
| 2007 | Combining OWL with F-Logic Rules and Defaults. | Heiko Kattenstroth, Wolfgang May, Franz Schenk |
| 2007 | Extended ASP Tableaux and Rule Redundancy in Normal Logic Programs. | Matti Jrvisalo, Emilia Oikarinen |
| 2007 | Prosper: A Framework for Extending Prolog Applications with a Web Interface. | Levente Hunyadi |
| 2007 | Multi-paradigm Declarative Languages. | Michael Hanus |
| 2007 | Coinductive Logic Programming and Its Applications. | Gopal Gupta, Ajay Bansal, Richard Min, Luke Simon, Ajay Mallya |
| 2007 | Querying and Repairing Inconsistent Databases Under Three-Valued Semantics. | Sergio Greco, Cristian Molinaro |
| 2007 | Generic Tableaux for Answer Set Programming. | Martin Gebser, Torsten Schaub |
| 2007 | Advanced Techniques for Answer Set Programming. | Martin Gebser |