Results 1 - 10 of 9,610

Table 8: Implementation of the logical formula in Example 2.

in Implementation of Natural Language Specifications of Communication Protocols by Executable Specifications
by Yasunori Ishihara , Hiroyuki Seki, Tadao Kasami
"... In PAGE 24: ... The resultant set of behavior definitions is a161 a111 . Example 7: For the logical formula in Example 2, the behavior definitions in Table8 are obtained. Here, we write a51 a122 instead of a51 a133 a158 (0 a116a132a127a68a116 5).... In PAGE 26: ... Fig. 5 shows a part of the execution of the simulator when the behavior definitions in Table8 are given as its input program. When the simulator exe- cutes a behavior expression, it computes actions to be performed by using the axioms on exec (Table 3).... ..."

Table 1: Algebraic Representation of Logical Formulas

in Neural Symbol Grounding
by Richard Horvitz, Raj Bhatnagar

Table 7: A set of logical formulas

in unknown title
by unknown authors

Table 5: A set of logical formulas for predicting

in unknown title
by unknown authors

TABLE I A TUPLE Is ESSENTIALLY A LOGICAL FORMULA

in IEEE TRANSACTIONS ON KN(IWLEDGE AND DATA ENGINEERING, VOL. 5, NO. 1, FEBRUARY 1993 29 Data-Driven Discovery of Quantitative
by Rules In Relational, Jiawei Han, Ong Cai, Nick Cercone 1993
Cited by 158

Table 5: A set of logical formulas for predicting complications

in Neural Network based Agent for Discovering Rules in Medical Databases
by Vitaly Schetinin
Cited by 1

Table E.4.3: ASCII representation of temporal logic formulae

in PEP Documentation and User Guide Version 1.4
by Petri Nets, Professor Dr, Eike Best, Dipl Inform, Bernd Grahlmann

Table 4: A set of logical formulas for diagnosing infectious en-

in unknown title
by unknown authors

Table I. Declarative Interpretation Language construct Logical formula

in Alma-0: An Imperative Language that Supports Declarative Programming
by Krzysztof R. Apt, Jacob Brunekreef, Vincent Partington, Andrea Schaerf

Table 7: A set of logical formulas for pre- dicting complications

in Diagnostic Rule Extraction Using Neural Networks
by Vitaly Schetinin, Anatoly Brajnikov
Results 1 - 10 of 9,610