This book constitutes the refereed proceedings of the 23rd International Conference on Logic Programming, ICLP 2007, held in Porto, Portugal, September 2007.
The 22 revised full papers together with two invited talks as well as 15 poster presentations and the abstracts of five doctoral consortium articles were carefully reviewed and selected from 74 initial submissions. The papers cover all issues of current research in logic programming and are organized in topical sections on theory, functional and constraint logic programming, program analysis, answer-set programming, semantics, and applications.
Author(s): Chitta Baral, Juraj Dzifcak, Luis Tari (auth.), Véronica Dahl, Ilkka Niemelä (eds.)
Series: Lecture Notes in Computer Science 4670 : Programming and Software Engineering
Edition: 1
Publisher: Springer-Verlag Berlin Heidelberg
Year: 2007
Language: English
Pages: 472
City: San Diego
Tags: Programming Techniques; Artificial Intelligence (incl. Robotics); Programming Languages, Compilers, Interpreters; Logics and Meanings of Programs; Mathematical Logic and Formal Languages
Front Matter....Pages -
Towards Overcoming the Knowledge Acquisition Bottleneck in Answer Set Prolog Applications: Embracing Natural Language Inputs....Pages 1-21
Preferences, Contexts and Answer Sets....Pages 22-22
Answer Set Programming for the Semantic Web....Pages 23-26
Coinductive Logic Programming and Its Applications....Pages 27-44
Multi-paradigm Declarative Languages....Pages 45-75
Logic Programming for Knowledge Representation....Pages 76-88
On Finitely Recursive Programs....Pages 89-103
Minimal Logic Programs....Pages 104-118
Generic Tableaux for Answer Set Programming....Pages 119-133
Extended ASP Tableaux and Rule Redundancy in Normal Logic Programs....Pages 134-148
Querying and Repairing Inconsistent Databases Under Three-Valued Semantics....Pages 149-164
Logic Programming Approach to Automata-Based Decision Procedures....Pages 165-179
A Logic Programming Framework for Combinational Circuit Synthesis....Pages 180-194
Spatial-Yap: A Logic-Based Geographic Information System....Pages 195-208
The Correspondence Between the Logical Algorithms Language and CHR....Pages 209-223
Observable Confluence for Constraint Handling Rules....Pages 224-239
Graph Transformation Systems in CHR....Pages 240-254
Multivalued Action Languages with Constraints in CLP(FD)....Pages 255-270
Declarative Diagnosis of Temporal Concurrent Constraint Programs....Pages 271-285
Logic Programs with Abstract Constraint Atoms: The Role of Computations....Pages 286-301
Resource-Oriented Deadlock Analysis....Pages 302-316
Static Region Analysis for Mercury....Pages 317-332
Automatic Binding-Related Error Diagnosis in Logic Programs....Pages 333-347
User-Definable Resource Bounds Analysis for Logic Programs....Pages 348-363
Automatic Correctness Proofs for Logic Program Transformations....Pages 364-379
Core TuLiP Logic Programming for Trust Management....Pages 380-394
Demand-Driven Indexing of Prolog Clauses....Pages 395-409
Design, Implementation, and Evaluation of a Dynamic Compilation Framework for the YAP System....Pages 410-424
Declarative Debugging of Missing Answers in Constraint Functional-Logic Programming....Pages 425-427
Tightly Integrated Probabilistic Description Logic Programs for the Semantic Web....Pages 428-429
View Updating Through Active Integrity Constraints....Pages 430-431
Prosper: A Framework for Extending Prolog Applications with a Web Interface....Pages 432-433
Web Sites Verification: An Abductive Logic Programming Tool....Pages 434-435
Visual Logic Programming Method Based on Structural Analysis and Design Technique....Pages 436-437
Approximating Horn Knowledge Bases in Regular Description Logics to Have PTIME Data Complexity....Pages 438-439
A Linear Transformation from Prioritized Circumscription to Disjunctive Logic Programming....Pages 440-441
Representation and Execution of a Graph Grammar in Prolog....Pages 442-443
On Applying Program Transformation to Implement Suspension-Based Tabling in Prolog....Pages 444-445
Aggregates in Constraint Handling Rules....Pages 446-448
Computing Fuzzy Answer Sets Using dlvhex ....Pages 449-450
The Use of a Logic Programming Language in the Animation of Z Specifications....Pages 451-452
A Stronger Notion of Equivalence for Logic Programs....Pages 453-454
A Register-Free Abstract Prolog Machine with Jumbo Instructions....Pages 455-457
Advanced Techniques for Answer Set Programming....Pages 458-459
A Games Semantics of ASP....Pages 460-461
Modular Answer Set Programming....Pages 462-463
Universal Timed Concurrent Constraint Programming....Pages 464-465
Extension and Implementation of CHR....Pages 466-468
Back Matter....Pages -
