Description |
1 online resource (xii, 470 pages) : illustrations |
Series |
Lecture notes in computer science, 0302-9743 ; 4670 |
|
LNCS sublibrary. SL 2, Programming and software engineering |
|
Lecture notes in computer science ; 4670. 0302-9743
|
|
LNCS sublibrary. SL 2, Programming and software engineering.
|
Contents |
Invited Talks -- Towards Overcoming the Knowledge Acquisition Bottleneck in Answer Set Prolog Applications: Embracing Natural Language Inputs -- Preferences, Contexts and Answer Sets -- Invited Tutorials -- Answer Set Programming for the Semantic Web -- Coinductive Logic Programming and Its Applications -- Multi-paradigm Declarative Languages -- Logic Programming for Knowledge Representation -- Regular Talks -- On Finitely Recursive Programs -- Minimal Logic Programs -- Generic Tableaux for Answer Set Programming -- Extended ASP Tableaux and Rule Redundancy in Normal Logic Programs -- Querying and Repairing Inconsistent Databases Under Three-Valued Semantics -- Logic Programming Approach to Automata-Based Decision Procedures -- A Logic Programming Framework for Combinational Circuit Synthesis -- Spatial-Yap: A Logic-Based Geographic Information System -- The Correspondence Between the Logical Algorithms Language and CHR -- Observable Confluence for Constraint Handling Rules -- Graph Transformation Systems in CHR -- Multivalued Action Languages with Constraints in CLP(FD) -- Declarative Diagnosis of Temporal Concurrent Constraint Programs -- Logic Programs with Abstract Constraint Atoms: The Role of Computations -- Resource-Oriented Deadlock Analysis -- Static Region Analysis for Mercury -- Automatic Binding-Related Error Diagnosis in Logic Programs -- User-Definable Resource Bounds Analysis for Logic Programs -- Automatic Correctness Proofs for Logic Program Transformations -- Core TuLiP Logic Programming for Trust Management -- Demand-Driven Indexing of Prolog Clauses -- Design, Implementation, and Evaluation of a Dynamic Compilation Framework for the YAP System -- Declarative Debugging of Missing Answers in Constraint Functional-Logic Programming -- Tightly Integrated Probabilistic Description Logic Programs for the Semantic Web -- View Updating Through Active Integrity Constraints -- Prosper: A Framework for Extending Prolog Applications with a Web Interface -- Web Sites Verification: An Abductive Logic Programming Tool -- Visual Logic Programming Method Based on Structural Analysis and Design Technique -- Approximating Horn Knowledge Bases in Regular Description Logics to Have PTIME Data Complexity -- A Linear Transformation from Prioritized Circumscription to Disjunctive Logic Programming -- Representation and Execution of a Graph Grammar in Prolog -- On Applying Program Transformation to Implement Suspension-Based Tabling in Prolog -- Aggregates in Constraint Handling Rules -- Computing Fuzzy Answer Sets Using dlvhex -- The Use of a Logic Programming Language in the Animation of Z Specifications -- A Stronger Notion of Equivalence for Logic Programs -- A Register-Free Abstract Prolog Machine with Jumbo Instructions -- Advanced Techniques for Answer Set Programming -- A Games Semantics of ASP -- Modular Answer Set Programming -- Universal Timed Concurrent Constraint Programming -- Extension and Implementation of CHR |
Summary |
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 |
Analysis |
wiskunde |
|
mathematics |
|
programmeren |
|
programming |
|
computerwetenschappen |
|
computer sciences |
|
kunstmatige intelligentie |
|
artificial intelligence |
|
logica |
|
logic |
|
programmeertalen |
|
programming languages |
|
Information and Communication Technology (General) |
|
Informatie- en communicatietechnologie (algemeen) |
Bibliography |
Includes bibliographical references and index |
Notes |
English |
|
Print version record |
Subject |
Logic programming -- Congresses
|
|
Logic programming.
|
|
Informatique.
|
|
Logic programming
|
Genre/Form |
proceedings (reports)
|
|
Conference papers and proceedings
|
|
Conference papers and proceedings.
|
|
Actes de congrès.
|
Form |
Electronic book
|
Author |
Dahl, Veronica, 1950-
|
|
Niemelä, Ilkka, 1961-
|
ISBN |
9783540746102 |
|
3540746102 |
|
3540746080 |
|
9783540746089 |
|