Rules and Reasoning : International Joint Conference, RuleML+RR 2017, London, UK, July 12–15, 2017, Proceedings /

Detalles Bibliográficos
Autor Corporativo:	SpringerLink (Online service)
Otros Autores:	Costantini, Stefania. (Editor ), Franconi, Enrico. (Editor ), Van Woensel, William. (Editor ), Kontchakov, Roman. (Editor ), Sadri, Fariba. (Editor ), Roman, Dumitru. (Editor )
Formato:	eBook
Lenguaje:	English
Publicado:	Cham : Springer International Publishing : Imprint: Springer, 2017.
Edición:	1st ed. 2017.
Colección:	Programming and Software Engineering ; 10364
Materias:	Computer programming. Programming languages (Electronic computers). Mathematical logic. Artificial intelligence. Software engineering. Application software. Programming Techniques. Programming Languages, Compilers, Interpreters. Mathematical Logic and Formal Languages. Artificial Intelligence. Software Engineering. Computer Applications.

Tabla de Contenidos:

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.

Ejemplares similares