International Joint Conference, RuleML+RR 2017, London, UK, July 1215, 2017, Proceedings
De som köpt den här boken har ofta också köpt The Anxious Generation av Jonathan Haidt (inbunden).
Köp båda 2 för 1049 krOpening the Black Box: Deriving Rules from Data.- The secret life of rules in Software Engineering.- Meta-Interpretive Learning: achievements and challenges.- Dischargeable Obligations in Abductive Logic Programming.- Using Rule-Based Reasoning for RDF Validation.- Three Methods for Revising Hybrid Knowledge Bases.- Can My Test Case Run on Your Test Plant? A Logic-Based Compliance Check and its Evaluation on Real Data.- Semantic DMN: Formalizing Decision Models with Domain Knowledge.- A set-theoretic approach to ABox reasoning services.- Verifying Controllability of Time-Aware Business Processes.- A Decidable Conuence Test for Cognitive Models in ACT-R.- On the Chase for All Provenance Paths With Existential Rules.- Rewriting Queries with Negated Atoms.- Fast ABox Consistency Checking using Incomplete Reasoning and Caching.- An Online Tool for Tuning Fuzzy Logic Programs.- Hybrid ASP-based Approach to Pattern Mining.- nconsistency-tolerant Instance Checking in Tractable Description Logics.- ArgQL: A Declarative Language for Querying Argumentative Dialogues.