001441247 000__ 05191cam\a2200745\i\4500
001441247 001__ 1441247
001441247 003__ OCoLC
001441247 005__ 20230309004728.0
001441247 006__ m\\\\\o\\d\\\\\\\\
001441247 007__ cr\un\nnnunnun
001441247 008__ 211209s2021\\\\sz\a\\\\o\\\\\101\0\eng\d
001441247 019__ $$a1287616266$$a1287676039$$a1287894864$$a1287924430$$a1292517757$$a1294355858
001441247 020__ $$a9783030911676$$q(electronic bk.)
001441247 020__ $$a3030911675$$q(electronic bk.)
001441247 020__ $$z9783030911669$$q(print)
001441247 020__ $$z3030911667
001441247 0247_ $$a10.1007/978-3-030-91167-6$$2doi
001441247 035__ $$aSP(OCoLC)1287996797
001441247 040__ $$aGW5XE$$beng$$erda$$epn$$cGW5XE$$dYDX$$dOCLCQ$$dOCLCF$$dDKU$$dOCLCO$$dDCT$$dCOM$$dOCLCQ$$dOCLCO$$dOCLCQ
001441247 049__ $$aISEA
001441247 050_4 $$aQA76.9.L63$$bR85 2021eb
001441247 08204 $$a005.101/5113$$223
001441247 1112_ $$aRuleML+RR (Joint Conference)$$n(5th :$$d2021 :$$cLeuven, Belgium)
001441247 24510 $$aRules and reasoning :$$b5th International Joint Conference, RuleML+RR 2021, Leuven, Belgium, September 13-15, 2021, Proceedings /$$cSotiris Moschoyiannis, Rafael Peñaloza, Jan Vanthienen, Ahmet Soylu, Dumitru Roman (eds.).
001441247 2463_ $$aRuleML+RR 2021
001441247 264_1 $$aCham :$$bSpringer,$$c2021.
001441247 300__ $$a1 online resource (xviii, 285 pages) :$$billustrations (some color)
001441247 336__ $$atext$$btxt$$2rdacontent
001441247 337__ $$acomputer$$bc$$2rdamedia
001441247 338__ $$aonline resource$$bcr$$2rdacarrier
001441247 347__ $$atext file
001441247 347__ $$bPDF
001441247 4901_ $$aLecture notes in computer science ;$$v12851
001441247 4901_ $$aLNCS sublibrary, SL 2, Programming and software engineering
001441247 500__ $$aIncludes author index.
001441247 5050_ $$aFull Papers -- Policy-based Automated Compliance Checking -- Correctness of automatically generated choreography specifications -- Conflict-free Access Rules for Sharing Smart Patient Health Records -- Structuring Rule Sets Using Binary Decision Diagrams -- Link Traversal with Distributed Subweb Specifications -- Event-Based Microcontroller Programming in Datalog -- Combining deep learning and ASP-based models for the semantic segmentation of medical images -- A Two-Phase ASP Encoding for solving Rehabilitation Scheduling -- An Answer Set Programming based framework for High-Utility Pattern Mining extended with Facets and Advanced Utility Functions -- Automatic Generation of Intelligent Chatbots from DMN Decision Models -- Deep Learning For The Identification of Decision Modelling Components From Text -- Combining Sub-Symbolic and Symbolic Methods for Explainability -- Practical Rule-Based Qualitative Temporal Reasoning for the Semantic Web -- Logic Rules Meet Deep Learning: A Novel Approach for Ship Type Classification -- An Evaluation of Meta-reasoning over OWL 2 QL -- cl-psoatransrun: An Efficiently Executable Specification of PSOA RuleML in Common Lisp -- Leveraging the Power of IDP with the Flexibility of DMN: a Multifunctional API -- Technical Communication Papers -- Eliminating Harmful Joins in Warded Datalog+/- -- Learning decision rules or learning decision models?
001441247 506__ $$aAccess limited to authorized users.
001441247 520__ $$aThis book constitutes the proceedings of the International Joint Conference on Rules and Reasoning, RuleML+RR 2021, held in Leuven, Belgium, during September, 2021. This is the 5th 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 17 full research papers presented together with 2 short technical communications papers and 2 abstracts of invited papers were carefully reviewed and selected from 39 submissions.
001441247 588__ $$aOnline resource; title from PDF title page (SpringerLink, viewed December 9, 2021).
001441247 650_0 $$aComputer logic$$vCongresses.
001441247 650_0 $$aRule-based programming$$vCongresses.
001441247 650_0 $$aLogic programming$$vCongresses.
001441247 650_0 $$aSoftware engineering$$vCongresses.
001441247 650_6 $$aLogique informatique$$vCongrès.
001441247 650_6 $$aProgrammation à base de règles$$vCongrès.
001441247 650_6 $$aProgrammation logique$$vCongrès.
001441247 650_6 $$aGénie logiciel$$vCongrès.
001441247 655_7 $$aConference papers and proceedings.$$2fast$$0(OCoLC)fst01423772
001441247 655_7 $$aConference papers and proceedings.$$2lcgft
001441247 655_7 $$aActes de congrès.$$2rvmgf
001441247 655_0 $$aElectronic books.
001441247 7001_ $$aMoschoyiannis, Sotiris,$$eeditor$$0(orcid)0000-0002-0164-8322$$1https://orcid.org/0000-0002-0164-8322
001441247 7001_ $$aPeñaloza, Rafael,$$eeditor.
001441247 7001_ $$aVanthienen, Jan,$$eeditor$$1https://orcid.org/0000-0002-3867-7055
001441247 7001_ $$aSoylu, Ahmet,$$eeditor.
001441247 7001_ $$aRoman, Dumitru,$$eeditor.
001441247 77608 $$iPrint version:$$aRuleML+RR (Joint Conference) (5th : 2021 : Leuven, Belgium).$$tRules and reasoning.$$dCham : Springer, 2021$$z3030911667$$z9783030911669$$w(OCoLC)1277140859
001441247 830_0 $$aLecture notes in computer science ;$$v12851.
001441247 830_0 $$aLNCS sublibrary.$$nSL 2,$$pProgramming and software engineering.
001441247 852__ $$bebk
001441247 85640 $$3Springer Nature$$uhttps://univsouthin.idm.oclc.org/login?url=https://link.springer.com/10.1007/978-3-030-91167-6$$zOnline Access$$91397441.1
001441247 909CO $$ooai:library.usi.edu:1441247$$pGLOBAL_SET
001441247 980__ $$aBIB
001441247 980__ $$aEBOOK
001441247 982__ $$aEbook
001441247 983__ $$aOnline
001441247 994__ $$a92$$bISE