OPAC

Rules and Reasoning : 6th International Joint Conference on Rules and Reasoning, RuleML+RR 2022, Berlin, Germany, September 26–28, 2022, Proceedings / edited by Guido Governatori, Anni-Yasmin Turhan
(Lecture Notes in Computer Science. ISSN:16113349 ; 13752)

データ種別	電子ブック
版	1st ed. 2022.
出版者	(Cham : Springer International Publishing : Imprint: Springer)
出版年	2022
大きさ	XII, 305 p. 47 illus., 29 illus. in color : online resource
著者標目	Governatori, Guido editor Turhan, Anni-Yasmin editor SpringerLink (Online service)

URL	巻　次	配架場所	請求記号	登録番号	コメント	刷　年	状　態	利用注記	ISBN	予約	請求メモ
URL		射水-電子	007	EB0001871	Computer Scinece R0 2005-6,2022-3				9783031215414

一般注記	Answer Set Programming -- Foundations of Nonmonotonic Reasoning -- Datalog -- Queries Over Ontologies -- Proofs, Error-tolerance, and Rules -- Agents and Argumentation This book constitutes the proceedings of the International Joint Conference on Rules and Reasoning, RuleML+RR 2022, held in Berlin, Germany, during September 26–28, 2022. This is the 6th conference of a new series, joining the efforts of two existing conference series, namely “RuleML” (International Web Rule Symposium) and “RR” (Web Reasoning and Rule Systems). The 18 full research papers presented in this book were carefully reviewed and selected from 54 submissions. The papers cover the following topics: answer set programming; foundations of nonmonotonic reasoning; datalog; queries over ontologies; proofs, error-tolerance, and rules; as well as agents and argumentation HTTP:URL=https://doi.org/10.1007/978-3-031-21541-4
件　名	LCSH:Computer science LCSH:Information technology—Management LCSH:Database management LCSH:Logic programming LCSH:Expert systems (Computer science) LCSH:Natural language processing (Computer science) FREE:Theory of Computation FREE:Computer Application in Administrative Data Processing FREE:Database Management FREE:Logic in AI FREE:Knowledge Based Systems FREE:Natural Language Processing (NLP)
分　類	LCC:QA75.5-76.95 DC23:004.0151
書誌ID	EB00001259
ISBN	9783031215414