001451903 000__ 05894cam\a2200613\a\4500
001451903 001__ 1451903
001451903 003__ OCoLC
001451903 005__ 20230310004723.0
001451903 006__ m\\\\\o\\d\\\\\\\\
001451903 007__ cr\un\nnnunnun
001451903 008__ 221231s2022\\\\sz\\\\\\o\\\\\101\0\eng\d
001451903 019__ $$a1354993444
001451903 020__ $$a9783031215414$$q(electronic bk.)
001451903 020__ $$a3031215419$$q(electronic bk.)
001451903 020__ $$z3031215400
001451903 020__ $$z9783031215407
001451903 0247_ $$a10.1007/978-3-031-21541-4$$2doi
001451903 035__ $$aSP(OCoLC)1355222064
001451903 040__ $$aEBLCP$$beng$$cEBLCP$$dGW5XE$$dYDX$$dEBLCP$$dOCLCQ$$dUKAHL
001451903 049__ $$aISEA
001451903 050_4 $$aQA76.9.L63
001451903 08204 $$a005.101/5113$$223/eng/20230103
001451903 1112_ $$aRuleML+RR (Joint conference)$$n(6th :$$d2022 :$$cOnline)
001451903 24510 $$aRules and reasoning :$$b6th International Joint Conference on Rules and Reasoning, RuleML+RR 2022, Berlin, Germany, September 26-28, 2022, Proceedings /$$cGuido Governatori, Anni-Yasmin Turhan (eds.).
001451903 2463_ $$aRuleML+RR 2022
001451903 260__ $$aCham :$$bSpringer,$$c2022.
001451903 300__ $$a1 online resource (310 p.).
001451903 4901_ $$aLecture Notes in Computer Science ;$$v13752
001451903 500__ $$a"In September 2022 the 6th International Joint Conference on Rules and Reasoning (RuleML+RR) took place online."-- preface.
001451903 500__ $$a1 Introduction
001451903 500__ $$aIncludes author index.
001451903 5050_ $$aIntro -- Preface -- Organization -- Contents -- Answer Set Programming -- Applying Answer Set Optimization to Preventive Maintenance Scheduling for Rotating Machinery -- 1 Introduction -- 2 Definitions of Machines and Schedules -- 3 Basic PMS Problems and Their Complexities -- 4 An ASO-Based Implementation -- 5 Experiments -- 6 Conclusion -- References -- On the Generalization of Learned Constraints for ASP Solving in Temporal Domains -- 1 Introduction -- 2 Background -- 3 Temporal Programs, Problems and Nogoods -- 4 Generalizing Learned Constraints -- 5 Translations -- 6 Experiments
001451903 5058_ $$a7 Conclusion -- References -- The Stream Reasoning System I-DLV-sr: Enhancements and Applications in Smart Cities -- 1 Introduction -- 2 The I-DLV-sr System -- 3 Re-engineering the System and Improving Performance -- 3.1 Performance Evaluation -- 4 New Language Features -- 5 Stream Reasoning via I-DLV-sr in Smart City Scenarios -- 5.1 Modeling Smart City Applications with I-DLV-sr -- 5.2 Performance Evaluation -- 6 Related Work -- 7 Conclusions -- References -- Plingo: A System for Probabilistic Reasoning in Clingo Based on LPMLN -- 1 Introduction -- 2 Background
001451903 5058_ $$a3 LPMLN and the Language of Plingo -- 4 The System Plingo -- 5 Experiments -- 6 Conclusion -- References -- Foundations of Nonmonotonic Reasoning -- From Defeasible Logic to Counterfactual Reasoning -- 1 Introduction -- 2 Defeasible Logic -- 3 Counterfactuals -- 4 Counterfactuals in Defeasible Logic: Fact Revision -- 4.1 Preliminaries -- 4.2 Mapping SDL into Counterfactuals -- Part I -- 5 Counterfactuals in Defeasible Logic: Theory Revision -- 5.1 Revising Defeasible Theories -- 5.2 Mapping SDL into Counterfactuals -- Part II -- 6 Results -- 7 Conclusions -- References
001451903 5058_ $$aKLM-Style Defeasibility for Restricted First-Order Logic -- 1 Introduction -- 2 Background -- 3 Defeasible Restricted First-Order Logic -- 4 Defeasible Entailment -- 5 Related Work -- 6 Conclusion and Future Work -- References -- Semantic Characterizations of AGM Revision for Tarskian Logics -- 1 Introduction -- 2 Preliminaries -- 2.1 Logics with Classical Model-Theoretic Semantics -- 2.2 Relations over Interpretations -- 2.3 Bases -- 2.4 Base Change Operators -- 2.5 Postulates for Revision -- 3 Base Revision in Propositional Logic -- 4 Approach for Arbitrary Base Logics
001451903 5058_ $$a4.1 First Problem: Non-existence of Minima -- 4.2 Second Problem: Transitivity of Preorder -- 5 One-way Representation Theorem -- 6 Two-way Representation Theorem -- 7 Total-Preorder-Representability -- 8 Related Work -- 9 Conclusion -- References -- Datalog -- iWarded: A Versatile Generator to Benchmark Warded Datalog+/- Reasoning -- 1 Introduction -- 2 Syntax and Semantics of Warded Datalog -- 3 iWarded System -- 3.1 Overview of the Generator -- 3.2 Benchmark Generation Procedure -- 4 Experimental Evaluation -- 5 Related Work -- 6 Conclusion -- References -- The Temporal Vadalog System
001451903 506__ $$aAccess limited to authorized users.
001451903 520__ $$aThis book constitutes the proceedings of the International Joint Conference on Rules and Reasoning, RuleML+RR 2022, held in Berlin, Germany, during September 2628, 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.
001451903 588__ $$aOnline resource; title from PDF title page (SpringerLink, viewed January 3, 2023).
001451903 650_0 $$aComputer logic$$vCongresses.
001451903 650_0 $$aRule-based programming$$vCongresses.
001451903 650_0 $$aLogic programming$$vCongresses.
001451903 650_0 $$aSoftware engineering$$vCongresses.
001451903 655_0 $$aElectronic books.
001451903 7001_ $$aGovernatori, Guido.
001451903 7001_ $$aTurhan, Anni-Yasmin.
001451903 77608 $$iPrint version:$$aGovernatori, Guido$$tRules and Reasoning$$dCham : Springer International Publishing AG,c2022$$z9783031215407
001451903 830_0 $$aLecture notes in computer science ;$$v13752.
001451903 852__ $$bebk
001451903 85640 $$3Springer Nature$$uhttps://univsouthin.idm.oclc.org/login?url=https://link.springer.com/10.1007/978-3-031-21541-4$$zOnline Access$$91397441.1
001451903 909CO $$ooai:library.usi.edu:1451903$$pGLOBAL_SET
001451903 980__ $$aBIB
001451903 980__ $$aEBOOK
001451903 982__ $$aEbook
001451903 983__ $$aOnline
001451903 994__ $$a92$$bISE