Modal Propositional Semantics for Reason Maintenance Systems.

Allen L. Brown Jr.

Published in: IJCAI (1985)

Keyphrases

reason maintenance
truth maintenance systems
artificial intelligence
propositional logic
knowledge base
modal logic
inference mechanism