Abstract is missing.
- Towards Overcoming the Knowledge Acquisition Bottleneck in Answer Set Prolog Applications: Embracing Natural Language InputsChitta Baral, Juraj Dzifcak, Luis Tari. 1-21 [doi]
- Preferences, Contexts and Answer SetsGerhard Brewka. 22 [doi]
- Answer Set Programming for the Semantic WebThomas Eiter. 23-26 [doi]
- Coinductive Logic Programming and Its ApplicationsGopal Gupta, Ajay Bansal, Richard Min, Luke Simon, Ajay Mallya. 27-44 [doi]
- Multi-paradigm Declarative LanguagesMichael Hanus. 45-75 [doi]
- Logic Programming for Knowledge RepresentationMiroslaw Truszczynski. 76-88 [doi]
- On Finitely Recursive ProgramsSabrina Baselice, Piero A. Bonatti, Giovanni Criscuolo. 89-103 [doi]
- Minimal Logic ProgramsPedro Cabalar, David Pearce, Agustín Valverde. 104-118 [doi]
- Generic Tableaux for Answer Set ProgrammingMartin Gebser, Torsten Schaub. 119-133 [doi]
- Extended ASP Tableaux and Rule Redundancy in Normal Logic ProgramsMatti Järvisalo, Emilia Oikarinen. 134-148 [doi]
- Querying and Repairing Inconsistent Databases Under Three-Valued SemanticsSergio Greco, Cristian Molinaro. 149-164 [doi]
- Logic Programming Approach to Automata-Based Decision ProceduresGulay Ünel, David Toman. 165-179 [doi]
- A Logic Programming Framework for Combinational Circuit SynthesisPaul Tarau, Brenda Luderman. 180-194 [doi]
- Spatial-Yap: A Logic-Based Geographic Information SystemDavid Vaz, Michel Ferreira, Ricardo Lopes. 195-208 [doi]
- The Correspondence Between the Logical Algorithms Language and CHRLeslie De Koninck, Tom Schrijvers, Bart Demoen. 209-223 [doi]
- Observable Confluence for Constraint Handling RulesGregory J. Duck, Peter J. Stuckey, Martin Sulzmann. 224-239 [doi]
- Graph Transformation Systems in CHRFrank Raiser. 240-254 [doi]
- Multivalued Action Languages with Constraints in CLP(FD)Agostino Dovier, Andrea Formisano, Enrico Pontelli. 255-270 [doi]
- Declarative Diagnosis of Temporal Concurrent Constraint ProgramsMoreno Falaschi, Carlos Olarte, Catuscia Palamidessi, Frank Valencia. 271-285 [doi]
- Logic Programs with Abstract Constraint Atoms: The Role of ComputationsLengning Liu, Enrico Pontelli, Tran Cao Son, Miroslaw Truszczynski. 286-301 [doi]
- Resource-Oriented Deadlock AnalysisLee Naish. 302-316 [doi]
- Static Region Analysis for MercuryQuan Phan, Gerda Janssens. 317-332 [doi]
- Automatic Binding-Related Error Diagnosis in Logic ProgramsPawel Pietrzak, Manuel V. Hermenegildo. 333-347 [doi]
- User-Definable Resource Bounds Analysis for Logic ProgramsJorge Navas, Edison Mera, Pedro López-García, Manuel V. Hermenegildo. 348-363 [doi]
- Automatic Correctness Proofs for Logic Program TransformationsAlberto Pettorossi, Maurizio Proietti, Valerio Senni. 364-379 [doi]
- Core TuLiP Logic Programming for Trust ManagementMarcin Czenko, Sandro Etalle. 380-394 [doi]
- Demand-Driven Indexing of Prolog ClausesVítor Santos Costa, Konstantinos F. Sagonas, Ricardo Lopes. 395-409 [doi]
- Design, Implementation, and Evaluation of a Dynamic Compilation Framework for the YAP SystemAnderson Faustino da Silva, Vítor Santos Costa. 410-424 [doi]
- Declarative Debugging of Missing Answers in Constraint Functional-Logic ProgrammingRafael Caballero, Mario Rodríguez-Artalejo, Rafael del Vado Vírseda. 425-427 [doi]
- Tightly Integrated Probabilistic Description Logic Programs for the Semantic WebAndrea Calì, Thomas Lukasiewicz. 428-429 [doi]
- View Updating Through Active Integrity ConstraintsLuciano Caroprese, Irina Trubitsyna, Ester Zumpano. 430-431 [doi]
- Prosper: A Framework for Extending Prolog Applications with a Web InterfaceLevente Hunyadi. 432-433 [doi]
- Web Sites Verification: An Abductive Logic Programming ToolPaolo Mancarella, Giacomo Terreni, Francesca Toni. 434-435 [doi]
- Visual Logic Programming Method Based on Structural Analysis and Design TechniqueAlexei A. Morozov. 436-437 [doi]
- Approximating Horn Knowledge Bases in Regular Description Logics to Have PTIME Data ComplexityLinh Anh Nguyen. 438-439 [doi]
- A Linear Transformation from Prioritized Circumscription to Disjunctive Logic ProgrammingEmilia Oikarinen, Tomi Janhunen. 440-441 [doi]
- Representation and Execution of a Graph Grammar in PrologGirish Keshav Palshikar. 442-443 [doi]
- On Applying Program Transformation to Implement Suspension-Based Tabling in PrologRicardo Rocha, Cláudio Silva, Ricardo Lopes. 444-445 [doi]
- Aggregates in Constraint Handling RulesJon Sneyers, Peter Van Weert, Tom Schrijvers, Bart Demoen. 446-448 [doi]
- Computing Fuzzy Answer Sets Using dlvhexDavy Van Nieuwenborgh, Martine De Cock, Dirk Vermeir. 449-450 [doi]
- The Use of a Logic Programming Language in the Animation of Z SpecificationsMargaret M. West. 451-452 [doi]
- A Stronger Notion of Equivalence for Logic ProgramsKa-shu Wong. 453-454 [doi]
- A Register-Free Abstract Prolog Machine with Jumbo InstructionsNeng-Fa Zhou. 455-457 [doi]
- Advanced Techniques for Answer Set ProgrammingMartin Gebser. 458-459 [doi]
- A Games Semantics of ASPJonty Needham, Marina De Vos. 460-461 [doi]
- Modular Answer Set ProgrammingEmilia Oikarinen. 462-463 [doi]
- Universal Timed Concurrent Constraint ProgrammingCarlos Olarte, Catuscia Palamidessi, Frank Valencia. 464-465 [doi]
- Extension and Implementation of CHRPeter Van Weert. 466-468 [doi]