Rules and Reasoning - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

16
(FIVE YEARS 0)

H-INDEX

4
(FIVE YEARS 0)

Published By Springer International Publishing

9783319612515, 9783319612522
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

A Set-Theoretic Approach to ABox Reasoning Services

2017 ◽  
pp. 87-102 ◽  
Author(s):  
Domenico Cantone ◽  
Marianna Nicolosi-Asmundo ◽  
Daniele Francesco Santamaria
Keyword(s):  
Theoretic Approach

scholarly journals Three Methods for Revising Hybrid Knowledge Bases

2017 ◽  
pp. 37-52
Author(s):  
Sebastian Binnewies ◽  
Zhiqiang Zhuang ◽  
Kewen Wang
Keyword(s):  
Knowledge Bases ◽  
Hybrid Knowledge

scholarly journals Using Rule-Based Reasoning for RDF Validation

2017 ◽  
pp. 22-36 ◽  
Author(s):  
Dörthe Arndt ◽  
Ben De Meester ◽  
Anastasia Dimou ◽  
Ruben Verborgh ◽  
Erik Mannens
Keyword(s):  
Rule Based

ArgQL: A Declarative Language for Querying Argumentative Dialogues

2017 ◽  
pp. 230-237 ◽  
Author(s):  
Dimitra Zografistou ◽  
Giorgos Flouris ◽  
Dimitris Plexousakis
Keyword(s):  
Declarative Language

scholarly journals Verifying Controllability of Time-Aware Business Processes

2017 ◽  
pp. 103-118 ◽  
Author(s):  
Emanuele De Angelis ◽  
Fabio Fioravanti ◽  
Maria Chiara Meo ◽  
Alberto Pettorossi ◽  
Maurizio Proietti
Keyword(s):  
Business Processes ◽  
Time Aware

scholarly journals On the Chase for All Provenance Paths with Existential Rules

2017 ◽  
pp. 135-150
Author(s):  
Abdelraouf Hecham ◽  
Pierre Bisquert ◽  
Madalina Croitoru
Load More ...
Sign in / Sign up

Export Citation Format

Share Document