Keyphrases
- real time
- logical language
- logic programming language
- specification language
- formal language
- highly expressive
- conceptual graphs
- operational semantics
- intended meaning
- definition language
- programming language
- formal semantics
- natural language
- model theoretic
- conditional logic
- language learning
- proof theory
- logic programming
- dynamic logic
- low cost
- semantically equivalent
- high speed
- rule language
- uml class diagrams
- formal languages
- multiple inheritance
- vision system
- denotational semantics
- conceptual model
- speech acts
- control system
- modeling language
- propositional dynamic logic
- closed world
- language constructs
- logic programs
- predicate calculus
- model checking
- owl ontologies