Programs and logics.

Anita Wasilewska

Published in: Stud Logica (1985)

Keyphrases

expressive power
modal logic
databases
artificial intelligence
computer programs
automatic programming
epistemic logic
provably correct
data sets
information retrieval
clustering algorithm
query language
inference rules