More Web Proxy on the site http://driver.im/

default search action

combined dblp search
author search
venue search
publication search

ask others

RuleML 2016: Stony Brook, NY, USA

> Home > Conferences and Workshops > RuleML

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
  authority control:
- export record
  dblp key:
  - conf/ruleml/2016
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ruleml/2016
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

- view
  authority control:
- export record
  dblp key:
  - conf/ruleml/Zhou16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ruleml/Zhou16
Neng-Fa Zhou:
Programming in Picat. 3-18
- view
  authority control:
- export record
  dblp key:
  - conf/ruleml/Boley16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ruleml/Boley16
Harold Boley:
The RuleML Knowledge-Interoperation Hub. 19-33

General RuleML Track

- view
  authority control:
- export record
  dblp key:
  - conf/ruleml/Ferilli16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ruleml/Ferilli16
Stefano Ferilli:
Handling Complex Process Models Conditions Using First-Order Horn Clauses. 37-52
- view
  authority control:
- export record
  dblp key:
  - conf/ruleml/AgliBGW16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ruleml/AgliBGW16
Hamza Agli, Philippe Bonnard, Christophe Gonzales, Pierre-Henri Wuillemin:
Business Rules Uncertainty Management with Probabilistic Relational Models. 53-67
- view
  authority control:
- export record
  dblp key:
  - conf/ruleml/IranzoMPV16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ruleml/IranzoMPV16
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
- view
  authority control:
- export record
  dblp key:
  - conf/ruleml/WangLDMK16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ruleml/WangLDMK16
Olivier Wang, Leo Liberti, Claudia D'Ambrosio, Christian de Sainte Marie, Changhai Ke:
Controlling the Average Behavior of Business Rules Programs. 83-96
- view
  authority control:
- export record
  dblp key:
  - conf/ruleml/CostantiniG16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ruleml/CostantiniG16
Stefania Costantini, Giovanni De Gasperis:
Bridge Rules for Reasoning in Component-Based Heterogeneous Environments. 97-112
- view
  authority control:
- export record
  dblp key:
  - conf/ruleml/CervesatoLE16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ruleml/CervesatoLE16
Iliano Cervesato, Edmund Soon Lee Lam, Ali Elgazar:
Choreographic Compilation of Decentralized Comprehension Patterns. 113-129
- view
  authority control:
- export record
  dblp key:
  - conf/ruleml/ZouB16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ruleml/ZouB16
Gen Zou, Harold Boley:
Minimal Objectification and Maximal Unnesting in PSOA RuleML. 130-147

Smart Contracts, Blockchain and Rules

- view
  authority control:
- export record
  dblp key:
  - conf/ruleml/MarinoJ16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ruleml/MarinoJ16
Bill Marino, Ari Juels:
Setting Standards for Altering and Undoing Smart Contracts. 151-166
- view
  authority control:
- export record
  dblp key:
  - conf/ruleml/IdelbergerGRS16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ruleml/IdelbergerGRS16
Florian Idelberger, Guido Governatori, Régis Riveret, Giovanni Sartor:
Evaluation of Logic-Based Smart Contracts for Blockchain Systems. 167-183
- view
  authority control:
- export record
  dblp key:
  - conf/ruleml/Swan16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ruleml/Swan16
Melanie Swan:
Blockchain Temporality: Smart Contract Time Specifiability with Blocktime. 184-196

Constraint Handling Rules

- view
  authority control:
- export record
  dblp key:
  - conf/ruleml/SchultzB16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ruleml/SchultzB16
Carl Schultz, Mehul Bhatt:
A Numerical Optimisation Based Characterisation of Spatial Reasoning. 199-207
- view
  authority control:
- export record
  dblp key:
  - conf/ruleml/Fruhwirth16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ruleml/Fruhwirth16
Thom W. Frühwirth:
Why Can't You Behave? Non-termination Analysis of Direct Recursive Rules with Constraints. 208-222
- view
  authority control:
- export record
  dblp key:
  - conf/ruleml/GallF16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ruleml/GallF16
Daniel Gall, Thom W. Frühwirth:
Translation of Cognitive Models from ACT-R to Constraint Handling Rules. 223-237

Legal Rules and Reasoning

- view
  authority control:
- export record
  dblp key:
  - conf/ruleml/LamHS16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ruleml/LamHS16
Ho-Pun Lam, Mustafa Hashmi, Brendan Scofield:
Enabling Reasoning with LegalRuleML. 241-257
- view
  authority control:
- export record
  dblp key:
  - conf/ruleml/KhalilCYO16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ruleml/KhalilCYO16
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

- view
  authority control:
- export record
  dblp key:
  - conf/ruleml/HovlandLRX16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ruleml/HovlandLRX16
Dag Hovland, Davide Lanti, Martin Rezk, Guohui Xiao:
OBDA Constraints for Effective Query Answering. 269-286
- view
  authority control:
- export record
  dblp key:
  - conf/ruleml/CassaviaMPS16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ruleml/CassaviaMPS16
Nunziato Cassavia, Elio Masciari, Chiara Pulice, Domenico Saccà:
A Framework Enhancing the User Search Activity Through Data Posting. 287-304

Rule Induction and Learning

- view
  authority control:
- export record
  dblp key:
  - conf/ruleml/HarrisPP16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ruleml/HarrisPP16
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

- view
  authority control:
- export record
  dblp key:
  - conf/ruleml/BaryannisWA16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ruleml/BaryannisWA16
George Baryannis, Przemyslaw Woznowski, Grigoris Antoniou:
Rule-Based Real-Time ADL Recognition in a Smart Home Environment. 325-340
- view
  authority control:
- export record
  dblp key:
  - conf/ruleml/WoenselRA16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ruleml/WoenselRA16
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.