Logic Programming: 23rd International Conference, ICLP 2007, Porto, Portugal, September 8-13, 2007. Proceedings

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 -