Using New Object Oriented Expression Language (GELLO) to Encode Arden Syntax's Medical Logic Modules.
Yaron DenekampOmolola OgunyemiAziz A. BoxwalaRobert A. GreenesPublished in: AMIA (2002)
Keyphrases
- object oriented
- programming language
- object oriented programming
- dynamic logic
- logic programming
- definition language
- formal language
- intuitionistic logic
- object oriented languages
- constraint language
- proof theory
- conceptual models
- modular architecture
- language learning
- object oriented databases
- data model
- linear temporal logic
- medical domain
- propositional dynamic logic
- predicate calculus
- operational semantics
- formal logic
- rule engine
- agent programming
- monadic second order logic
- highly expressive
- modal operators
- conditional logic
- expressive power
- database applications
- software engineering
- natural language
- formal theory
- medical experts
- specification language
- medical data
- medical diagnosis
- query language
- programming interface
- relational databases
- information systems