M-Lisp: A Representation-Independent Dialect of Lisp with Reduction Semantics.
Robert MullerPublished in: ACM Trans. Program. Lang. Syst. (1992)
Keyphrases
- learning theory
- programming language
- general purpose
- logic programming
- knowledge representation
- dependency directed backtracking
- formal semantics
- conceptual graphs
- computer programs
- semantic information
- highly expressive
- reasoning mechanisms
- predicate calculus
- semantic representation
- real time
- operating system
- image representation
- image features
- neural network
- data sets