default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDRuleML 2016: Stony Brook, NY, USA
- José Júlio Alferes, Leopoldo E. Bertossi, Guido Governatori
, Paul Fodor, Dumitru Roman:
Rule Technologies. Research, Tools, and Applications - 10th International Symposium, RuleML 2016, Stony Brook, NY, USA, July 6-9, 2016. Proceedings. Lecture Notes in Computer Science 9718, Springer 2016, ISBN 978-3-319-42018-9
Invited Papers
- Neng-Fa Zhou:
Programming in Picat. 3-18 - Harold Boley:
The RuleML Knowledge-Interoperation Hub. 19-33
General RuleML Track
- Stefano Ferilli:
Handling Complex Process Models Conditions Using First-Order Horn Clauses. 37-52 - Hamza Agli, Philippe Bonnard, Christophe Gonzales, Pierre-Henri Wuillemin:
Business Rules Uncertainty Management with Probabilistic Relational Models. 53-67 - 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. 68-82 - Olivier Wang, Leo Liberti, Claudia D'Ambrosio, Christian de Sainte Marie, Changhai Ke:
Controlling the Average Behavior of Business Rules Programs. 83-96 - Stefania Costantini, Giovanni De Gasperis:
Bridge Rules for Reasoning in Component-Based Heterogeneous Environments. 97-112 - Iliano Cervesato, Edmund Soon Lee Lam, Ali Elgazar:
Choreographic Compilation of Decentralized Comprehension Patterns. 113-129 - Gen Zou, Harold Boley:
Minimal Objectification and Maximal Unnesting in PSOA RuleML. 130-147
Smart Contracts, Blockchain and Rules
- Bill Marino, Ari Juels:
Setting Standards for Altering and Undoing Smart Contracts. 151-166 - Florian Idelberger, Guido Governatori, Régis Riveret, Giovanni Sartor:
Evaluation of Logic-Based Smart Contracts for Blockchain Systems. 167-183 - Melanie Swan:
Blockchain Temporality: Smart Contract Time Specifiability with Blocktime. 184-196
Constraint Handling Rules
- Carl Schultz, Mehul Bhatt:
A Numerical Optimisation Based Characterisation of Spatial Reasoning. 199-207 - Thom W. Frühwirth:
Why Can't You Behave? Non-termination Analysis of Direct Recursive Rules with Constraints. 208-222 - Daniel Gall, Thom W. Frühwirth:
Translation of Cognitive Models from ACT-R to Constraint Handling Rules. 223-237
Legal Rules and Reasoning
- Ho-Pun Lam, Mustafa Hashmi, Brendan Scofield:
Enabling Reasoning with LegalRuleML. 241-257 - Firas Al Khalil, Marcello Ceci, Kosala Yapa, Leona O'Brien:
SBVR to OWL 2 Mapping in the Domain of Legal Rules. 258-266
Rule- and Ontology-Based Data Access and Transformation
- Dag Hovland, Davide Lanti, Martin Rezk, Guohui Xiao:
OBDA Constraints for Effective Query Answering. 269-286 - Nunziato Cassavia, Elio Masciari, Chiara Pulice, Domenico Saccà:
A Framework Enhancing the User Search Activity Through Data Posting. 287-304
Rule Induction and Learning
- Greg Harris, Anand V. Panangadan, Viktor K. Prasanna:
PRIMER - A Regression-Rule Learning System for Intervention Optimization. 307-321
Event Driven Architectures and Active Database Systems
- George Baryannis, Przemyslaw Woznowski, Grigoris Antoniou:
Rule-Based Real-Time ADL Recognition in a Smart Home Environment. 325-340 - William Van Woensel, Patrice C. Roy, Syed Sibte Raza Abidi:
SmartRL: A Context-Sensitive, Ontology-Based Rule Language for Assisted Living in Smart Environments. 341-349
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-03-01 15:17 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:
