LEADER 04252nam  22006975  450 
001 9910349404503321
005 20200630085812.0
010   $a3-030-00801-0
024 7 $a10.1007/978-3-030-00801-7
035   $a(CKB)4100000006674715
035   $a(DE-He213)978-3-030-00801-7
035   $a(MiAaPQ)EBC6296214
035   $a(PPN)230538843
035   $a(EXLCZ)994100000006674715
100   $a20180926d2018      u|         0
101 0 $aeng
135   $aurnn|008mamaa
181   $ctxt$2rdacontent
182   $cc$2rdamedia
183   $acr$2rdacarrier
200 10$aDeclarative Programming and Knowledge Management $eConference on Declarative Programming, DECLARE 2017, Unifying INAP, WFLP, and WLP, Würzburg, Germany, September 19?22, 2017, Revised Selected Papers /$fedited by Dietmar Seipel, Michael Hanus, Salvador Abreu
205   $a1st ed. 2018.
210  1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2018.
215   $a1 online resource (X, 215 p. 32 illus.) 
225 1 $aLecture Notes in Artificial Intelligence ;$v10997
311   $a3-030-00800-2 
327   $aConstraints -- 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.
330   $aThis 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. .
410  0$aLecture Notes in Artificial Intelligence ;$v10997
606   $aArtificial intelligence
606   $aComputer programming
606   $aSoftware engineering
606   $aNumerical analysis
606   $aComputer logic
606   $aArtificial Intelligence$3https://scigraph.springernature.com/ontologies/product-market-codes/I21000
606   $aProgramming Techniques$3https://scigraph.springernature.com/ontologies/product-market-codes/I14010
606   $aSoftware Engineering$3https://scigraph.springernature.com/ontologies/product-market-codes/I14029
606   $aNumeric Computing$3https://scigraph.springernature.com/ontologies/product-market-codes/I1701X
606   $aLogics and Meanings of Programs$3https://scigraph.springernature.com/ontologies/product-market-codes/I1603X
615  0$aArtificial intelligence.
615  0$aComputer programming.
615  0$aSoftware engineering.
615  0$aNumerical analysis.
615  0$aComputer logic.
615 14$aArtificial Intelligence.
615 24$aProgramming Techniques.
615 24$aSoftware Engineering.
615 24$aNumeric Computing.
615 24$aLogics and Meanings of Programs.
676   $a005.131
676   $a005.115
702   $aSeipel$b Dietmar$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aHanus$b Michael$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aAbreu$b Salvador$4edt$4http://id.loc.gov/vocabulary/relators/edt
801  0$bMiAaPQ
801  1$bMiAaPQ
801  2$bMiAaPQ
906   $aBOOK
912   $a9910349404503321
996   $aDeclarative Programming and Knowledge Management$92223527
997   $aUNINA