On the Logic of Incomplete Transformation.

Witold Lipski Jr.

Published in: MFCS (1977)

Keyphrases

predicate logic
logic programming
modal logic
sound and complete axiomatization
automated reasoning
missing values
artificial intelligence
knowledge representation
database systems
data sets
website
multi valued
computational properties
transformation rules
epistemic logic
linear logic
genetic algorithm