Proving Properties of Programs by Means of Predicate Logic.

Józef Winkowski

Published in: MFCS (1975)

Keyphrases

predicate logic
semantic net
lower level
knowledge representation and reasoning
predicate calculus
formal logic
temporal logic
information retrieval
high level
bayesian networks
search algorithm
email
state space
general purpose
computational linguistics
highly expressive