default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDRuleML+RR 2017: London, UK
- 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 - Stephen H. Muggleton:
Meta-Interpretive Learning: Achievements and Challenges (Invited Paper). 1-6 - Marco Alberti
, Marco Gavanelli, Evelina Lamma, Fabrizio Riguzzi, Riccardo Zese:
Dischargeable Obligations in Abductive Logic Programming. 7-21 - Dörthe Arndt, Ben De Meester, Anastasia Dimou, Ruben Verborgh, Erik Mannens:
Using Rule-Based Reasoning for RDF Validation. 22-36 - Sebastian Binnewies, Zhiqiang Zhuang, Kewen Wang:
Three Methods for Revising Hybrid Knowledge Bases. 37-52 - 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 - Diego Calvanese, Marlon Dumas, Fabrizio Maria Maggi, Marco Montali:
Semantic DMN: Formalizing Decision Models with Domain Knowledge. 70-86 - Domenico Cantone, Marianna Nicolosi Asmundo, Daniele Francesco Santamaria:
A Set-Theoretic Approach to ABox Reasoning Services. 87-102 - Emanuele De Angelis, Fabio Fioravanti, Maria Chiara Meo, Alberto Pettorossi, Maurizio Proietti:
Verifying Controllability of Time-Aware Business Processes. 103-118 - Daniel Gall, Thom W. Frühwirth:
A Decidable Confluence Test for Cognitive Models in ACT-R. 119-134 - Abdelraouf Hecham, Pierre Bisquert, Madalina Croitoru:
On the Chase for All Provenance Paths with Existential Rules. 135-150 - Enrique Matos Alfonso, Giorgos Stamou:
Rewriting Queries with Negated Atoms. 151-167 - Christian Meilicke, Daniel Ruffinelli, Andreas Nolle, Heiko Paulheim, Heiner Stuckenschmidt:
Fast ABox Consistency Checking Using Incomplete Reasoning and Caching. 168-183 - Ginés Moreno, José A. Riaza:
An Online Tool for Tuning Fuzzy Logic Programs. 184-198 - Sergey Paramonov, Daria Stepanova, Pauli Miettinen:
Hybrid ASP-Based Approach to Pattern Mining. 199-214 - Rafael Peñaloza:
Inconsistency-Tolerant Instance Checking in Tractable Description Logics. 215-229 - 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.
last updated on 2025-02-05 20:40 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
