RTL semantics and methodology.

Brian Bailey Daniel Gajski

Published in: ISSS (2001)

Keyphrases

formal semantics
logic programming
databases
intended meaning
operational semantics
decision trees
learning algorithm
machine learning
database
knowledge base
case study
multi agent
domain knowledge
logic programs
genetic algorithm
design methodology
information retrieval