nopeMay 30, 2023
The Starburst Rule System
(1992) : Widom, Jennifer
url: http://ilpubs.stanford.edu/16/1/1992-8.pdf
#production_systems #overview #active_database #starburst #rule_language #my_bibtex
nopeMay 28, 2023
The Starburst Rule System
(1992) : Widom, Jennifer
url: http://ilpubs.stanford.edu:8090/16/
#overview #active_database #rule_language #production_systems #starburst #my_bibtex
Error - Stanford InfoLab Publication Server

nopeNov 17, 2022
A Syntactic Abstraction for Rule-Based Languages With Binding
(2011) : Michael Pedersen
DOI: https://doi.org/10.1016/j.entcs.2011.09.035
#BioNetGen #Kappa #binding #biology #protein_complexes #rule_language #syntax
#my_bibtex
nopeSep 25, 2022
The Starburst Rule System: Language Design, Implementation, and Applications
(1992) : Jennifer Widom
url: http://ilpubs.stanford.edu:8090/16/
#active database #overview #production_systems #rule_language #starburst
#my_bibtex
Error - Stanford InfoLab Publication Server

nopeSep 14, 2022
Containment in Rule-Based Models
(2012) : C.D. Thompson-Walsh and J. Hayman and G. Winskel
DOI: https://doi.org/10.1016/j.entcs.2012.05.019
#Kappa #SPO_rewriting #biology #rule_language #semantics
#my_bibtex
nopeSep 2, 2022
A Denotational Semantics for the Starburst Production Rule Language
(1992) : Jennifer Widom
DOI: https://doi.org/10.1145/140979.140980
#denotational_semantics #production_system #rule_language #starburst
#my_bibtex
A denotational semantics for the Starburst production rule language | ACM SIGMOD Record

Researchers often complain that the behavior of database production rules is difficult to reason about and understand, due in part to the lack of formal declarative semantics. It has even been claimed that database production rule languages inherently ...

ACM SIGMOD Record
nopeJun 23, 2022
Containment in Rule-Based Models
(2012) : C.D. Thompson-Walsh and J. Hayman and G. Winskel
DOI: https://doi.org/10.1016/j.entcs.2012.05.019
#Kappa #SPO_rewriting #biology #rule_language #semantics
#my_bibtex
nopeJun 19, 2022
An Algebraic Approach for Inferring and Using Symmetries in Rule-Based Models
(2015) : J{\'e}rôme Feret
DOI: https://doi.org/10.1016/j.entcs.2015.06.010
#Kappa #bisimulation #category_theory #group_actions #rule_language #symmetry
#my_bibtex
nopeJun 10, 2022
Interpreting Swrl Rules in Rdf Graphs
(2006) : Jing Mei and Harold Boley
DOI: https://doi.org/10.1016/j.entcs.2005.07.036
#OWL #RDF #SWRL #bottom_up #fixpoint_semantics #model_theory #rule_language #semantic_web
#my_bibtex