000 | 01990nam a2200409Ia 4500 | ||
---|---|---|---|
000 | 03635nam a22004335i 4500 | ||
001 | 978-3-031-45072-3 | ||
003 | DE-He213 | ||
005 | 20240319121121.0 | ||
007 | cr nn 008mamaa | ||
008 | 231014s2023 sz | s |||| 0|eng d | ||
020 |
_a9783031450723 _9978-3-031-45072-3 |
||
082 | _a4.0151 | ||
245 |
_aRules and Reasoning _cedited by Anna Fensel, Ana Ozaki, Dumitru Roman, Ahmet Soylu. _h[electronic resource] : |
||
250 | _a1st ed. 2023. | ||
260 |
_aCham _bSpringer Nature Switzerland _c2023 |
||
300 |
_aXXII, 255 p. 59 illus., 39 illus. in color. _bonline resource. |
||
520 | _aThis book constitutes the refereed proceedings of the 7th International Joint Conference on Rules and Reasoning, RuleML+RR 2023, held in Oslo, Norway, during September 18-20, 2023. The 13 full papers and 3 short papers included in these proceedings were carefully reviewed and selected from 46 submissions. They focus on all aspects of theoretical advances; novel technologies; innovative applications; knowledge representation; reasoning with rules; and research, development, applications of rule-based systems. . | ||
650 |
_aComputer Application in Administrative Data Processing. _938555 |
||
650 |
_aComputer science. _938556 |
||
650 |
_aDatabase management. _938557 |
||
650 |
_aDatabase Management. _938558 |
||
650 |
_aExpert systems (Computer science). _938559 |
||
650 |
_aInformation technology _938560 |
||
650 |
_aKnowledge Based Systems. _938561 |
||
650 |
_aLogic in AI. _938562 |
||
650 |
_aLogic programming. _938563 |
||
650 |
_aNatural language processing (Computer science). _938564 |
||
650 |
_aNatural Language Processing (NLP). _938565 |
||
650 |
_aTheory of Computation. _938566 |
||
700 |
_aFensel, Anna. _938567 |
||
700 |
_aOzaki, Ana. _938568 |
||
700 |
_aRoman, Dumitru. _938569 |
||
700 |
_aSoylu, Ahmet. _938570 |
||
856 | _uhttps://doi.org/10.1007/978-3-031-45072-3 | ||
942 |
_cEBK _2ddc |
||
999 |
_c15802 _d15802 |