Logic Programming: 23rd International Conference, ICLP 2007, Porto, Portugal, September 8-13, 2007, Proceedings (Lecture Notes in Computer Science (4670))

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. 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 - This volume contains the proceedings of the 23rd International Conference on Logic Programming, ICLP 2007, held in the World Heritage City of Porto, P- tugal, September 8-13, 2007. The conference was colocated with seven pre and post-conference workshops: - The 8th Workshop on Computational Logic in Multi-Agent Systems (CLIMA-VIII) - The 2nd International Workshop on Applications of Logic Programming to the Web, Semantic Web and Semantic Web Services (ALPSWS 2007) - Answer Set Programming: Advances in Theory and Implementation (ASP 2007) - The 4th Workshop on Constraint Handling Rules (CHR 2007) - The 7th International Colloquium on Implementation of Constraint and Logic Programming Systems (CICLOPS 2007) - Workshop on Constraint Based Methods for Bioinformatics (WCB 2007) - The17thWorkshoponLogic-BasedMethodsinProgrammingEnvironments (WLPE 2007) Since the?rst conference held in Marseilles in 1982, ICLP has been the p- miere international conference for disseminating research results in logic p- gramming. The present edition of the conference received 74 submissions from 23 countries: Argentina (1), Australia (4), Belgium (6), Brazil (1), Canada (2), Finland (2), France (4), Germany (3), Greece (1), Hungary (2), India (1), Israel(1), Italy (13), The Netherlands (1), Poland(1), Portugal(10), Russia (2), Singapore (2), South Korea (1), Spain (6), the United Arab Emirates (1), the USA (7), and the UK (2). The ProgramCommittee selected 22 technical papers for presentation and inclusion in the proceedings. In addition, the program also included 15 poster presentations. Asinthepast, the ICLPProgramCommitteeselectedthebestpaperandthe best student paper This book constitutes the refereed proceedings of the 23rd International Conference on Logic Programming, ICLP 2007, held in Porto, Portugal, September 8-13, 2007. The 22 revised full papers together with 2 invited talks as well as 15 poster presentations and the abstracts of 5 doctoral consortium articles were carefully reviewed and selected from 74 initial submissions. The papers cover all issues of current research in logic programming - they are organized in topical sections on theory, functional and constraint logic programming, program analysis, answer-set programming, semantics, and applications This book contains the refereed proceedings of the 23rd International Conference on Logic Programming, ICLP 2007, held in Porto, Portugal. The 22 revised full papers together with two invited talks, 15 poster presentations, and the abstracts of five doctoral consortium articles cover all issues of current research in logic programming, including theory, functional and constraint logic programming, program analysis, answer-set programming, semantics, and applications.