The Semantics of Rational Contractions.

Jürgen Giesl Ingrid Neumann

Published in: EPIA (1993)

Keyphrases

logic programming
artificial intelligence
decision making
formal semantics
database
real time
databases
neural network
genetic algorithm
schema mappings
conceptual graphs
operational semantics
transformation rules
model theoretic