國立虎尾科技大學 |

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

紀錄類型:	書目-語言資料,印刷品 : Monograph/item
正題名/作者:	Declarative programming and knowledge management/ edited by Dietmar Seipel, Michael Hanus, Salvador Abreu.
其他題名:	Conference on Declarative Programming, DECLARE 2017, Unifying INAP, WFLP, and WLP, Wurzburg, Germany, September 19-22, 2017 : revised selected papers /
其他題名:	DECLARE 2017
其他作者:	Seipel, Dietmar.
團體作者:	Workshop on the Preservation of Stability under Discretization
出版者:	Cham :Springer International Publishing : : 2018.,
面頁冊數:	x, 215 p. :ill., digital ; : 24 cm.;
Contained By:	Springer eBooks
標題:	Declarative programming - Congresses. -
電子資源:	https://doi.org/10.1007/978-3-030-00801-7
ISBN:	9783030008017

Declarative programming and knowledge management = Conference 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 ;6140..

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

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

785736
Declarative programming
--Congresses.

LC Class. No.: QA76.615

Dewey Class. No.: 005.115

Declarative programming and knowledge management = Conference on Declarative Programming, DECLARE 2017, Unifying INAP, WFLP, and WLP, Wurzburg, Germany, September 19-22, 2017 : revised selected papers /
LDR:02819nam a2200409 a 4500 001 929016
003 DE-He213
005 20180927021923.0
006 m d
007 cr nn 008maaau
008 190626s2018 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 $a Workshop on the Preservation of Stability under Discretization $d (2001 : $c Fort Collins, Colo.) $3 527686
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 : $c 2018. $b Springer International Publishing : $b Imprint: Springer,
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 785736
650 1 4 $a Artificial Intelligence (incl. Robotics) $3 593924
650 2 4 $a Programming Techniques. $3 669781
650 2 4 $a Software Engineering. $3 669632
650 2 4 $a Numeric Computing. $3 669943
650 2 4 $a Logics and Meanings of Programs. $3 670058
700 1 $a Seipel, Dietmar. $3 674914
700 1 $a Hanus, Michael. $3 897150
700 1 $a Abreu, Salvador. $3 785735
710 2 $a SpringerLink (Online service) $3 593884
711 2 $a Workshop on the Preservation of Stability under Discretization $d (2001 : $c Fort Collins, Colo.) $3 527686
773 0 $t Springer eBooks
830 0 $a Lecture notes in computer science ; $v 6140. $3 744199
830 0 $a Lecture notes in artificial intelligence. $3 1208301
856 4 0 $u https://doi.org/10.1007/978-3-030-00801-7
950 $a Computer Science (Springer-11645)