RuleML

Keyphrases

Publications

2016

Firas Al Khalil, Marcello Ceci, Kosala Yapa, Leona O'Brien
SBVR to OWL 2 Mapping in the Domain of Legal Rules. RuleML (2016)
Dag Hovland, Davide Lanti, Martin Rezk, Guohui Xiao
OBDA Constraints for Effective Query Answering. RuleML (2016)
Gen Zou, Harold Boley
Minimal Objectification and Maximal Unnesting in PSOA RuleML. RuleML (2016)
Melanie Swan
Blockchain Temporality: Smart Contract Time Specifiability with Blocktime. RuleML (2016)
Nunziato Cassavia, Elio Masciari, Chiara Pulice, Domenico Saccà
A Framework Enhancing the User Search Activity Through Data Posting. RuleML (2016)
William Van Woensel, Patrice C. Roy, Syed Sibte Raza Abidi
SmartRL: A Context-Sensitive, Ontology-Based Rule Language for Assisted Living in Smart Environments. RuleML (2016)
Iliano Cervesato, Edmund Soon Lee Lam, Ali Elgazar
Choreographic Compilation of Decentralized Comprehension Patterns. RuleML (2016)
George Baryannis, Przemyslaw Woznowski, Grigoris Antoniou
Rule-Based Real-Time ADL Recognition in a Smart Home Environment. RuleML (2016)
Hamza Agli, Philippe Bonnard, Christophe Gonzales, Pierre-Henri Wuillemin
Business Rules Uncertainty Management with Probabilistic Relational Models. RuleML (2016)
Neng-Fa Zhou
Programming in Picat. RuleML (2016)
Thom W. Frühwirth
Why Can't You Behave? Non-termination Analysis of Direct Recursive Rules with Constraints. RuleML (2016)
Florian Idelberger, Guido Governatori, Régis Riveret, Giovanni Sartor
Evaluation of Logic-Based Smart Contracts for Blockchain Systems. RuleML (2016)
Ho-Pun Lam, Mustafa Hashmi, Brendan Scofield
Enabling Reasoning with LegalRuleML. RuleML (2016)
Harold Boley
The RuleML Knowledge-Interoperation Hub. RuleML (2016)
Daniel Gall, Thom W. Frühwirth
Translation of Cognitive Models from ACT-R to Constraint Handling Rules. RuleML (2016)
Bill Marino, Ari Juels
Setting Standards for Altering and Undoing Smart Contracts. RuleML (2016)
Olivier Wang, Leo Liberti, Claudia D'Ambrosio, Christian de Sainte Marie, Changhai Ke
Controlling the Average Behavior of Business Rules Programs. RuleML (2016)
Carl P. L. Schultz, Mehul Bhatt
A Numerical Optimisation Based Characterisation of Spatial Reasoning. RuleML (2016)
Greg Harris, Anand V. Panangadan, Viktor K. Prasanna
PRIMER - A Regression-Rule Learning System for Intervention Optimization. RuleML (2016)
Stefania Costantini, Giovanni De Gasperis
Bridge Rules for Reasoning in Component-Based Heterogeneous Environments. RuleML (2016)
Pascual Julián Iranzo, Ginés Moreno, Jaime Penabad, Carlos Vázquez
A Declarative Semantics for a Fuzzy Logic Language Managing Similarities and Truth Degrees. RuleML (2016)
Stefano Ferilli
Handling Complex Process Models Conditions Using First-Order Horn Clauses. RuleML (2016)

volume 9718, 2016

Rule Technologies. Research, Tools, and Applications - 10th International Symposium, RuleML 2016, Stony Brook, NY, USA, July 6-9, 2016. Proceedings RuleML 9718 (2016)

2015

volume 9202, 2015

Rule Technologies: Foundations, Tools, and Applications - 9th International Symposium, RuleML 2015, Berlin, Germany, August 2-5, 2015, Proceedings RuleML 9202 (2015)