語系:
繁體中文
English
說明(常見問題)
回圖書館首頁
手機版館藏查詢
登入
回首頁
切換:
標籤
|
MARC模式
|
ISBD
Logic programming and nonmonotonic r...
~
International Conference on Logic Programming and Nonmonotonic Reasoning (2022 :)
FindBook
Google Book
Amazon
博客來
Logic programming and nonmonotonic reasoning = 16th International Conference, LPNMR 2022, Genova, Italy, September 5-9, 2022 : proceedings /
紀錄類型:
書目-電子資源 : Monograph/item
正題名/作者:
Logic programming and nonmonotonic reasoning/ edited by Georg Gottlob, Daniela Inclezan, Marco Maratea.
其他題名:
16th International Conference, LPNMR 2022, Genova, Italy, September 5-9, 2022 : proceedings /
其他題名:
LPNMR 2022
其他作者:
Gottlob, G.
團體作者:
International Conference on Logic Programming and Nonmonotonic Reasoning
出版者:
Cham :Springer International Publishing : : 2022.,
面頁冊數:
xxx, 512 p. :ill. (some col.), digital ;24 cm.
內容註:
Technical Contributions -- Syntactic ASP Forgetting with Forks -- Modal Logic S5 in Answer Set Programming with Lazy Creation of Worlds -- Enumeration of minimal models and MUSes in WASP -- Statistical Statements in Probabilistic Logic Programming -- A Comparative Study of Three Neural-Symbolic Approaches to Inductive Logic Programming -- A Definition of Sceptical Semantics in the Constellations Approach -- SHACL: A Description Logic in Disguise -- Tunas - Fishing for diverse Answer Sets: a Multi-Shot Trade up Strategy -- Emotional Reasoning in an Action Language for Emotion-Aware Planning -- Metric Temporal Answer Set Programming over Timed Traces -- Epistemic Logic Programs: a study of some properties -- Deep learning for the generation of heuristics in answer set programming: a case study of graph coloring -- A Qualitative Temporal Extension of Here-and-There Logic -- Representing Abstract Dialectical Frameworks with Binary Decision Diagrams -- Arguing Correctness of ASP Programs with Aggregates -- Efficient Computation of Answer Sets via SAT Modulo Acyclicity and Vertex Elimination -- IASCAR: Incremental Answer Set Counting by Anytime Refinement -- Reasoning about actions with EL ontologies and temporal answer sets for DLTL -- Inference to the Stable Explanations -- Semantics for Conditional Literals via the SM Operator -- State Transition in Multi-agent Epistemic Domains using Answer Set Programming -- Towards Provenance in Heterogeneous Knowledge Bases -- Computing Smallest MUSes of Quantified Boolean Formulas -- Pinpointing Axioms in Ontologies via ASP -- Interlinking Logic Programs and Argumentation Frameworks -- Gradient-Based Supported Model Computation in Vector Spaces -- Towards Causality-Based Conflict Resolution in Answer Set Programs -- xASP: An Explanation Generation System for Answer Set Programming -- Systems -- Solving Problems in the Polynomial Hierarchy with ASP(Q) -- A Practical Account into Counting Dung's Extensions by Dynamic Programming -- clingraph: ASP-based Visualization -- A Machine Learning System to Improve the Performance of ASP -- QMaxSATpb: A Certified MaxSAT Solver -- Applications -- Knowledge-Based Support for Adhesive Selection -- ASP for Flexible Payroll Management -- Analysis of Cyclic Fault Propagation via ASP -- Learning to Rank the Distinctiveness of Behaviour in Serial Offending -- Optimising Business Process Discovery using Answer Set Programming -- DeduDeep: an Extensible Framework for Combining Deep Learning and ASP-based Models.
Contained By:
Springer Nature eBook
標題:
Logic programming - Congresses. -
電子資源:
https://doi.org/10.1007/978-3-031-15707-3
ISBN:
9783031157073
Logic programming and nonmonotonic reasoning = 16th International Conference, LPNMR 2022, Genova, Italy, September 5-9, 2022 : proceedings /
Logic programming and nonmonotonic reasoning
16th International Conference, LPNMR 2022, Genova, Italy, September 5-9, 2022 : proceedings /[electronic resource] :LPNMR 2022edited by Georg Gottlob, Daniela Inclezan, Marco Maratea. - Cham :Springer International Publishing :2022. - xxx, 512 p. :ill. (some col.), digital ;24 cm. - Lecture notes in computer science,134160302-9743 ;. - Lecture notes in computer science ;13416..
Technical Contributions -- Syntactic ASP Forgetting with Forks -- Modal Logic S5 in Answer Set Programming with Lazy Creation of Worlds -- Enumeration of minimal models and MUSes in WASP -- Statistical Statements in Probabilistic Logic Programming -- A Comparative Study of Three Neural-Symbolic Approaches to Inductive Logic Programming -- A Definition of Sceptical Semantics in the Constellations Approach -- SHACL: A Description Logic in Disguise -- Tunas - Fishing for diverse Answer Sets: a Multi-Shot Trade up Strategy -- Emotional Reasoning in an Action Language for Emotion-Aware Planning -- Metric Temporal Answer Set Programming over Timed Traces -- Epistemic Logic Programs: a study of some properties -- Deep learning for the generation of heuristics in answer set programming: a case study of graph coloring -- A Qualitative Temporal Extension of Here-and-There Logic -- Representing Abstract Dialectical Frameworks with Binary Decision Diagrams -- Arguing Correctness of ASP Programs with Aggregates -- Efficient Computation of Answer Sets via SAT Modulo Acyclicity and Vertex Elimination -- IASCAR: Incremental Answer Set Counting by Anytime Refinement -- Reasoning about actions with EL ontologies and temporal answer sets for DLTL -- Inference to the Stable Explanations -- Semantics for Conditional Literals via the SM Operator -- State Transition in Multi-agent Epistemic Domains using Answer Set Programming -- Towards Provenance in Heterogeneous Knowledge Bases -- Computing Smallest MUSes of Quantified Boolean Formulas -- Pinpointing Axioms in Ontologies via ASP -- Interlinking Logic Programs and Argumentation Frameworks -- Gradient-Based Supported Model Computation in Vector Spaces -- Towards Causality-Based Conflict Resolution in Answer Set Programs -- xASP: An Explanation Generation System for Answer Set Programming -- Systems -- Solving Problems in the Polynomial Hierarchy with ASP(Q) -- A Practical Account into Counting Dung's Extensions by Dynamic Programming -- clingraph: ASP-based Visualization -- A Machine Learning System to Improve the Performance of ASP -- QMaxSATpb: A Certified MaxSAT Solver -- Applications -- Knowledge-Based Support for Adhesive Selection -- ASP for Flexible Payroll Management -- Analysis of Cyclic Fault Propagation via ASP -- Learning to Rank the Distinctiveness of Behaviour in Serial Offending -- Optimising Business Process Discovery using Answer Set Programming -- DeduDeep: an Extensible Framework for Combining Deep Learning and ASP-based Models.
This book constitutes the refereed proceedings of the 16th International Conference on Logic Programming and Nonmonotonic Reasoning, LPNMR 2022, held in Genova, Italy, in September 2022. The 34 full papers and 5 short papers included in this book were carefully reviewed and selected from 57 submissions. They were organized in topical sections as follows: Technical Contributions; Systems; Applications.
ISBN: 9783031157073
Standard No.: 10.1007/978-3-031-15707-3doiSubjects--Topical Terms:
840448
Logic programming
--Congresses.
LC Class. No.: QA76.63
Dewey Class. No.: 005.115
Logic programming and nonmonotonic reasoning = 16th International Conference, LPNMR 2022, Genova, Italy, September 5-9, 2022 : proceedings /
LDR
:04146nmm a2200349 a 4500
001
2303131
003
DE-He213
005
20220826121900.0
007
cr nn 008maaau
008
230409s2022 sz s 0 eng d
020
$a
9783031157073
$q
(electronic bk.)
020
$a
9783031157066
$q
(paper)
024
7
$a
10.1007/978-3-031-15707-3
$2
doi
035
$a
978-3-031-15707-3
040
$a
GP
$c
GP
041
0
$a
eng
050
4
$a
QA76.63
072
7
$a
UYQ
$2
bicssc
072
7
$a
COM004000
$2
bisacsh
072
7
$a
UYQ
$2
thema
082
0 4
$a
005.115
$2
23
090
$a
QA76.63
$b
.I61 2022
111
2
$a
International Conference on Logic Programming and Nonmonotonic Reasoning
$n
(16th :
$d
2022 :
$c
Genoa, Italy)
$3
3604087
245
1 0
$a
Logic programming and nonmonotonic reasoning
$h
[electronic resource] :
$b
16th International Conference, LPNMR 2022, Genova, Italy, September 5-9, 2022 : proceedings /
$c
edited by Georg Gottlob, Daniela Inclezan, Marco Maratea.
246
3
$a
LPNMR 2022
260
$a
Cham :
$b
Springer International Publishing :
$b
Imprint: Springer,
$c
2022.
300
$a
xxx, 512 p. :
$b
ill. (some col.), digital ;
$c
24 cm.
490
1
$a
Lecture notes in computer science,
$x
0302-9743 ;
$v
13416
490
1
$a
Lecture notes in artificial intelligence
505
0
$a
Technical Contributions -- Syntactic ASP Forgetting with Forks -- Modal Logic S5 in Answer Set Programming with Lazy Creation of Worlds -- Enumeration of minimal models and MUSes in WASP -- Statistical Statements in Probabilistic Logic Programming -- A Comparative Study of Three Neural-Symbolic Approaches to Inductive Logic Programming -- A Definition of Sceptical Semantics in the Constellations Approach -- SHACL: A Description Logic in Disguise -- Tunas - Fishing for diverse Answer Sets: a Multi-Shot Trade up Strategy -- Emotional Reasoning in an Action Language for Emotion-Aware Planning -- Metric Temporal Answer Set Programming over Timed Traces -- Epistemic Logic Programs: a study of some properties -- Deep learning for the generation of heuristics in answer set programming: a case study of graph coloring -- A Qualitative Temporal Extension of Here-and-There Logic -- Representing Abstract Dialectical Frameworks with Binary Decision Diagrams -- Arguing Correctness of ASP Programs with Aggregates -- Efficient Computation of Answer Sets via SAT Modulo Acyclicity and Vertex Elimination -- IASCAR: Incremental Answer Set Counting by Anytime Refinement -- Reasoning about actions with EL ontologies and temporal answer sets for DLTL -- Inference to the Stable Explanations -- Semantics for Conditional Literals via the SM Operator -- State Transition in Multi-agent Epistemic Domains using Answer Set Programming -- Towards Provenance in Heterogeneous Knowledge Bases -- Computing Smallest MUSes of Quantified Boolean Formulas -- Pinpointing Axioms in Ontologies via ASP -- Interlinking Logic Programs and Argumentation Frameworks -- Gradient-Based Supported Model Computation in Vector Spaces -- Towards Causality-Based Conflict Resolution in Answer Set Programs -- xASP: An Explanation Generation System for Answer Set Programming -- Systems -- Solving Problems in the Polynomial Hierarchy with ASP(Q) -- A Practical Account into Counting Dung's Extensions by Dynamic Programming -- clingraph: ASP-based Visualization -- A Machine Learning System to Improve the Performance of ASP -- QMaxSATpb: A Certified MaxSAT Solver -- Applications -- Knowledge-Based Support for Adhesive Selection -- ASP for Flexible Payroll Management -- Analysis of Cyclic Fault Propagation via ASP -- Learning to Rank the Distinctiveness of Behaviour in Serial Offending -- Optimising Business Process Discovery using Answer Set Programming -- DeduDeep: an Extensible Framework for Combining Deep Learning and ASP-based Models.
520
$a
This book constitutes the refereed proceedings of the 16th International Conference on Logic Programming and Nonmonotonic Reasoning, LPNMR 2022, held in Genova, Italy, in September 2022. The 34 full papers and 5 short papers included in this book were carefully reviewed and selected from 57 submissions. They were organized in topical sections as follows: Technical Contributions; Systems; Applications.
650
0
$a
Logic programming
$v
Congresses.
$3
840448
650
0
$a
Nonmonotonic reasoning
$v
Congresses.
$3
849537
650
1 4
$a
Artificial Intelligence.
$3
769149
650
2 4
$a
Programming Techniques.
$3
892496
650
2 4
$a
Compilers and Interpreters.
$3
3592044
650
2 4
$a
Computer Science Logic and Foundations of Programming.
$3
3538531
650
2 4
$a
Computer Application in Administrative Data Processing.
$3
3594379
700
1
$a
Gottlob, G.
$3
3604088
700
1
$a
Inclezan, Daniela.
$3
3604089
700
1
$a
Maratea, Marco.
$3
3604090
710
2
$a
SpringerLink (Online service)
$3
836513
773
0
$t
Springer Nature eBook
830
0
$a
Lecture notes in computer science ;
$v
13416.
$3
3604091
830
0
$a
Lecture notes in artificial intelligence.
$3
3382562
856
4 0
$u
https://doi.org/10.1007/978-3-031-15707-3
950
$a
Computer Science (SpringerNature-11645)
筆 0 讀者評論
館藏地:
全部
電子資源
出版年:
卷號:
館藏
1 筆 • 頁數 1 •
1
條碼號
典藏地名稱
館藏流通類別
資料類型
索書號
使用類型
借閱狀態
預約狀態
備註欄
附件
W9444680
電子資源
11.線上閱覽_V
電子書
EB QA76.63
一般使用(Normal)
在架
0
1 筆 • 頁數 1 •
1
多媒體
評論
新增評論
分享你的心得
Export
取書館
處理中
...
變更密碼
登入