A Semantics of Introspection in a Reflective Prototype-Based Language.
Jacques MalenfantChristophe DonyPierre CointePublished in: LISP Symb. Comput. (1996)
Keyphrases
- logical language
- specification language
- highly expressive
- logic programming language
- intended meaning
- formal semantics
- operational semantics
- formal language
- conceptual graphs
- definition language
- model theoretic
- action language
- denotational semantics
- language learning
- logic programming
- programming language
- autoepistemic logic
- formal languages
- conditional logic
- aggregate functions
- dynamic logic
- semantically equivalent
- uml class diagrams
- natural language
- deductive databases
- modular architecture
- relational structures
- closed world
- multiple inheritance
- conceptual model
- database
- language constructs
- proof theory
- predicate calculus
- rule language
- semantic structure
- owl ontologies
- disjunctive logic programming
- fixed point semantics
- agent oriented programming language