國立高雄大學圖資館 |

Language: English

Back

Declarative programming and knowledg...

(1998 :)

Declarative programming and knowledge managementConference on Declarative Programming, DECLARE 2017, Unifying INAP, WFLP, and WLP, Wurzburg, Germany, September 19-22, 2017 : revised selected papers /

Record Type:	Electronic resources : Monograph/item
Title/Author:	Declarative programming and knowledge managementedited by Dietmar Seipel, Michael Hanus, Salvador Abreu.
Reminder of title:	Conference on Declarative Programming, DECLARE 2017, Unifying INAP, WFLP, and WLP, Wurzburg, Germany, September 19-22, 2017 : revised selected papers /
remainder title:	DECLARE 2017
other author:	Seipel, Dietmar.
corporate name:
Published:	Cham :Springer International Publishing :2018.
Description:	x, 215 p. :ill., digital ;24 cm.
Contained By:	Springer eBooks
Subject:	Declarative programmingCongresses.
Online resource:	https://doi.org/10.1007/978-3-030-00801-7
ISBN:	9783030008017$q(electronic bk.)

Declarative programming and knowledge managementConference on Declarative Programming, DECLARE 2017, Unifying INAP, WFLP, and WLP, Wurzburg, Germany, September 19-22, 2017 : revised selected papers /
Declarative programming and knowledge managementConference on Declarative Programming, DECLARE 2017, Unifying INAP, WFLP, and WLP, Wurzburg, Germany, September 19-22, 2017 : revised selected papers /[electronic resource] :DECLARE 2017edited by Dietmar Seipel, Michael Hanus, Salvador Abreu. - Cham :Springer International Publishing :2018. - x, 215 p. :ill., digital ;24 cm. - Lecture notes in computer science,109970302-9743 ;. - Lecture notes in computer science ;4891..

Constraints -- Constraint Solving on Hybrid Systems -- Run-time Analysis of Temporal Constrained Objects -- Implementation of Logical Retraction in Constraint Handling Rules with Justifications -- The Proportional Constraint and Its Pruning -- An Operational Semantics for Constraint-logic Imperative Programming -- Hypertree Decomposition: The First Step Towards Parallel Constraint Solving -- Declarative Systems -- Declarative Aspects in Explicative Data Mining for Computational Sensemaking -- An Approach for Representing Answer Sets in Natural Language -- Techniques for Efficient Lazy-Grounding ASP Solving -- Reasoning Principles and Heurstic Strategies in Modeling Human Clusters -- Functional and Logic Programming -- Concolic Testing of Functional Logic Programs -- Declarative XML Schema Validation with SWI-Prolog -- plspec - A Specification Language for Prolog Data.

This book constitutes revised selected papers from the 21st International Conference on Applications of Declarative Programming and Knowledge Management, INAP 2017, the 31st Workshop on Logic Programming, WLP 2017, and the 25th Workshop on Functional and (Constraint) Logic Programming, WFLP 2017. The 12 full papers presented in this volume were carefully reviewed and selected from 26 submissions. The contributions were organized in topical sections named: constraints; declarative systems; and functional and logic programming.

ISBN: 9783030008017$q(electronic bk.)

Standard No.: 10.1007/978-3-030-00801-7doiSubjects--Topical Terms:

442912
Declarative programming
--Congresses.

LC Class. No.: QA76.615

Dewey Class. No.: 005.115

Declarative programming and knowledge managementConference on Declarative Programming, DECLARE 2017, Unifying INAP, WFLP, and WLP, Wurzburg, Germany, September 19-22, 2017 : revised selected papers /
LDR:02819nmm a2200409 a 4500 001 544565
003 DE-He213
005 20180927021923.0
006 m d
007 cr nn 008maaau
008 190508s2018 sz s 0 eng d
020 $a 9783030008017$q(electronic bk.)
020 $a 9783030008000$q(paper)
024 7 $a 10.1007/978-3-030-00801-7 $2 doi
035 $a 978-3-030-00801-7
040 $a GP $c GP
041 0 $a eng
050 4 $a QA76.615
072 7 $a UYQ $2 bicssc
072 7 $a COM004000 $2 bisacsh
072 7 $a UYQ $2 thema
072 7 $a TJFM1 $2 thema
082 0 4 $a 005.115 $2 23
090 $a QA76.615 $b .D295 2017
111 2 $n (3rd : $d 1998 : $c Amsterdam, Netherlands) $3 194767
245 1 0 $a Declarative programming and knowledge management $h [electronic resource] : $b Conference on Declarative Programming, DECLARE 2017, Unifying INAP, WFLP, and WLP, Wurzburg, Germany, September 19-22, 2017 : revised selected papers / $c edited by Dietmar Seipel, Michael Hanus, Salvador Abreu.
246 3 $a DECLARE 2017
246 3 $a Unifying INAP 2017
246 3 $a WFLP 2017
246 3 $a WLP 2017
260 $a Cham : $b Springer International Publishing : $b Imprint: Springer, $c 2018.
300 $a x, 215 p. : $b ill., digital ; $c 24 cm.
490 1 $a Lecture notes in computer science, $x 0302-9743 ; $v 10997
490 1 $a Lecture notes in artificial intelligence
505 0 $a Constraints -- Constraint Solving on Hybrid Systems -- Run-time Analysis of Temporal Constrained Objects -- Implementation of Logical Retraction in Constraint Handling Rules with Justifications -- The Proportional Constraint and Its Pruning -- An Operational Semantics for Constraint-logic Imperative Programming -- Hypertree Decomposition: The First Step Towards Parallel Constraint Solving -- Declarative Systems -- Declarative Aspects in Explicative Data Mining for Computational Sensemaking -- An Approach for Representing Answer Sets in Natural Language -- Techniques for Efficient Lazy-Grounding ASP Solving -- Reasoning Principles and Heurstic Strategies in Modeling Human Clusters -- Functional and Logic Programming -- Concolic Testing of Functional Logic Programs -- Declarative XML Schema Validation with SWI-Prolog -- plspec - A Specification Language for Prolog Data.
520 $a This book constitutes revised selected papers from the 21st International Conference on Applications of Declarative Programming and Knowledge Management, INAP 2017, the 31st Workshop on Logic Programming, WLP 2017, and the 25th Workshop on Functional and (Constraint) Logic Programming, WFLP 2017. The 12 full papers presented in this volume were carefully reviewed and selected from 26 submissions. The contributions were organized in topical sections named: constraints; declarative systems; and functional and logic programming.
650 0 $a Declarative programming $v Congresses. $3 442912
650 1 4 $a Artificial Intelligence (incl. Robotics) $3 252959
650 2 4 $a Programming Techniques. $3 274470
650 2 4 $a Software Engineering. $3 274511
650 2 4 $a Numeric Computing. $3 275524
650 2 4 $a Logics and Meanings of Programs. $3 275357
700 1 $a Seipel, Dietmar. $3 284597
700 1 $a Hanus, Michael. $3 339444
700 1 $a Abreu, Salvador. $3 511983
710 2 $a SpringerLink (Online service) $3 273601
711 2 $n (3rd : $d 1998 : $c Amsterdam, Netherlands) $3 194767
773 0 $t Springer eBooks
830 0 $a Lecture notes in computer science ; $v 4891. $3 383229
830 0 $a Lecture notes in artificial intelligence. $3 822012
856 4 0 $u https://doi.org/10.1007/978-3-030-00801-7
950 $a Computer Science (Springer-11645)