Reduction Semantics for Rational Schemes.

Klaus Indermark

Published in: RAIRO Theor. Informatics Appl. (1984)

Keyphrases

formal semantics
logic programming
decision making
expert systems
semantic information
conceptual graphs
model theoretic
real time
data sets
data mining
genetic algorithm
website
query language
logic programs
default reasoning
logical language