Mechanical Proof Systems for Logic II, Consensus Programs and Their Processing

Abstract

We continue the investigations of [Ra90, Ra91, RM89] and study the automated theorem proving for reasoning about perception of reasoning agents and their consensus reaching. Using the techniques of [Ra91] and of Logic programming ([Ap90, NS93]) we develop the processing techniques for consensus programs.

    Similar works

    Full text

    thumbnail-image

    Available Versions