Partial-Correctness Theories as First-Order Theories.

Published in: Logic of Programs (1985)

Keyphrases

theory revision
theoretical framework
domain theory
probability theory
database
real world
information systems
knowledge base
expert systems
domain knowledge
higher order
underlying assumptions
legal knowledge