The regulatory information representation and visualization method is built upon the classic logic programming language – Prolog, which is an approximate realization of the logic programming computational model on a sequential machine (Sterling and Shapiro 1986).
The regulatory information representation and visualization method is built upon the classic logic programming language – Prolog: more specifically, the syntax of B-Prolog (i.e., an extended Prolog platform for programming concurrency, constraints, and interactive graphics) (Zhou 2014) is used.
It builds upon propositional logic, and is in fact essentially just a distinguished member of the most studied class of modal logics, "normal modal logics".
On page 3 of Formal Logic Prior states that the logic of propositions is 'basic, and the rest of logic built upon it'.
The resulting logic, called ALC+Tmin, is built upon a previously introduced (monotonic) logic ALC+T that is obtained by adding a typicality operator T to ALC.
And as a philosophical tract, it evinces a fiercely nihilistic, anti-humanistic vision built upon gross generalizations and ridiculously phony logic.
Because of its strong uniform formal foundation, built upon lattice theory and higher-order logic, Refinement Calculus bridges the gap between many popular reasoning styles, including agent based reasoning, contract based reasoning, and use of game theory.
While tragic art is life-affirming in joining these two impulses, logic and science are built upon Apollonian representations that have become frozen and lifeless.
For achieving sustainability a firm has to transform its entire business logic; a BMS is built upon the creation of value to the customers, the value captured by the firm, and the value to the natural environment (Abdelkafi, & Täusher, 2015).
One of the interesting things about the Buddhist teachings is that they are built upon so rational a foundation of elegant logic, and for this reason lend themselves readily to systematic application.
The disciple's knowledge of logic and Aristotelian philosophy is built upon this grammatical foundation.
