researchr
explore
Tags
Journals
Conferences
Authors
Profiles
Groups
calendar
New Conferences
Events
Deadlines
search
search
You are not signed in
Sign in
Sign up
Links
Filter by Year
[+]
OR
AND
NOT
1
2004
2005
2006
2007
2008
2009
2010
2011
2012
2013
2014
2015
2016
2017
2018
2019
2020
2021
2022
2023
Filter by Tag
[+]
OR
AND
NOT
1
Meta-Environment
OWL
SWRL
XML
XML Schema
architecture
business rules
context-aware
data-flow
e-science
logic
logic programming
ontologies
ontology
programming
rule-based
rules
semantic web
semantics
systematic-approach
Filter by Author
[+]
OR
AND
NOT
1
Adrian Paschke
Antonino Rotolo
Benjamin N. Grosof
Czeslaw Jedrzejek
Davide Sottara
Emanuel Sallinger
Gen Zou
Ginés Moreno
Grigoris Antoniou
Guido Governatori
Harold Boley
Jan Vanthienen
Jaroslaw Bak
Joost Vennekens
Luigi Bellomarini
Mark Proctor
Nick Bassiliades
Tara Athan
Thom W. Frühwirth
Tomás Kliegr
Filter by Top terms
[+]
OR
AND
NOT
1
approach
business
data
defeasible
event
international
knowledge
language
learning
logic
proceedings
reasoning
rule
ruleml
rules
semantic
system
systems
using
web
Tags
artificial intelligence, business rules, Semantic Web, norms
reasoning
RIF, RuleML, SBVR, DMN, CEP, CL, Prolog, LegalRuleML, PRR, Reaction Rules, Reaction RuleML, ECA
RuleML (ruleml)
Editions
Publications
Viewing Publication 1 - 100 from 694
2023
Reasoning about Ingredient Substitutions with Ontologies and Rules
Weronika T. Adrian
,
Maciej Kutyla
,
Jedrzej Potoniec
,
Agnieszka Lawrynowicz
.
ruleml 2023
:
[doi]
Defeasible Reasoning with Large Language Models - Initial Experiments and Future Directions
Grigoris Antoniou
,
Sotiris Batsakis
.
ruleml 2023
:
[doi]
Explainable Game Strategy Rule Learning from Video
Daniel Cyrus
,
Ghazal Afroozi Milani
,
Alireza Tamaddoni-Nezhad
.
ruleml 2023
:
[doi]
Reasoning over Health Records with Vadalog: a Rule-based Approach to Patient Pathways
Owen P. Dwyer
,
Teodoro Baldazzi
,
Jim Davies
,
Emanuel Sallinger
,
Adriano Vlad
.
ruleml 2023
:
[doi]
Sound Logic without Paradox
David A. Fisher
,
Stephen Fisher
,
Donna M. Lambie
.
ruleml 2023
:
[doi]
Semantic Querying of Integrated Raster and Relational Data: A Virtual Knowledge Graph Approach
Arka Ghosh
,
Mantas Simkus
,
Diego Calvanese
.
ruleml 2023
:
[doi]
GPT-3 for Decision Logic Modeling
Alexandre Goossens
,
Simon Vandevelde
,
Jan Vanthienen
,
Joost Vennekens
.
ruleml 2023
:
[doi]
Multi-agent Online Planning Architecture for Real-time Compliance
Hisashi Hayashi
,
Theodoros Mitsikas
,
Yousef Taheri
,
Kanae Tsushima
,
Ralph Schäfermeier
,
Gauvain Bourgne
,
Jean-Gabriel Ganascia
,
Adrian Paschke
,
Ken Satoh
.
ruleml 2023
:
[doi]
Towards Complex Event Processing for Clinical Decision Support using FHIR
Gerhard Kober
,
Livio Robaldo
,
Adrian Paschke
.
ruleml 2023
:
[doi]
An Ontology-based Approach for Detecting and Classifying Inappropriate Prescribing
Guilherme Redeker
,
Juliana Bowles
.
ruleml 2023
:
[doi]
Proceedings of the 17th International Rule Challenge and 7th Doctoral Consortium @ RuleML+RR 2023 co-located with 19th Reasoning Web Summer School (RW 2023) and 15th DecisionCAMP 2023 as part of Declarative AI 2023, Oslo, Norway, 18 - 20 September, 2023
Jan Vanthienen
,
Tomás Kliegr
,
Paul Fodor
,
Davide Lanti
,
Dörthe Arndt
,
Egor V. Kostylev
,
Theodoros Mitsikas
,
Ahmet Soylu
, editors,
Volume 3485 of
CEUR Workshop Proceedings
, CEUR-WS.org,
2023.
[doi]
Towards Techniques for Updating Virtual Knowledge Graphs
Romuald Esdras Wandji
,
Mantas Simkus
,
Diego Calvanese
.
ruleml 2023
:
[doi]
Towards a Human-Centered Framework for the Assessment of Subjective Social Values in Buildings
Yazan Nidal Hasan Zayed
.
ruleml 2023
:
[doi]
2022
On the Generalization of Learned Constraints for ASP Solving in Temporal Domains
Javier Romero 0003
,
Torsten Schaub
,
Klaus Strauch
.
ruleml 2022
:
20-37
[doi]
Expressing Biological Problems with Logical Reasoning Languages
Tommaso Alfonsi
,
Luigi Bellomarini
,
Anna Bernasconi 0002
,
Stefano Ceri
.
ruleml 2022
:
[doi]
Explaining Ontology-Mediated Query Answers Using Proofs over Universal Models
Christian Alrabbaa
,
Stefan Borgwardt
,
Patrick Koopmann
,
Alisa Kovtunova
.
ruleml 2022
:
167-182
[doi]
In the Head of the Beholder: Comparing Different Proof Representations
Christian Alrabbaa
,
Stefan Borgwardt
,
Anke Hirsch
,
Nina Knieriemen
,
Alisa Kovtunova
,
Anna Milena Rothermel
,
Frederik Wiehr
.
ruleml 2022
:
211-226
[doi]
RUBEN: A Rule Engine Benchmarking Framework
Kevin Angele
,
Jürgen Angele
,
Umutcan Simsek
,
Dieter Fensel
.
ruleml 2022
:
[doi]
Proceedings of the 16th International Rule Challenge and 6th Doctoral Consortium @ RuleML+RR 2022 co-located with 18th Reasoning Web Summer School (RW 2022) and 14th DecisionCAMP 2022 as part of Declarative AI 2022, Berlin, Germany (virtual due to Covid-19 pandemic), 26 - 28 September, 2022
Dörthe Arndt
,
Ahmet Soylu
,
Jan Vanthienen
,
Evgeny Kharlamov
,
Alexander Steen
, editors,
Volume 3229 of
CEUR Workshop Proceedings
, CEUR-WS.org,
2022.
[doi]
iWarded: A Versatile Generator to Benchmark Warded Datalog+/- Reasoning
Paolo Atzeni
,
Teodoro Baldazzi
,
Luigi Bellomarini
,
Emanuel Sallinger
.
ruleml 2022
:
113-129
[doi]
Eℒ Based on Optimal Repairs
Franz Baader
,
Francesco Kriegel
,
Adrian Nuradiansyah
.
ruleml 2022
:
227-243
[doi]
The Temporal Vadalog System
Luigi Bellomarini
,
Livia Blasi
,
Markus Nissl
,
Emanuel Sallinger
.
ruleml 2022
:
130-145
[doi]
Validation of Autonomous Vehicle Overtaking under Queensland Road Rules
Hanif Bhuiyan
,
Guido Governatori
,
Andy Bond
,
Andry Rakotonirainy
.
ruleml 2022
:
[doi]
A Rule-Based Behaviour Planner for Autonomous Driving
Frédéric Bouchard
,
Sean Sedwards
,
Krzysztof Czarnecki
.
ruleml 2022
:
263-279
[doi]
The Stream Reasoning System I-DLV-sr: Enhancements and Applications in Smart Cities
Francesco Calimeri
,
Elena Mastria
,
Simona Perri
,
Jessica Zangari
.
ruleml 2022
:
38-53
[doi]
KLM-Style Defeasibility for Restricted First-Order Logic
Giovanni Casini
,
Thomas Meyer
,
Guy Paterson-Jones
,
Ivan Varzinczak
.
ruleml 2022
:
81-94
[doi]
Cooperation Among Groups of Agents in the Epistemic Logic L-DINF
Stefania Costantini
,
Andrea Formisano 0001
,
Valentina Pitoni
.
ruleml 2022
:
280-295
[doi]
From Defeasible Logic to Counterfactual Reasoning
Matteo Cristani
,
Guido Governatori
,
Francesco Olivieri
,
Antonino Rotolo
.
ruleml 2022
:
65-80
[doi]
An Existential Rule Framework for Computing Why-Provenance On-Demand for Datalog
Ali Elhalawati
,
Markus Krötzsch
,
Stephan Mennicke
.
ruleml 2022
:
146-163
[doi]
Semantic Characterizations of AGM Revision for Tarskian Logics
Faiq Miftakhul Falakh
,
Sebastian Rudolph
,
Kai Sauerwald
.
ruleml 2022
:
95-110
[doi]
Magic Sets in Interpolation-Based Rule Driven Query Optimization
Eva Feng
,
David Toman 0001
,
Grant E. Weddell
.
ruleml 2022
:
198-207
[doi]
Rules and Reasoning - 6th International Joint Conference on Rules and Reasoning, RuleML+RR 2022, Berlin, Germany, September 26-28, 2022, Proceedings
Guido Governatori
,
Anni-Yasmin Turhan
, editors,
Volume 13752 of
Lecture Notes in Computer Science
, Springer,
2022.
[doi]
MLN
Susana Hahn
,
Tomi Janhunen
,
Roland Kaminski
,
Javier Romero 0003
,
Nicolas Rühling
,
Torsten Schaub
.
ruleml 2022
:
54-62
[doi]
Robust Traffic Rules and Knowledge Representation for Conflict Resolution in Autonomous Driving
Kumar Manas
,
Stefan Zwicklbauer
,
Adrian Paschke
.
ruleml 2022
:
[doi]
Prudens: An Argumentation-Based Language for Cognitive Assistants
Vassilis Markos
,
Loizos Michael
.
ruleml 2022
:
296-304
[doi]
Rule-Based Data Access: A Use-case in Agroecology
Elie Najm
,
Jean-François Baget
,
Marie-Laure Mugnier
.
ruleml 2022
:
[doi]
Declarative Smart Contract Testing by Domain Experts
Kevin J. Purnell
,
Rolf Schwitter
.
ruleml 2022
:
[doi]
Extending the ArgQL Specification
Yannis Roussakis
,
Giorgos Flouris
,
Dimitra Zografistou
,
Elisjana Ymeralli
.
ruleml 2022
:
[doi]
Modeling a GDPR Compliant Data Wallet Application in Prova and AspectOWL
Ralph Schäfermeier
,
Theodoros Mitsikas
,
Adrian Paschke
.
ruleml 2022
:
[doi]
Bridging Between LegalRuleML and TPTP for Automated Normative Reasoning
Alexander Steen
,
David Fuenmayor
.
ruleml 2022
:
244-260
[doi]
High-Utility Action Rules Mining
Lukas Sykora
,
Tomás Kliegr
,
Katerina Hrudková
.
ruleml 2022
:
[doi]
Seminaïve Materialisation in DatalogMTL
Dingmin Wang
,
Przemyslaw Andrzej Walega
,
Bernardo Cuenca Grau
.
ruleml 2022
:
183-197
[doi]
Applying Answer Set Optimization to Preventive Maintenance Scheduling for Rotating Machinery
Anssi Yli-Jyrä
,
Tomi Janhunen
.
ruleml 2022
:
3-19
[doi]
On the Semantics of "null" in DMN: Undefined is not Unknown
Ðorde Markovic
,
Simon Vandevelde
,
Joost Vennekens
,
Marc Denecker
.
ruleml 2022
:
[doi]
2021
Link Traversal with Distributed Subweb Specifications
Bart Bogaerts 0001
,
Bas Ketsman
,
Younes Zeboudj
,
Heba Aamer
,
Ruben Taelman
,
Ruben Verborgh
.
ruleml 2021
:
62-79
[doi]
Validation and Verification of Business Rules
Nor Najihah Zainal Abidin
,
Nurulhuda A. Manaf
,
Nur Amalina Jamaludin
,
Sotiris Moschoyiannis
.
ruleml 2021
:
[doi]
JSON towards a simple Ontology and Rule Language
Kevin Angele
,
Jürgen Angele
.
ruleml 2021
:
[doi]
Reducing Probabilistic Logic Programs
Damiano Azzolini
,
Fabrizio Riguzzi
.
ruleml 2021
:
[doi]
Eliminating Harmful Joins in Warded Datalog+/-
Teodoro Baldazzi
,
Luigi Bellomarini
,
Emanuel Sallinger
,
Paolo Atzeni
.
ruleml 2021
:
267-275
[doi]
Conflict-Free Access Rules for Sharing Smart Patient Health Records
Matthew Banton
,
Juliana Bowles
,
Agastya Silvina
,
Thais Webber
.
ruleml 2021
:
33-47
[doi]
Policy-Based Automated Compliance Checking
Anas Al Bassit
,
Katsiaryna Krasnashchok
,
Sabri Skhiri
,
Majd Mustapha
.
ruleml 2021
:
3-17
[doi]
Structuring Rule Sets Using Binary Decision Diagrams
Florian Beck
,
Johannes Fürnkranz
,
Phuong Huynh Van Quoc
.
ruleml 2021
:
48-61
[doi]
Monotonic Aggregation for Temporal Datalog
Luigi Bellomarini
,
Markus Nissl
,
Emanuel Sallinger
.
ruleml 2021
:
[doi]
Rule-based Blockchain Knowledge Graphs: Declarative AI for Solving Industrial Blockchain Challenges
Luigi Bellomarini
,
Giuseppe Galano
,
Markus Nissl
,
Emanuel Sallinger
.
ruleml 2021
:
[doi]
Event-Based Microcontroller Programming in Datalog
Stefan Brass
.
ruleml 2021
:
80-94
[doi]
Combining Deep Learning and ASP-Based Models for the Semantic Segmentation of Medical Images
Pierangela Bruno
,
Francesco Calimeri
,
Cinzia Marte
,
Marco Manna
.
ruleml 2021
:
95-110
[doi]
A Two-Phase ASP Encoding for Solving Rehabilitation Scheduling
Matteo Cardellini
,
Paolo De Nardi
,
Carmine Dodaro
,
Giuseppe Galatà
,
Anna Giardini
,
Marco Maratea
,
Ivan Porro
.
ruleml 2021
:
111-125
[doi]
An Answer Set Programming Based Framework for High-Utility Pattern Mining Extended with Facets and Advanced Utility Functions
Francesco Cauteruccio
,
Giorgio Terracina
.
ruleml 2021
:
126-141
[doi]
Rule Learning from Time-Dependent Data Applied to Fraud Detection
Marine Collery
.
ruleml 2021
:
[doi]
Learning Decision Rules or Learning Decision Models?
Christian de Sainte Marie
.
ruleml 2021
:
276-283
[doi]
Question Answering over Knowledge Graphs
Sareh Aghaei Dinani
.
ruleml 2021
:
[doi]
Automatically Linking Concepts in Distributed, Cloud-Based Manufacturing Environments
Damian Drexel
.
ruleml 2021
:
[doi]
Extracting Decision Model Components from Natural Language Text for Automated Business Decision Modelling
Vedavyas Etikala
.
ruleml 2021
:
[doi]
Automatic Generation of Intelligent Chatbots from DMN Decision Models
Vedavyas Etikala
,
Alexandre Goossens
,
Ziboud Van Veldhoven
,
Jan Vanthienen
.
ruleml 2021
:
142-157
[doi]
Deep Learning for the Identification of Decision Modelling Components from Text
Alexandre Goossens
,
Michelle Claessens
,
Charlotte Parthoens
,
Jan Vanthienen
.
ruleml 2021
:
158-171
[doi]
Combining Sub-symbolic and Symbolic Methods for Explainability
Anna Himmelhuber
,
Stephan Grimm
,
Sonja Zillner
,
Mitchell Joblin
,
Martin Ringsquandl
,
Thomas A. Runkler
.
ruleml 2021
:
172-187
[doi]
Representing and executing a Medical Guideline using Prova
Gerhard Kober
,
Adrian Paschke
.
ruleml 2021
:
[doi]
Understanding Misinformation: Perspectives on Emerging Issues
Astrid Krickl
.
ruleml 2021
:
[doi]
Practical Rule-Based Qualitative Temporal Reasoning for the Semantic Web
Guilherme Lima
,
Marcelo Machado
,
Rosario Uceda-Sosa
,
Márcio Ferreira Moreno
.
ruleml 2021
:
188-202
[doi]
Correctness of Automatically Generated Choreography Specifications
Nurulhuda A. Manaf
,
Nor Najihah Zainal Abidin
,
Nur Amalina Jamaludin
.
ruleml 2021
:
18-32
[doi]
Rules and Reasoning - 5th International Joint Conference, RuleML+RR 2021, Leuven, Belgium, September 13-15, 2021, Proceedings
Sotiris Moschoyiannis
,
Rafael Peñaloza
,
Jan Vanthienen
,
Ahmet Soylu
,
Dumitru Roman
, editors,
Volume 12851 of
Lecture Notes in Computer Science
, Springer,
2021.
[doi]
(Linked) Data Quality Assessment: An Ontological Approach
Aparna Nayak
,
Bojan Bozic
,
Luca Longo
.
ruleml 2021
:
[doi]
Logic Rules Meet Deep Learning: A Novel Approach for Ship Type Classification
Manolis Pitsikalis
,
Thanh-Toan Do
,
Alexei Lisitsa
,
Shan Luo
.
ruleml 2021
:
203-217
[doi]
An Evaluation of Meta-reasoning over OWL 2 QL
Haya Majid Qureshi
,
Wolfgang Faber 0001
.
ruleml 2021
:
218-233
[doi]
Proceedings of the 15th International Rule Challenge, 7th Industry Track, and 5th Doctoral Consortium @ RuleML+RR 2021 co-located with 17th Reasoning Web Summer School (RW 2021) and 13th DecisionCAMP 2021 as part of Declarative AI 2021, Leuven, Belgium (virtual due to Covid-19 pandemic), 8 - 15 September, 2021
Ahmet Soylu
,
Alireza Tamaddoni-Nezhad
,
Nikolay Nikolov
,
Ioan Toma
,
Anna Fensel
,
Joost Vennekens
, editors,
Volume 2956 of
CEUR Workshop Proceedings
, CEUR-WS.org,
2021.
[doi]
cl-psoatransrun: An Efficiently Executable Specification of PSOA RuleML in Common Lisp
Mark Thom
,
Harold Boley
,
Theodoros Mitsikas
.
ruleml 2021
:
234-249
[doi]
RoboCIM: Towards a Domain Model for Industrial Robot System Configurators
Daniella Tola
,
Cláudio Gomes 0001
,
Carl P. L. Schultz
,
Christian Schlette
,
Casper Hansen
,
Lukas Esterle
.
ruleml 2021
:
[doi]
Leveraging the Power of IDP with the Flexibility of DMN: A Multifunctional API
Simon Vandevelde
,
Vedavyas Etikala
,
Jan Vanthienen
,
Joost Vennekens
.
ruleml 2021
:
250-263
[doi]
Commonsense Reasoning with Argumentation for Cognitive Robotics
Alexandros Vassiliades
,
Nick Bassiliades
,
Theodore Patkos
.
ruleml 2021
:
[doi]
VRule - A Rule-Based Pixel Rewriting System for End-User Modeling
Rick Vinyard
.
ruleml 2021
:
[doi]
2020
Tackling the DMN Challenges with cDMN: A Tight Integration of DMN and Constraint Reasoning
Bram Aerts
,
Simon Vandevelde
,
Joost Vennekens
.
ruleml 2020
:
23-38
[doi]
DeRool: A rule-based dialog engine
Kevin Angele
,
Jürgen Angele
.
ruleml 2020
:
157-168
[doi]
An ASP-Based Approach to Counterfactual Explanations for Classification
Leopoldo E. Bertossi
.
ruleml 2020
:
70-81
[doi]
Advanced Syntax and Compilation for Probabilistic Production Rules with PRM
Gaspard Ducamp
,
Philippe Bonnard
,
Christian de Sainte Marie
,
Pierre-Henri Wuillemin
.
ruleml 2020
:
103-110
[doi]
Towards the use of Situation Hierarchies for supporting Decision Making: A Formal Lattice-Based Approach
Franco Giustozzi
,
Julien Saunier
,
Cecilia Zanni-Merk
.
ruleml 2020
:
73-86
[doi]
On the Formal Representation of the Australian Spent Conviction Scheme
Guido Governatori
,
Pompeu Casanovas Romeu
,
Louis de Koker
.
ruleml 2020
:
177-185
[doi]
Rule-Based Multi-label Classification: Challenges and Opportunities
Eyke Hüllermeier
,
Johannes Fürnkranz
,
Eneldo Loza Mencía
,
Vu-Linh Nguyen
,
Michael Rapp
.
ruleml 2020
:
3-19
[doi]
Rule Extraction via Dynamic Discretization with an Application to Air Quality Modelling
Joanna Kaminska
,
Estrella Lucena-Sánchez
,
Guido Sciavicco
,
Ionel Eduard Stan
.
ruleml 2020
:
42-57
[doi]
Distributed Reasoning for Restricted Weakly-Linear Disjunctive Tuple-Generating Dependencies
Arash Karimi
,
Jia-Huai You
.
ruleml 2020
:
140-149
[doi]
New Rule Induction Method by Use of a Co-occurrence Set from the Decision Table
Yuichi Kato
,
Tetsuro Saeki
.
ruleml 2020
:
54-69
[doi]
Distributed Medical Rule Engine (DMRE)-Project
Gerhard Kober
.
ruleml 2020
:
87-94
[doi]
Using PROVA-Rule Engine as Dispatching-Service for FHIR-Observation-Resources
Gerhard Kober
,
Adrian Paschke
.
ruleml 2020
:
1-9
[doi]
Toward a Transparent Recommender System
Grzegorz P. Mika
.
ruleml 2020
:
111-119
[doi]
Symbolic Similarity Relations for Tuning Fully Integrated Fuzzy Logic Programs
Ginés Moreno
,
José A. Riaza
.
ruleml 2020
:
150-158
[doi]
Digital Marketing knowledge transfer to a rule-based reasoning system for massive optimization of campaigns
Fernando Perales
,
Ignacio Martínez
,
Javier Bielsa
,
Jose Cabanillas
,
Francisco Rodríguez
.
ruleml 2020
:
120-132
[doi]
Supporting Metamodeling in Ontologies Using Rules
Haya Majid Qureshi
,
Wolfgang Faber 0001
.
ruleml 2020
:
95-102
[doi]
Benchmark for Performance Evaluation of SHACL Implementations in Graph Databases
Robert Schaffenrath
,
Daniel Proksch
,
Markus Kopp
,
Iacopo Albasini
,
Oleksandra Panasiuk
,
Anna Fensel
.
ruleml 2020
:
82-96
[doi]
Dialogue Games for Explaining Medication Choices
Qurat-ul-ain Shaheen
,
Alice Toniolo
,
Juliana Küster Filipe Bowles
.
ruleml 2020
:
97-111
[doi]
Action Rules: Counterfactual Explanations in Python
Lukas Sykora
,
Tomás Kliegr
.
ruleml 2020
:
28-41
[doi]
Invertible Bidirectional Metalogical Translation Between Prolog and RuleML for Knowledge Representation and Querying
Mark Thom
,
Harold Boley
,
Theodoros Mitsikas
.
ruleml 2020
:
112-128
[doi]
Sign in
or
sign up
to see more results.