Amazon cover image
Image from Amazon.com

Applications of declarative programming and knowledge management : 18th International Conference, INAP 2009, Évora, Portugal, November 3-5, 2009, Revised selected papers / Salvador Abreu, Dietmar Seipel (Eds.).

By: Contributor(s): Material type: TextTextSeries: Lecture notes in computer science ; 6547. | Lecture notes in computer science. Lecture notes in artificial intelligence. | LNCS sublibrary. SL 7, Artificial intelligence.Publication details: Berlin ; Heidelberg ; New York : Springer, ©2011.Description: 1 online resource (x, 238 pages)Content type:
  • text
Media type:
  • computer
Carrier type:
  • online resource
ISBN:
  • 9783642205897
  • 3642205895
Other title:
  • INAP 2009
Subject(s): Genre/Form: Additional physical formats: Print version:: Applications of declarative programming and knowledge management.DDC classification:
  • 005.13/1 22
LOC classification:
  • QA76.615 .I58 2011
Online resources:
Contents:
Invited Talks -- Design Patterns for Tabled Logic Programming / Terrance Swift -- Alternative High-Level Approach to Interaction with Databases / Antonio Porto -- Foundations and Extensions of Logic Programming -- ISTO: A Language for Temporal Organizational Information Systems / Salvador Abreu -- Programming Patterns for Logtalk Parametric Objects / Paulo Moura -- Stable Model Implementation of Layer Supported Models by Program Transformation / Alexandre Miguel Pinto -- Towards Computing Revised Models for FO Theories / Marc Denecker -- Adaptive Reasoning for Cooperative Agents / Alexandre Miguel Pinto -- Databases and Query Languages -- Extending XQuery for Semantic Web Reasoning / Jesus Manuel Almendros-Jimenez -- Reference Model and Perspective Schemata Inference for Enterprise Data Integration / Joao Carlos Moura Pires -- JSquash: Source Code Analysis of Embedded Database Applications for Determining SQL Statements / Markus Frohlich -- Applications -- Elder Care via Intention Recognition and Evolution Prospection / The Anh Han -- Knowledge Management Strategy and Tactics for Forging Die Design Support / Yuji Mure -- Searching in Protein State Space / Jorg Schultz -- Network Monitoring with Constraint Programming: Preliminary Specification and Analysis / Salvador Abreu.
Summary: This book constitutes the thoroughly refereed post-conference proceedings of the 18th International Conference on Applications of Declarative Programming and Knowledge Management, INAP 2009, held in Évora, Portugal, in November 2009. The 12 revised full papers presented together with 2 invited talks were carefully reviewed and selected during two rounds of reviewing and improvement. The conference comprehensively covers the impact of programmable logic solvers in the internet society, its underlying technologies, and leading edge applications in industry, commerce, government, and societal services. The topics of the selected papers concentrate on three currently important fields: foundations and extensions of logic programming, databases and query languages, declarative programming with logic languages, and applications thereof.
Holdings
Item type Current library Collection Call number Status Date due Barcode Item holds
eBook eBook e-Library eBook LNCS Available
Total holds: 0

Includes bibliographical references and index.

Print version record.

This book constitutes the thoroughly refereed post-conference proceedings of the 18th International Conference on Applications of Declarative Programming and Knowledge Management, INAP 2009, held in Évora, Portugal, in November 2009. The 12 revised full papers presented together with 2 invited talks were carefully reviewed and selected during two rounds of reviewing and improvement. The conference comprehensively covers the impact of programmable logic solvers in the internet society, its underlying technologies, and leading edge applications in industry, commerce, government, and societal services. The topics of the selected papers concentrate on three currently important fields: foundations and extensions of logic programming, databases and query languages, declarative programming with logic languages, and applications thereof.

Machine generated contents note: Invited Talks -- Design Patterns for Tabled Logic Programming / Terrance Swift -- Alternative High-Level Approach to Interaction with Databases / Antonio Porto -- Foundations and Extensions of Logic Programming -- ISTO: A Language for Temporal Organizational Information Systems / Salvador Abreu -- Programming Patterns for Logtalk Parametric Objects / Paulo Moura -- Stable Model Implementation of Layer Supported Models by Program Transformation / Alexandre Miguel Pinto -- Towards Computing Revised Models for FO Theories / Marc Denecker -- Adaptive Reasoning for Cooperative Agents / Alexandre Miguel Pinto -- Databases and Query Languages -- Extending XQuery for Semantic Web Reasoning / Jesus Manuel Almendros-Jimenez -- Reference Model and Perspective Schemata Inference for Enterprise Data Integration / Joao Carlos Moura Pires -- JSquash: Source Code Analysis of Embedded Database Applications for Determining SQL Statements / Markus Frohlich -- Applications -- Elder Care via Intention Recognition and Evolution Prospection / The Anh Han -- Knowledge Management Strategy and Tactics for Forging Die Design Support / Yuji Mure -- Searching in Protein State Space / Jorg Schultz -- Network Monitoring with Constraint Programming: Preliminary Specification and Analysis / Salvador Abreu.

Powered by Koha