東華大學圖書館 |

語系: 繁體中文

說明(常見問題)

回圖書館首頁

手機版館藏查詢

登入

回首頁

切換: 標籤 | MARC模式 | ISBD

Reasoning web. declarative artificia...

Summer School on Reasoning Web (2023 :)

FindBook

Google Book

Amazon

博客來

Reasoning web. declarative artificial intelligence: knowledge, rules, logic = 19th International Summer School 2023 Oslo, Norway, September 21-24, 2023, tutorial lectures /

紀錄類型:	書目-電子資源 : Monograph/item
正題名/作者:	Reasoning web. declarative artificial intelligence: knowledge, rules, logic/ edited by Marco Console, Boris Konev.
其他題名:	19th International Summer School 2023 Oslo, Norway, September 21-24, 2023, tutorial lectures /
其他作者:	Console, Marco.
團體作者:	Summer School on Reasoning Web
出版者:	Cham :Springer Nature Switzerland : : 2025.,
面頁冊數:	ix, 115 p. :ill. (some col.), digital ;24 cm.
內容註:	Compact Query Rewritings for Ontology-Based Query Answering -- Finite-Model Reasoning for Graph Queries and Description Logics -- Controlled Query Evaluation in Description Logic Ontologies -- Actively Learning from Machine Learning Models with Queries and Counterexamples -- Proof-Theoretic Approaches to Logical Argumentation.
Contained By:	Springer Nature eBook
標題:	Artificial intelligence - Congresses. -
電子資源:	https://doi.org/10.1007/978-3-031-80283-6
ISBN:	9783031802836

Reasoning web. declarative artificial intelligence: knowledge, rules, logic = 19th International Summer School 2023 Oslo, Norway, September 21-24, 2023, tutorial lectures /
Reasoning web. declarative artificial intelligence: knowledge, rules, logic19th International Summer School 2023 Oslo, Norway, September 21-24, 2023, tutorial lectures /[electronic resource] :edited by Marco Console, Boris Konev. - Cham :Springer Nature Switzerland :2025. - ix, 115 p. :ill. (some col.), digital ;24 cm. - Lecture notes in computer science,154000302-9743 ;. - Lecture notes in computer science ;15400..

Compact Query Rewritings for Ontology-Based Query Answering -- Finite-Model Reasoning for Graph Queries and Description Logics -- Controlled Query Evaluation in Description Logic Ontologies -- Actively Learning from Machine Learning Models with Queries and Counterexamples -- Proof-Theoretic Approaches to Logical Argumentation.

The purpose of the Reasoning Web Summer School is to disseminate recent advances on reasoning techniques and related issues that are of particular interest to Semantic Web and Linked Data applications. It is primarily intended for postgraduate students, postdocs, young researchers, and senior researchers wishing to deepen their knowledge. As in the previous years, lectures in the summer school were given by a distinguished group of expert lecturers. The broad theme of this year's summer school was "Declarative Artificial Intelligence: Knowledge, Rules, Logic." The following eight lectures were presented during the school: Declarative AI for Industry: Methods, Applications, Trends; Ontologies vs Constraints; Termination of Reasoning; Compact Query Rewritings for Ontology Based Query Answering; Graph Queries and Description Logics; Controlled Query Evaluation in Description Logic Ontologies; Learning from Neural Networks with Queries and Counter Examples; and Proof-Theoretic Approaches in Logical Argumentation.

ISBN: 9783031802836

Standard No.: 10.1007/978-3-031-80283-6doiSubjects--Topical Terms:

606815
Artificial intelligence
--Congresses.

LC Class. No.: Q334 / .S86 2023

Dewey Class. No.: 006.3

Reasoning web. declarative artificial intelligence: knowledge, rules, logic = 19th International Summer School 2023 Oslo, Norway, September 21-24, 2023, tutorial lectures /
LDR:02536nmm a2200337 a 4500 001 2408689
003 DE-He213
005 20250201115241.0
006 m d
007 cr nn 008maaau
008 260204s2025 sz s 0 eng d
020 $a 9783031802836 $q (electronic bk.)
020 $a 9783031802829 $q (paper)
024 7 $a 10.1007/978-3-031-80283-6 $2 doi
035 $a 978-3-031-80283-6
040 $a GP $c GP
041 0 $a eng
050 4 $a Q334 $b .S86 2023
072 7 $a UYQ $2 bicssc
072 7 $a COM004000 $2 bisacsh
072 7 $a UYQ $2 thema
082 0 4 $a 006.3 $2 23
090 $a Q334 $b .S955 2023
111 2 $a Summer School on Reasoning Web $n (19th : $d 2023 : $c Oslo, Norway) $3 3781379
245 1 0 $a Reasoning web. declarative artificial intelligence: knowledge, rules, logic $h [electronic resource] : $b 19th International Summer School 2023 Oslo, Norway, September 21-24, 2023, tutorial lectures / $c edited by Marco Console, Boris Konev.
260 $a Cham : $b Springer Nature Switzerland : $b Imprint: Springer, $c 2025.
300 $a ix, 115 p. : $b ill. (some col.), digital ; $c 24 cm.
490 1 $a Lecture notes in computer science, $x 0302-9743 ; $v 15400
505 0 $a Compact Query Rewritings for Ontology-Based Query Answering -- Finite-Model Reasoning for Graph Queries and Description Logics -- Controlled Query Evaluation in Description Logic Ontologies -- Actively Learning from Machine Learning Models with Queries and Counterexamples -- Proof-Theoretic Approaches to Logical Argumentation.
520 $a The purpose of the Reasoning Web Summer School is to disseminate recent advances on reasoning techniques and related issues that are of particular interest to Semantic Web and Linked Data applications. It is primarily intended for postgraduate students, postdocs, young researchers, and senior researchers wishing to deepen their knowledge. As in the previous years, lectures in the summer school were given by a distinguished group of expert lecturers. The broad theme of this year's summer school was "Declarative Artificial Intelligence: Knowledge, Rules, Logic." The following eight lectures were presented during the school: Declarative AI for Industry: Methods, Applications, Trends; Ontologies vs Constraints; Termination of Reasoning; Compact Query Rewritings for Ontology Based Query Answering; Graph Queries and Description Logics; Controlled Query Evaluation in Description Logic Ontologies; Learning from Neural Networks with Queries and Counter Examples; and Proof-Theoretic Approaches in Logical Argumentation.
650 0 $a Artificial intelligence $v Congresses. $3 606815
650 0 $a Semantic Web $x Congresses. $3 576331
650 1 4 $a Logic in AI. $3 3386372
650 2 4 $a Theory of Computation. $3 892514
650 2 4 $a Computer and Information Systems Applications. $3 3538505
700 1 $a Console, Marco. $3 3781380
700 1 $a Konev, Boris. $3 3514155
710 2 $a SpringerLink (Online service) $3 836513
773 0 $t Springer Nature eBook
830 0 $a Lecture notes in computer science ; $v 15400. $3 3781381
856 4 0 $u https://doi.org/10.1007/978-3-031-80283-6
950 $a Computer Science (SpringerNature-11645)