Combinatorial Semantics: Semantics for Frequent Validity.

Henry E. Kyburg Jr.

Published in: Comput. Intell. (1997)

Keyphrases

formal semantics
logic programming
query processing
semantic information
default reasoning
operational semantics
databases
real world
machine learning
genetic algorithm
specification language
transformation rules
intended meaning