This project is a web application for resolving logical expressions using resolution refutation. It provides a user-friendly interface for inputting logical expressions and displays the resolution ...

Abstract: This paper gives a matrix expression of logic. Under matrix expression a general description of the logical operations is proposed, which is very convenient in logical inference. Then based ...

Abstract: We add more expressive power to PROLOG in the form of lazily evaluable set expressions. The need for lazy set expressions arises from the design of integrated logic+functiortal programming ...

In this research the basic aspects of applying logical expression as fuzzy logic to a seismic data set and its application in reservoir characterization are proposed. In addition, the simple ...