語系:
繁體中文
English
說明(常見問題)
登入
回首頁
切換:
標籤
|
MARC模式
|
ISBD
Logic programming and nonmonotonic r...
~
Workshop on the Preservation of Stability under Discretization ((2001 :)
Logic programming and nonmonotonic reasoning = 14th International Conference, LPNMR 2017, Espoo, Finland, July 3-6, 2017 : proceedings /
紀錄類型:
書目-語言資料,印刷品 : Monograph/item
正題名/作者:
Logic programming and nonmonotonic reasoning/ edited by Marcello Balduccini, Tomi Janhunen.
其他題名:
14th International Conference, LPNMR 2017, Espoo, Finland, July 3-6, 2017 : proceedings /
其他題名:
LPNMR 2017
其他作者:
Balduccini, Marcello.
團體作者:
Workshop on the Preservation of Stability under Discretization
出版者:
Cham :Springer International Publishing : : 2017.,
面頁冊數:
xiii, 359 p. :ill., digital ; : 24 cm.;
Contained By:
Springer eBooks
標題:
Logic programming -
電子資源:
http://dx.doi.org/10.1007/978-3-319-61660-5
ISBN:
9783319616605
Logic programming and nonmonotonic reasoning = 14th International Conference, LPNMR 2017, Espoo, Finland, July 3-6, 2017 : proceedings /
Logic programming and nonmonotonic reasoning
14th International Conference, LPNMR 2017, Espoo, Finland, July 3-6, 2017 : proceedings /[electronic resource] :LPNMR 2017edited by Marcello Balduccini, Tomi Janhunen. - Cham :Springer International Publishing :2017. - xiii, 359 p. :ill., digital ;24 cm. - Lecture notes in computer science,103770302-9743 ;. - Lecture notes in computer science ;6140..
Invited Talks -- The Design of the Seventh Answer Set Programming Competition -- A Bird's-Eye View of Forgetting in Answer-Set Programming -- Answer Set Programming and its Applications in Planning and Multi-Agent Systems -- From logic programming and non-monotonic reasoning to computational argumentation and beyond. - Nonmonotonic Reasoning Modular Construction of Minimal Models -- A Hasse Diagram for Weighted Sceptical Semantics with a Unique-status Grounded Semantics -- Foundations For A Probabilistic Event Calculus -- Contextual Reasoning: Usually Birds can Abductively Fly -- Including Quantification in Defeasible Reasoning for the Description Logic EL bot -- A Monotonic View on Reflexive Autoepistemic Reasoning -- The Minimal Inference Problem over Finite Domains: The Landscape of Complexity -- Answer Set Programming -- Gelfond-Zhang aggregates as propositional formulas -- Answer Set Solving with Bounded Treewidth Revisited -- Vicious Circle Principle and Formation of Sets in ASP Based Languages -- Answer Set Programs with Queries over Subprograms -- Explaining Inconsistency in Answer Set Programs and Extensions -- Blending Lazy-Grounding and CDNL Search for Answer-Set Solving -- Answer Set Programming with Graded Modality -- LPNMR Systems -- The ASP System DLV2 -- lp2normal - A Normalization Tool for Extended Logic Programs -- Harvey: A System for Random Testing in ASP -- NoHR: Integrating XSB Prolog with the OWL 2 Profiles and Beyond -- ArgueApply: A Mobile App for Argumentation -- LPNMR Applications -- catnap: Generating Test Suites of Constrained Combinatorial Testing with Answer Set Programming -- Automatic Synthesis of Optimal-Size Concentrators by Answer Set Programming -- plasp 3: Towards effective ASP Planning -- Nurse Scheduling via Answer Set Programming -- Hybrid Metabolic Network Completion -- Action Language Hybrid AL -- moviola: Interpreting Dynamic Logic Programs via Multi-shot Answer Set Programming -- Adjudication of Coreference Annotations via Answer Set Optimization.
This book constitutes the refereed proceedings of the 14th International Conference on Logic Programming and Nonmonotonic Reasoning, LPNMR 2017, held in Espoo, Finland, in July 2017. The 16 full papers and 11 short papers presented in this volume were carefully reviewed and selected from 47 submissions. The book also contains 4 invited talks. The papers were organized in topical sections named: nonmonotonic reasoning; answer set programming; LPNMR systems; and LPNMR applications.
ISBN: 9783319616605
Standard No.: 10.1007/978-3-319-61660-5doiSubjects--Topical Terms:
568059
Logic programming
LC Class. No.: QA76.63
Dewey Class. No.: 005.115
Logic programming and nonmonotonic reasoning = 14th International Conference, LPNMR 2017, Espoo, Finland, July 3-6, 2017 : proceedings /
LDR
:03673nam a2200349 a 4500
001
905641
003
DE-He213
005
20170627131331.0
006
m d
007
cr nn 008maaau
008
190308s2017 gw s 0 eng d
020
$a
9783319616605
$q
(electronic bk.)
020
$a
9783319616599
$q
(paper)
024
7
$a
10.1007/978-3-319-61660-5
$2
doi
035
$a
978-3-319-61660-5
040
$a
GP
$c
GP
041
0
$a
eng
050
4
$a
QA76.63
072
7
$a
UYQ
$2
bicssc
072
7
$a
TJFM1
$2
bicssc
072
7
$a
COM004000
$2
bisacsh
082
0 4
$a
005.115
$2
23
090
$a
QA76.63
$b
.L925 2017
111
2
$a
Workshop on the Preservation of Stability under Discretization
$d
(2001 :
$c
Fort Collins, Colo.)
$3
527686
245
1 0
$a
Logic programming and nonmonotonic reasoning
$h
[electronic resource] :
$b
14th International Conference, LPNMR 2017, Espoo, Finland, July 3-6, 2017 : proceedings /
$c
edited by Marcello Balduccini, Tomi Janhunen.
246
3
$a
LPNMR 2017
260
$a
Cham :
$c
2017.
$b
Springer International Publishing :
$b
Imprint: Springer,
300
$a
xiii, 359 p. :
$b
ill., digital ;
$c
24 cm.
490
1
$a
Lecture notes in computer science,
$x
0302-9743 ;
$v
10377
505
0
$a
Invited Talks -- The Design of the Seventh Answer Set Programming Competition -- A Bird's-Eye View of Forgetting in Answer-Set Programming -- Answer Set Programming and its Applications in Planning and Multi-Agent Systems -- From logic programming and non-monotonic reasoning to computational argumentation and beyond. - Nonmonotonic Reasoning Modular Construction of Minimal Models -- A Hasse Diagram for Weighted Sceptical Semantics with a Unique-status Grounded Semantics -- Foundations For A Probabilistic Event Calculus -- Contextual Reasoning: Usually Birds can Abductively Fly -- Including Quantification in Defeasible Reasoning for the Description Logic EL bot -- A Monotonic View on Reflexive Autoepistemic Reasoning -- The Minimal Inference Problem over Finite Domains: The Landscape of Complexity -- Answer Set Programming -- Gelfond-Zhang aggregates as propositional formulas -- Answer Set Solving with Bounded Treewidth Revisited -- Vicious Circle Principle and Formation of Sets in ASP Based Languages -- Answer Set Programs with Queries over Subprograms -- Explaining Inconsistency in Answer Set Programs and Extensions -- Blending Lazy-Grounding and CDNL Search for Answer-Set Solving -- Answer Set Programming with Graded Modality -- LPNMR Systems -- The ASP System DLV2 -- lp2normal - A Normalization Tool for Extended Logic Programs -- Harvey: A System for Random Testing in ASP -- NoHR: Integrating XSB Prolog with the OWL 2 Profiles and Beyond -- ArgueApply: A Mobile App for Argumentation -- LPNMR Applications -- catnap: Generating Test Suites of Constrained Combinatorial Testing with Answer Set Programming -- Automatic Synthesis of Optimal-Size Concentrators by Answer Set Programming -- plasp 3: Towards effective ASP Planning -- Nurse Scheduling via Answer Set Programming -- Hybrid Metabolic Network Completion -- Action Language Hybrid AL -- moviola: Interpreting Dynamic Logic Programs via Multi-shot Answer Set Programming -- Adjudication of Coreference Annotations via Answer Set Optimization.
520
$a
This book constitutes the refereed proceedings of the 14th International Conference on Logic Programming and Nonmonotonic Reasoning, LPNMR 2017, held in Espoo, Finland, in July 2017. The 16 full papers and 11 short papers presented in this volume were carefully reviewed and selected from 47 submissions. The book also contains 4 invited talks. The papers were organized in topical sections named: nonmonotonic reasoning; answer set programming; LPNMR systems; and LPNMR applications.
650
0
$a
Logic programming
$3
568059
650
0
$a
Nonmonotonic reasoning
$v
Congresses.
$3
785742
650
1 4
$a
Computer Science.
$3
593922
650
2 4
$a
Artificial Intelligence (incl. Robotics)
$3
593924
650
2 4
$a
Logics and Meanings of Programs.
$3
670058
650
2 4
$a
Mathematical Logic and Formal Languages.
$3
670059
650
2 4
$a
Discrete Mathematics in Computer Science.
$3
670123
650
2 4
$a
Software Engineering.
$3
669632
650
2 4
$a
Programming Techniques.
$3
669781
700
1
$a
Balduccini, Marcello.
$3
785759
700
1
$a
Janhunen, Tomi.
$3
1172880
710
2
$a
SpringerLink (Online service)
$3
593884
773
0
$t
Springer eBooks
830
0
$a
Lecture notes in computer science ;
$v
6140.
$3
744199
856
4 0
$u
http://dx.doi.org/10.1007/978-3-319-61660-5
950
$a
Computer Science (Springer-11645)
筆 0 讀者評論
多媒體
評論
新增評論
分享你的心得
Export
取書館別
處理中
...
變更密碼[密碼必須為2種組合(英文和數字)及長度為10碼以上]
登入