TY - BOOK ID - 48259877 TI - Rules and Reasoning : Third International Joint Conference, RuleML+RR 2019, Bolzano, Italy, September 16–19, 2019, Proceedings AU - Fodor, Paul. AU - Montali, Marco. AU - Calvanese, Diego. AU - Roman, Dumitru. PY - 2019 SN - 3030310957 3030310949 PB - Cham : Springer International Publishing : Imprint: Springer, DB - UniCat KW - Computer science. KW - Artificial intelligence. KW - Logic design. KW - Information systems. KW - Software engineering. KW - Mathematical Logic and Formal Languages. KW - Artificial Intelligence. KW - Logics and Meanings of Programs. KW - Computer Appl. in Administrative Data Processing. KW - Software Engineering/Programming and Operating Systems. KW - Computer software engineering KW - Engineering KW - Design, Logic KW - Design of logic systems KW - Digital electronics KW - Electronic circuit design KW - Logic circuits KW - Machine theory KW - Switching theory KW - AI (Artificial intelligence) KW - Artificial thinking KW - Electronic brains KW - Intellectronics KW - Intelligence, Artificial KW - Intelligent machines KW - Machine intelligence KW - Thinking, Artificial KW - Bionics KW - Cognitive science KW - Digital computer simulation KW - Electronic data processing KW - Logic machines KW - Self-organizing systems KW - Simulation methods KW - Fifth generation computers KW - Neural computers KW - Informatics KW - Science KW - Computer logic KW - Computer programming KW - Mathematical logic. KW - Computer logic. KW - Application software. KW - Application computer programs KW - Application computer software KW - Applications software KW - Apps (Computer software) KW - Computer software KW - Computer science logic KW - Logic, Symbolic and mathematical KW - Algebra of logic KW - Logic, Universal KW - Mathematical logic KW - Symbolic and mathematical logic KW - Symbolic logic KW - Mathematics KW - Algebra, Abstract KW - Metamathematics KW - Set theory KW - Syllogism UR - https://www.unicat.be/uniCat?func=search&query=sysid:48259877 AB - This book constitutes the proceedings of the International Joint Conference on Rules and Reasoning, RuleML+RR 2019, held in Bolzano, Italy, during September 2019. This is the third 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 10 full research papers presented together with 5 short technical communications papers were carefully reviewed and selected from 26 submissions. ER -