Applications of declarative programming and knowledge management : 18th International Conference, INAP 2009, Évora, Portugal, November 3-5, 2009, Revised selected papers /
Applications of declarative programming and knowledge management : 18th International Conference, INAP 2009, Évora, Portugal, November 3-5, 2009, Revised selected papers /
INAP 2009
Salvador Abreu, Dietmar Seipel (Eds.).
- Berlin ; Heidelberg ; New York : Springer, ©2011.
- 1 online resource (x, 238 pages)
- Lecture notes in computer science, Lecture notes in artificial intelligence 6547. 0302-9743 ; LNCS sublibrary. SL 7, Artificial intelligence .
- Lecture notes in computer science ; 6547. Lecture notes in computer science. Lecture notes in artificial intelligence. LNCS sublibrary. SL 7, Artificial intelligence. .
Includes bibliographical references and index.
Machine generated contents note: Invited Talks -- Design Patterns for Tabled Logic Programming / Alternative High-Level Approach to Interaction with Databases / Foundations and Extensions of Logic Programming -- ISTO: A Language for Temporal Organizational Information Systems / Programming Patterns for Logtalk Parametric Objects / Stable Model Implementation of Layer Supported Models by Program Transformation / Towards Computing Revised Models for FO Theories / Adaptive Reasoning for Cooperative Agents / Databases and Query Languages -- Extending XQuery for Semantic Web Reasoning / Reference Model and Perspective Schemata Inference for Enterprise Data Integration / JSquash: Source Code Analysis of Embedded Database Applications for Determining SQL Statements / Applications -- Elder Care via Intention Recognition and Evolution Prospection / Knowledge Management Strategy and Tactics for Forging Die Design Support / Searching in Protein State Space / Network Monitoring with Constraint Programming: Preliminary Specification and Analysis / Terrance Swift -- Antonio Porto -- Salvador Abreu -- Paulo Moura -- Alexandre Miguel Pinto -- Marc Denecker -- Alexandre Miguel Pinto -- Jesus Manuel Almendros-Jimenez -- Joao Carlos Moura Pires -- Markus Frohlich -- The Anh Han -- Yuji Mure -- Jorg Schultz -- Salvador Abreu.
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.
9783642205897 3642205895
10.1007/978-3-642-20589-7 doi
Declarative programming--Congresses.
Knowledge management--Congresses.
Programmation déclarative--Congrès.
Gestion des connaissances--Congrès.
Declarative programming
Knowledge management
Congress
proceedings (reports)
Conference papers and proceedings
Conference papers and proceedings.
Actes de congrès.
QA76.615 / .I58 2011
005.13/1
Includes bibliographical references and index.
Machine generated contents note: Invited Talks -- Design Patterns for Tabled Logic Programming / Alternative High-Level Approach to Interaction with Databases / Foundations and Extensions of Logic Programming -- ISTO: A Language for Temporal Organizational Information Systems / Programming Patterns for Logtalk Parametric Objects / Stable Model Implementation of Layer Supported Models by Program Transformation / Towards Computing Revised Models for FO Theories / Adaptive Reasoning for Cooperative Agents / Databases and Query Languages -- Extending XQuery for Semantic Web Reasoning / Reference Model and Perspective Schemata Inference for Enterprise Data Integration / JSquash: Source Code Analysis of Embedded Database Applications for Determining SQL Statements / Applications -- Elder Care via Intention Recognition and Evolution Prospection / Knowledge Management Strategy and Tactics for Forging Die Design Support / Searching in Protein State Space / Network Monitoring with Constraint Programming: Preliminary Specification and Analysis / Terrance Swift -- Antonio Porto -- Salvador Abreu -- Paulo Moura -- Alexandre Miguel Pinto -- Marc Denecker -- Alexandre Miguel Pinto -- Jesus Manuel Almendros-Jimenez -- Joao Carlos Moura Pires -- Markus Frohlich -- The Anh Han -- Yuji Mure -- Jorg Schultz -- Salvador Abreu.
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.
9783642205897 3642205895
10.1007/978-3-642-20589-7 doi
Declarative programming--Congresses.
Knowledge management--Congresses.
Programmation déclarative--Congrès.
Gestion des connaissances--Congrès.
Declarative programming
Knowledge management
Congress
proceedings (reports)
Conference papers and proceedings
Conference papers and proceedings.
Actes de congrès.
QA76.615 / .I58 2011
005.13/1