C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
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