LEADER 01162nam a22002531i 4500 001 991002433789707536 005 20030616184506.0 008 030925s1974 ne |||||||||||||||||dut 035 $ab12288196-39ule_inst 035 $aARCHE-033576$9ExL 040 $aBiblioteca Interfacoltà$bita$cA.t.i. Arché s.c.r.l. Pandora Sicilia s.r.l. 100 1 $aNowicki, Andrzej$0398651 245 10$aVanini in de zeventiende eeuw en het begrippeninstrumentarium om zijn aanwezigheid in de cultuur te bestuderen /$cA. Nowicki 260 $a[S.l. :$bs.n.],$c1974 300 $a1 v. ;$c24 cm 500 $aEstr. da: Tijdschrift voor de Studie van de Verlichting, n. 2(1974) 650 4$aFilosofi italiani$xSec. 17. 650 4$aVanini, Giulio Cesare$xPensiero filosofico 907 $a.b12288196$b02-04-14$c08-10-03 912 $a991002433789707536 945 $aLE002 Busta C 24/12$g1$i2002000782847$lle002$o-$pE0.00$q-$rl$s- $t0$u0$v0$w0$x0$y.i12681672$z08-10-03 996 $aVanini in de zeventiende eeuw en het begrippeninstrumentarium om zijn aanwezigheid in de cultuur te bestuderen$9164335 997 $aUNISALENTO 998 $ale002$b08-10-03$cm$da $e-$fdut$gne $h0$i1 LEADER 04610nam 22007575 450 001 9910512160003321 005 20251113201415.0 010 $a3-030-91167-5 024 7 $a10.1007/978-3-030-91167-6 035 $a(CKB)5100000000152656 035 $a(MiAaPQ)EBC6857827 035 $a(Au-PeEL)EBL6857827 035 $a(PPN)259384828 035 $a(OCoLC)1295280069 035 $a(DE-He213)978-3-030-91167-6 035 $a(EXLCZ)995100000000152656 100 $a20211130d2021 u| 0 101 0 $aeng 135 $aurcnu|||||||| 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aRules and Reasoning $e5th International Joint Conference, RuleML+RR 2021, Leuven, Belgium, September 13?15, 2021, Proceedings /$fedited by Sotiris Moschoyiannis, Rafael Peñaloza, Jan Vanthienen, Ahmet Soylu, Dumitru Roman 205 $a1st ed. 2021. 210 1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2021. 215 $a1 online resource (298 pages) 225 1 $aProgramming and Software Engineering,$x2945-9168 ;$v12851 311 08$a3-030-91166-7 327 $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 NovelApproach 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 ? 330 $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. 410 0$aProgramming and Software Engineering,$x2945-9168 ;$v12851 606 $aComputer science 606 $aLogic programming 606 $aExpert systems (Computer science) 606 $aComputer engineering 606 $aComputer networks 606 $aInformation technology$xManagement 606 $aSocial sciences$xData processing 606 $aTheory of Computation 606 $aLogic in AI 606 $aKnowledge Based Systems 606 $aComputer Engineering and Networks 606 $aComputer Application in Administrative Data Processing 606 $aComputer Application in Social and Behavioral Sciences 615 0$aComputer science. 615 0$aLogic programming. 615 0$aExpert systems (Computer science). 615 0$aComputer engineering. 615 0$aComputer networks. 615 0$aInformation technology$xManagement. 615 0$aSocial sciences$xData processing. 615 14$aTheory of Computation. 615 24$aLogic in AI. 615 24$aKnowledge Based Systems. 615 24$aComputer Engineering and Networks. 615 24$aComputer Application in Administrative Data Processing. 615 24$aComputer Application in Social and Behavioral Sciences. 676 $a005.1015113 702 $aMoschoyiannis$b Sotiris 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910512160003321 996 $aRules and Reasoning$92585543 997 $aUNINA