Reasoning with Worlds and Truth Maintenance in a Knowledge-Based Programming Environment.

Robert E. Filman

Published in: Commun. ACM (1988)

Keyphrases

truth maintenance
programming environment
programming language
programming environments
truth maintenance systems
relational database systems
databases
novice programmers
visual basic
database
knowledge base
knowledge representation
artificial intelligence
data management