default search action

combined dblp search
author search
venue search
publication search

ask others

RuleML+RR 2017: London, UK

> Home > Conferences and Workshops > RuleML+RR

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
  authority control:
- export record
  dblp key:
  - conf/ruleml/2017
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ruleml/2017
Stefania Costantini, Enrico Franconi, William Van Woensel, Roman Kontchakov, Fariba Sadri, Dumitru Roman:
Rules and Reasoning - International Joint Conference, RuleML+RR 2017, London, UK, July 12-15, 2017, Proceedings. Lecture Notes in Computer Science 10364, Springer 2017, ISBN 978-3-319-61251-5
- view
  authority control:
- export record
  dblp key:
  - conf/ruleml/Muggleton17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ruleml/Muggleton17
Stephen H. Muggleton:
Meta-Interpretive Learning: Achievements and Challenges (Invited Paper). 1-6
- view
  authority control:
- export record
  dblp key:
  - conf/ruleml/AlbertiGLRZ17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ruleml/AlbertiGLRZ17
Marco Alberti, Marco Gavanelli, Evelina Lamma, Fabrizio Riguzzi, Riccardo Zese:
Dischargeable Obligations in Abductive Logic Programming. 7-21
- view
  authority control:
- export record
  dblp key:
  - conf/ruleml/ArndtMDVM17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ruleml/ArndtMDVM17
Dörthe Arndt, Ben De Meester, Anastasia Dimou, Ruben Verborgh, Erik Mannens:
Using Rule-Based Reasoning for RDF Validation. 22-36
- view
  authority control:
- export record
  dblp key:
  - conf/ruleml/BinnewiesZW17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ruleml/BinnewiesZW17
Sebastian Binnewies, Zhiqiang Zhuang, Kewen Wang:
Three Methods for Revising Hybrid Knowledge Bases. 37-52
- view
  authority control:
- export record
  dblp key:
  - conf/ruleml/BriolaM17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ruleml/BriolaM17
Daniela Briola, Viviana Mascardi:
Can My Test Case Run on Your Test Plant? A Logic-Based Compliance Check and Its Evaluation on Real Data. 53-69
- view
  authority control:
- export record
  dblp key:
  - conf/ruleml/CalvaneseDMM17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ruleml/CalvaneseDMM17
Diego Calvanese, Marlon Dumas, Fabrizio Maria Maggi, Marco Montali:
Semantic DMN: Formalizing Decision Models with Domain Knowledge. 70-86
- view
  authority control:
- export record
  dblp key:
  - conf/ruleml/CantoneAS17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ruleml/CantoneAS17
Domenico Cantone, Marianna Nicolosi Asmundo, Daniele Francesco Santamaria:
A Set-Theoretic Approach to ABox Reasoning Services. 87-102
- view
  authority control:
- export record
  dblp key:
  - conf/ruleml/AngelisFMPP17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ruleml/AngelisFMPP17
Emanuele De Angelis, Fabio Fioravanti, Maria Chiara Meo, Alberto Pettorossi, Maurizio Proietti:
Verifying Controllability of Time-Aware Business Processes. 103-118
- view
  authority control:
- export record
  dblp key:
  - conf/ruleml/GallF17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ruleml/GallF17
Daniel Gall, Thom W. Frühwirth:
A Decidable Confluence Test for Cognitive Models in ACT-R. 119-134
- view
  authority control:
- export record
  dblp key:
  - conf/ruleml/HechamBC17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ruleml/HechamBC17
Abdelraouf Hecham, Pierre Bisquert, Madalina Croitoru:
On the Chase for All Provenance Paths with Existential Rules. 135-150
- view
  authority control:
- export record
  dblp key:
  - conf/ruleml/AlfonsoS17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ruleml/AlfonsoS17
Enrique Matos Alfonso, Giorgos Stamou:
Rewriting Queries with Negated Atoms. 151-167
- view
  authority control:
- export record
  dblp key:
  - conf/ruleml/MeilickeRNPS17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ruleml/MeilickeRNPS17
Christian Meilicke, Daniel Ruffinelli, Andreas Nolle, Heiko Paulheim, Heiner Stuckenschmidt:
Fast ABox Consistency Checking Using Incomplete Reasoning and Caching. 168-183
- view
  authority control:
- export record
  dblp key:
  - conf/ruleml/MorenoR17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ruleml/MorenoR17
Ginés Moreno, José A. Riaza:
An Online Tool for Tuning Fuzzy Logic Programs. 184-198
- view
  authority control:
- export record
  dblp key:
  - conf/ruleml/ParamonovSM17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ruleml/ParamonovSM17
Sergey Paramonov, Daria Stepanova, Pauli Miettinen:
Hybrid ASP-Based Approach to Pattern Mining. 199-214
- view
  authority control:
- export record
  dblp key:
  - conf/ruleml/Penaloza17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ruleml/Penaloza17
Rafael Peñaloza:
Inconsistency-Tolerant Instance Checking in Tractable Description Logics. 215-229
- view
  authority control:
- export record
  dblp key:
  - conf/ruleml/ZografistouFP17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ruleml/ZografistouFP17
Dimitra Zografistou, Giorgos Flouris, Dimitris Plexousakis:
ArgQL: A Declarative Language for Querying Argumentative Dialogues. 230-237

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.