Pure, Declarative, and Constructive Arithmetic Relations (Declarative Pearl).

Oleg Kiselyov William E. Byrd Daniel P. Friedman Chung-chieh Shan

Published in: FLOPS (2008)

Keyphrases

knowledge representation
domain independent
expert systems
declarative language
attribute grammars
database
real world
artificial intelligence
high level
image sequences
context free grammars
tightly coupled
declarative knowledge
abductive logic programming
data manipulation language