A Model-Based Algorithm for Propositional Belief Revision - Zacarias, Fernando; De Ita, Guillermo (Revista IEEE América Latina, 2015)
Keywords: Adaptation models; Algorithms; Americas; Artificial intelligence; Automated Reasoning; Automatic reasoning; Automation; Belief Revision; Buildings; Cognition; Construction; Inference algorithms; Mathematical models; Model-Based Procedures; Proposals; Propositional Inference; Reasoning