LEADER 06278nam 22007935 450 001 996466336003316 005 20200705044556.0 010 $a3-540-88808-X 024 7 $a10.1007/978-3-540-88808-6 035 $a(CKB)1000000000545886 035 $a(SSID)ssj0000319890 035 $a(PQKBManifestationID)11215241 035 $a(PQKBTitleCode)TC0000319890 035 $a(PQKBWorkID)10338997 035 $a(PQKB)10970557 035 $a(DE-He213)978-3-540-88808-6 035 $a(MiAaPQ)EBC3063674 035 $a(MiAaPQ)EBC6284071 035 $a(PPN)130185930 035 $a(EXLCZ)991000000000545886 100 $a20100301d2008 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aRule Representation, Interchange and Reasoning on the Web$b[electronic resource] $eInternational Symposium, RuleML 2008, Orlando, FL, USA, October 30-31, 2008. Proceedings /$fedited by Nick Bassiliades, Guido Governatori, Adrian Paschke 205 $a1st ed. 2008. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2008. 215 $a1 online resource (XIII, 243 p.) 225 1 $aProgramming and Software Engineering ;$v5321 300 $aBibliographic Level Mode of Issuance: Monograph 311 $a3-540-88807-1 320 $aIncludes bibliographical references and index. 327 $aKeynote Talks (Abstracts) -- Rule Interchange Format: The Framework -- The Power of Events: An Introduction to Complex Event Processing in Distributed Enterprise Systems -- Event and Process Semantics Will Rule -- Rule Engineering -- Development and Verification of Rule Based Systems ? A Survey of Developers -- Connecting Legacy Code, Business Rules and Documentation -- Verifying Resource Requirements for Distributed Rule-Based Systems -- Meta-analysis for Validation and Strategic Planning -- Rule-Based Methodologies and Applications in Policies, Electronic Contracts and Security -- Abductive Workflow Mining Using Binary Resolution on Task Successor Rules -- A Rule-Based Framework Using Role Patterns for Business Process Compliance -- Detection of Suspicious Activity Using Different Rule Engines ? Comparison of BaseVISor, Jena and Jess Rule Engines -- A Rule-Based Notation to Specify Executable Electronic Contracts -- Rule Representation Languages and Reasoning Engines -- On Extending RuleML for Modal Defeasible Logic -- Adding Uncertainty to a Rete-OO Inference Engine -- Programming with Fuzzy Logic Rules by Using the FLOPER Tool -- Ruling Networks with RDL: A Domain-Specific Language to Task Wireless Sensor Networks -- Rule-Based Methodologies and Applications in Distributed and Heterogeneous Environments -- Local and Distributed Defeasible Reasoning in Multi-Context Systems -- Personal Agents in the Rule Responder Architecture -- Semi-automatic Composition of Geospatial Web Services Using JBoss Rules -- A RuleML Study on Integrating Geographical and Health Information -- Natural-Language and Graphical Rule Representation and Processing -- SBVR Use Cases -- Visualization of Proofs in Defeasible Logic -- Building an Autopoietic Knowledge Structure for Natural Language Conversational Agents -- A Functional Spreadsheet Framework for Authoring Logic Implication Rules -- RuleML-2008 Challenge -- Please Pass the Rules: A Rule Interchange Demonstration -- Self-sustained Routing for Event Diffusion in Wireless Sensor Networks. 330 $aThis book constitutes the refereed proceedings of the International RuleML Symposium on Rule Interchange and Applications, RuleML 2008, held in Orlando, FL, USA, in October 2008 - collocated with the 11th International Business Rules Forum. The 10 revised full papers and 10 revised short papers presented together with 2 demo papers and the abstracts of 3 keynote lectures were carefully reviewed and selected from 35 submissions. The papers are organized in topical sections on rule engineering, rule-based methodologies and applications in policies, electronic contracts and security, rule representation languages and reasoning engines, rule-based methodologies and applications in distributed and heterogeneous environments, natural-language and graphical rule representation and processing, as well as exemplary contributions to the RuleML-2008 challenge. 410 0$aProgramming and Software Engineering ;$v5321 606 $aComputers 606 $aComputer communication systems 606 $aSoftware engineering 606 $aData mining 606 $aInformation Systems and Communication Service$3https://scigraph.springernature.com/ontologies/product-market-codes/I18008 606 $aComputer Communication Networks$3https://scigraph.springernature.com/ontologies/product-market-codes/I13022 606 $aSoftware Engineering/Programming and Operating Systems$3https://scigraph.springernature.com/ontologies/product-market-codes/I14002 606 $aData Mining and Knowledge Discovery$3https://scigraph.springernature.com/ontologies/product-market-codes/I18030 606 $aModels and Principles$3https://scigraph.springernature.com/ontologies/product-market-codes/I18016 606 $aSoftware Engineering$3https://scigraph.springernature.com/ontologies/product-market-codes/I14029 615 0$aComputers. 615 0$aComputer communication systems. 615 0$aSoftware engineering. 615 0$aData mining. 615 14$aInformation Systems and Communication Service. 615 24$aComputer Communication Networks. 615 24$aSoftware Engineering/Programming and Operating Systems. 615 24$aData Mining and Knowledge Discovery. 615 24$aModels and Principles. 615 24$aSoftware Engineering. 676 $a005.72 702 $aBassiliades$b Nick$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aGovernatori$b Guido$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aPaschke$b Adrian$4edt$4http://id.loc.gov/vocabulary/relators/edt 712 12$aRuleML 2008 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a996466336003316 996 $aRule Representation, Interchange and Reasoning on the Web$9774084 997 $aUNISA