• BIOCHAM

  • Referenced in 45 articles [sw09927]
  • Biocham is mainly composed of : a rule-based language for modeling biochemical systems (compatible with...
  • PMaude

  • Referenced in 31 articles [sw08422]
  • probabilistic concurrent and distributed systems. The language, based on PMaude, has both a rigorous formal ... characteristics of a high-level rule-based programming language. Furthermore, we provide tool support...
  • CARIBOO

  • Referenced in 14 articles [sw10064]
  • termination proof tool for rule-based programming languages, where a program is a rewrite system ... ground expression [3]. It applies to languages such as ASF+SDF, Maude, Cafe ... named CARIBOO (for Computing AbstRaction for Induction Based termination prOOfs), allows proving termination under specific ... innermost strategy, specially useful when the rule-based formalism expresses functional programs, and central...
  • XPathLog

  • Referenced in 7 articles [sw15782]
  • complete, logic-based characterization of XML data and the main language concept for XML, XPath ... XPath-Logic extends the XPath language with variable bindings and embeds it into first-order ... XPath-Logic, providing a Datalog-style, rule-based language for querying and manipulating XML data...
  • CDOL

  • Referenced in 5 articles [sw02639]
  • this paper we present a rule-based database language known as CDOL (Comprehensive, Declarative Object ... Language) that is an integration of deductive, object-oriented and active database technology. CDOL provides ... data, constraints, updates and active rules. The rule-based query language of CDOL provides ... application. This paper presents the rule-based query language of CDOL and illustrates the manner...
  • MGS

  • Referenced in 9 articles [sw22121]
  • rule-based programming language for complex objects and collections. We present the first results...
  • lp2normal

  • Referenced in 7 articles [sw25505]
  • programming (ASP) features a rich rule-based modeling language for encoding search problems. While normal...
  • CHR

  • Referenced in 4 articles [sw20512]
  • Rules (CHR) is a committed-choice rule-based language embedded in Prolog. It is designed...
  • F--MP

  • Referenced in 2 articles [sw02169]
  • databases. On the other hand, production rule-based languages whose structure is similar to that ... framework to support a semantic based inexact match with Fuzzy Match Predicate ... implemented on top of the production rule-based languages without modifying their discrimination networks. That ... uniform framework to provide the rule-based languages with fuzzy match facilities semantically enhanced...
  • CHRAnimation

  • Referenced in 3 articles [sw18637]
  • currently used as a general purpose language. This results in having complex programs with ... Rules (CHR) being a high-level rule-based language, animating CHR programs through animation tools...
  • LBS

  • Referenced in 15 articles [sw12372]
  • paper introduces a Language for Biochemical Systems (LBS) which combines rule-based approaches to modelling...
  • Rules2CP

  • Referenced in 5 articles [sw06255]
  • Rules2CP is a general purpose rule-based modeling language for constraint programming. It aims...
  • GP 2

  • Referenced in 11 articles [sw36329]
  • visual, rule-based, non-deterministic graph programming language which frees programmers from handling low-level...
  • AGG

  • Referenced in 50 articles [sw04449]
  • rule-based modeling of software, validation of system properties by assigning a graph transformation based ... graph transformation based evolution of software, and the definition of visual languages based on graph...
  • NLProlog

  • Referenced in 2 articles [sw41560]
  • Unification for Question Answering in Natural Language. Rule-based models are attractive for various tasks ... difficult to apply to problems involving natural language, due to its linguistic variability. In contrast ... solving multi-hop reasoning tasks over natural language. Specifically, we propose to use a Prolog ... system that can apply rule-based reasoning to natural language, and induce domain-specific rules...
  • MixLog

  • Referenced in 1 article [sw01565]
  • MixLog: A generalized rule-based languages MixLog is a simple generalization of Prolog, deductive databases ... other rule-based systems. We show how both Prolog and deductive database programs ... extend the language by giving the programmer control over rule consumption and production, variable scoping ... explore the space of rule-based languages...
  • PyBioNetFit

  • Referenced in 3 articles [sw34668]
  • models specified using the BioNetGen rule-based modeling language (BNGL) or the Systems Biology Markup...
  • REK

  • Referenced in 1 article [sw38734]
  • Evolution scenarios for rule-based implementations of language-based functionality. We work through a sequence ... evolution scenarios for language-based functionality implemented as rule-based programs. We identify and illustrate ... patches. We focus at language interpreters as examples of language-based functionality, but similar scenarios ... Prolog as the rule-based programming language used for the implementation of language-based functionality...
  • TRuML

  • Referenced in 2 articles [sw34202]
  • TRuML is a Translator for Rule-based Modeling Languages. TRuML is designed to convert between...
  • GUBS

  • Referenced in 2 articles [sw27585]
  • GUBS, a behaviour-based language for design in synthetic biology. In this article, we propose ... domain specific language, GUBS (Genomic Unified Behavior Specification), dedicated to the behavioral specification of synthetic ... dynamical systems. GUBS is a rule-based declarative language. By contrast to a closed system...