Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDRuleML+RR 2018: Luxembourg
- Christoph Benzmüller, Francesco Ricca, Xavier Parent, Dumitru Roman:
Rules and Reasoning - Second International Joint Conference, RuleML+RR 2018, Luxembourg, September 18-21, 2018, Proceedings. Lecture Notes in Computer Science 11092, Springer 2018, ISBN 978-3-319-99905-0
Invited Papers
- Luigi Bellomarini, Georg Gottlob, Andreas Pieris, Emanuel Sallinger:
Vadalog: A Language and System for Knowledge Graphs. 3-8 - Guido Governatori
:
Modal Rules: Extending Defeasible Logic with Modal Operators. 9-30
Full Papers
- Francesco Calimeri, Francesco Cauteruccio, Aldo Marzullo, Claudio Stamile, Giorgio Terracina:
Mixing Logic Programming and Neural Networks to Support Neurological Disorders Analysis. 33-47 - Stathis Delivorias, Michel Leclère, Marie-Laure Mugnier, Federico Ulliana:
On the k-Boundedness for Existential Rules. 48-64 - Fred Freitas, Ivan Varzinczak:
Cardinality Restrictions Within Description Logic Connection Calculi. 65-80 - Abdelraouf Hecham, Madalina Croitoru, Pierre Bisquert:
A First Order Logic Benchmark for Defeasible Reasoning Tool Profiling. 81-97 - Arash Karimi, Heng Zhang, Jia-Huai You:
Restricted Chase Termination: A Hierarchical Approach and Experimentation. 98-114 - Enrique Matos Alfonso, Giorgos Stamou:
On Horn Conjunctive Queries. 115-130 - Falco Nogatz, Thom W. Frühwirth, Dietmar Seipel:
CHR.js: A CHR Implementation in JavaScript. 131-146 - Romain Rincé, Romain Kervarc, Philippe Leray:
Complex Event Processing Under Uncertainty Using Markov Chains, Constraints, and Sampling. 147-163 - Patrick Rodler, Wolfgang Schmid:
On the Impact and Proper Use of Heuristics in Test-Driven Ontology Debugging. 164-184 - Sebastian Rudolph, Lukas Schweizer, Satyadharma Tirtarasa:
Justifications for Description Logic Knowledge Bases Under the Fixed-Domain Semantics. 185-200
Technical Communication Papers
- Sofia Almpani, Petros S. Stefaneas, Harold Boley, Theodoros Mitsikas, Panayiotis Frangos:
Computational Regulation of Medical Devices in PSOA RuleML. 203-210 - Christian Alrabbaa, Sebastian Rudolph, Lukas Schweizer:
Faceted Answer-Set Navigation. 211-225 - Renan Gomes Barreto, Lucas Oliveira Costa Aversari, Cecília Neta Alves Pegado Gomes, Natasha Correia Queiroz Lino:
Clinical Decision Support Based on OWL Queries in a Knowledge-as-a-Service Architecture. 226-238 - Domenico Cantone, Marianna Nicolosi Asmundo, Daniele Francesco Santamaria:
An Optimized KE-Tableau-Based System for Reasoning in the Description Logic $${\mathcal {DL}}_{{\mathbf {D}}}^{4, \!\times }$$. 239-247 - Marjolein Deryck, Faruk Hasic, Jan Vanthienen, Joost Vennekens:
A Case-Based Inquiry into the Decision Model and Notation (DMN) and the Knowledge Base (KB) Paradigm. 248-263 - Thom W. Frühwirth:
Rule-Based Drawing, Analysis and Generation of Graphs Applied to Mason's Mark Design. 264-273 - Tobias Gleißner, Alexander Steen:
The MET: The Art of Flexible Reasoning with Modalities. 274-284 - Prateek Jain, Peter Z. Yeh, William Jarrold, Ezra Story, Julien Villemure, David L. Martin:
Nuance Reasoning Framework: A Rule-Based System for Semantic Query Rewriting. 285-292 - Matthew R. Karlsen, Sotiris Moschoyiannis:
Learning Condition-Action Rules for Personalised Journey Recommendations. 293-301 - Kalliopi Kravari, Nick Bassiliades:
A Rule-Based eCommerce Methodology for the IoT Using Trustworthy Intelligent Agents and Microservices. 302-309 - Francesco Calimeri, Stefano Germano, Giovambattista Ianni, Francesco Pacenza, Simona Perri, Jessica Zangari:
Integrating Rule-Based AI Tools into Mainstream Game Development. 310-317 - Carl Schultz, Mehul Bhatt, Jakob Suchan, Przemyslaw Andrzej Walega:
Answer Set Programming Modulo 'Space-Time'. 318-326
a service of 
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 2024-04-22 20:01 CEST 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:
