A Logic for Partially Specified Data Structures.

M. Drew Moshier William C. Rounds

Published in: POPL (1987)

Keyphrases

data structure
modal logic
artificial intelligence
real time
classical logic
efficient data structures
proof theory
machine learning
logic programming
data types
probability theory
multi valued
computational properties
nonmonotonic logics
predicate logic
databases
genetic algorithm
information retrieval