Abstract is missing.
- Programming in PicatNeng-Fa Zhou. 3-18 [doi]
- The RuleML Knowledge-Interoperation HubHarold Boley. 19-33 [doi]
- Handling Complex Process Models Conditions Using First-Order Horn ClausesStefano Ferilli. 37-52 [doi]
- Business Rules Uncertainty Management with Probabilistic Relational ModelsHamza Agli, Philippe Bonnard, Christophe Gonzales, Pierre-Henri Wuillemin. 53-67 [doi]
- A Declarative Semantics for a Fuzzy Logic Language Managing Similarities and Truth DegreesPascual Julián Iranzo, Ginés Moreno, Jaime Penabad, Carlos Vázquez. 68-82 [doi]
- Controlling the Average Behavior of Business Rules ProgramsOlivier Wang, Leo Liberti, Claudia D'Ambrosio, Christian de Sainte Marie, Changhai Ke. 83-96 [doi]
- Bridge Rules for Reasoning in Component-Based Heterogeneous EnvironmentsStefania Costantini, Giovanni De Gasperis. 97-112 [doi]
- Choreographic Compilation of Decentralized Comprehension PatternsIliano Cervesato, Edmund Soon Lee Lam, Ali Elgazar. 113-129 [doi]
- Minimal Objectification and Maximal Unnesting in PSOA RuleMLGen Zou, Harold Boley. 130-147 [doi]
- Setting Standards for Altering and Undoing Smart ContractsBill Marino, Ari Juels. 151-166 [doi]
- Evaluation of Logic-Based Smart Contracts for Blockchain SystemsFlorian Idelberger, Guido Governatori, Régis Riveret, Giovanni Sartor. 167-183 [doi]
- Blockchain Temporality: Smart Contract Time Specifiability with BlocktimeMelanie Swan. 184-196 [doi]
- A Numerical Optimisation Based Characterisation of Spatial ReasoningCarl P. L. Schultz, Mehul Bhatt. 199-207 [doi]
- Why Can't You Behave? Non-termination Analysis of Direct Recursive Rules with ConstraintsThom W. Frühwirth. 208-222 [doi]
- Translation of Cognitive Models from ACT-R to Constraint Handling RulesDaniel Gall, Thom W. Frühwirth. 223-237 [doi]
- Enabling Reasoning with LegalRuleMLHo-Pun Lam, Mustafa Hashmi, Brendan Scofield. 241-257 [doi]
- SBVR to OWL 2 Mapping in the Domain of Legal RulesFiras Al Khalil, Marcello Ceci, Kosala Yapa, Leona O'Brien. 258-266 [doi]
- OBDA Constraints for Effective Query AnsweringDag Hovland, Davide Lanti, Martin Rezk, Guohui Xiao. 269-286 [doi]
- A Framework Enhancing the User Search Activity Through Data PostingNunziato Cassavia, Elio Masciari, Chiara Pulice, Domenico Saccà. 287-304 [doi]
- PRIMER - A Regression-Rule Learning System for Intervention OptimizationGreg Harris, Anand V. Panangadan, Viktor K. Prasanna. 307-321 [doi]
- Rule-Based Real-Time ADL Recognition in a Smart Home EnvironmentGeorge Baryannis, Przemyslaw Woznowski, Grigoris Antoniou. 325-340 [doi]
- SmartRL: A Context-Sensitive, Ontology-Based Rule Language for Assisted Living in Smart EnvironmentsWilliam Van Woensel, Patrice C. Roy, Syed Sibte Raza Abidi. 341-349 [doi]