action-language

There are 0 repository under action-language topic.

• gemoc / ale-lang

  Action Language for EMF

  emflanguageale-langaction-languageecorebehaviorsemanticsdsl
  Language:Java 8

• schwering / golog

  Plan recognition system based on the situation calculus and action language Golog, written in Haskell

  gologaction-languageplan-recognitionsituation-calculushaskellfunctional-programminglogic-programming
  Language:Haskell 6
• scrall

  modelint / scrall

  Scrall Pseudo-Action Language for Executable UML

  action-languageshlaer-mellorexecutable-umlmbse
  Language:Python 4

• flamingo-lang / flamingo

  Logic programming reborn for the web.

  dataloglogic-programmingformal-methodsaction-language
  Language:Coq 1

• schwering / prgolog-old

  Plan recognition system based on the situation calculus and Golog written in Mercury.

  gologaction-languageplan-recognitionsituation-calculusmercurylogic-programmingdeprecated
  Language:MATLAB 1