Language:
English
繁體中文
Help
Login
Back
Switch To:
Labeled
|
MARC Mode
|
ISBD
Declarative programming and knowledg...
~
Hanus, Michael.
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 /
Record Type:
Language materials, printed : Monograph/item
Title/Author:
Declarative programming and knowledge management/ edited 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:
Workshop on the Preservation of Stability under Discretization
Published:
Cham :Springer International Publishing : : 2018.,
Description:
x, 215 p. :ill., digital ; : 24 cm.;
Contained By:
Springer eBooks
Subject:
Declarative programming - Congresses. -
Online resource:
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 management
Conference 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)
based on 0 review(s)
Multimedia
Reviews
Add a review
and share your thoughts with other readers
Export
pickup library
Processing
...
Change password
Login