Rules and Reasoning
-15%
portes grátis
Rules and Reasoning
International Joint Conference, RuleML+RR 2017, London, UK, July 12-15, 2017, Proceedings
Roman, Dumitru; Franconi, Enrico; Costantini, Stefania; Kontchakov, Roman; Sadri, Fariba; Van Woensel, William
Springer International Publishing AG
06/2017
239
Mole
Inglês
9783319612515
15 a 20 dias
3985
Descrição não disponível.
Opening 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.
Este título pertence ao(s) assunto(s) indicados(s). Para ver outros títulos clique no assunto desejado.
Temporal Reasoning;Spatial and Physical Reasoning;Rule Learning;Business Rules;Reactive Rules;Association Rules;Logic and Verification;Markup Languages;Modal and Temporal Logics;Description Logics;Proof Theory;Ontologies;Legal Rules;Constraint Handling Rules;Artificial Intelligence;Semantics;Knowledge based systems;Programming languages;World Wide Web;Logic programming
Opening 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.
Este título pertence ao(s) assunto(s) indicados(s). Para ver outros títulos clique no assunto desejado.
Temporal Reasoning;Spatial and Physical Reasoning;Rule Learning;Business Rules;Reactive Rules;Association Rules;Logic and Verification;Markup Languages;Modal and Temporal Logics;Description Logics;Proof Theory;Ontologies;Legal Rules;Constraint Handling Rules;Artificial Intelligence;Semantics;Knowledge based systems;Programming languages;World Wide Web;Logic programming
