Deriving monadic quicksort (Declarative Pearl).

Shin-Cheng Mu Tsung-Ju Chiang

Published in: CoRR (2021)

Keyphrases

deductive databases
declarative language
datalog queries
knowledge representation
conditional independence
domain independent
belief revision
causal models
datalog programs
data sets
data mining
information retrieval
genetic algorithm
case study
natural language
declarative knowledge