The Design and Testing of a First-order Logic-based Stochastic Modeling Language.
Daniel PlessChayan ChakrabartiRoshan RammohanGeorge F. LugerPublished in: Int. J. Artif. Intell. Tools (2006)
Keyphrases
- modeling language
- metamodel
- design rationale
- code generation
- uml profile
- databases
- constraint language
- user interface
- information systems
- learning algorithm
- business process modeling
- database
- educational modeling languages
- software development
- programming language
- formal methods
- formal semantics
- relational databases