Searching for "A visual logic." – sorted by Relevance.
-
A Visual Logic Programming Language
- / P.O. Box 1331 / Piscataway, NJ 08855-1331, USA. Telephone: + Intl. 908-562-3966. A Visual Logic
- Cited by 10 (8 self) – Add To MetaCart
-
Logic and the Structure of Space - Towards a Visual Logic for Spatial Reasoning
- Logic and the Structure of Space --- Towards a Visual Logic for Spatial Reasoning --- (Poster
- Cited by 1 (0 self) – Add To MetaCart
-
A Visual Syntax for Logic and Logic Programming
- Journal of Visual Languages and Computing, 1998. To appear. A Visual Syntax for Logic and Logic
- Cited by 10 (5 self) – Add To MetaCart
-
Using a Visual Syntax in Logic Programming
- be transformed into a visual notation for logic programming. Finally, we suggest an heterogeneous environment
- Add To MetaCart
-
Solving Design Problems in a Logic-Based Visual Design Environment
- Solving design problems in a logic-based visual design environment Omid Banyasad Philip T. Cox
- Cited by 1 (1 self) – Add To MetaCart
-
A Real-Time Interval Logic and Its Decision Procedure
- Logic is a visual logic in which formulae have a natural graphical representation, resembling timing
- Cited by 6 (5 self) – Add To MetaCart
-
Visual Logic Programming by means of Diagram Transformations
- to declarative programming languages. In this paper we summarize the work done up to now in a visual logic
- Cited by 3 (2 self) – Add To MetaCart
-
Really Visual Temporal Reasoning
- -Time Future Interval Logic (RTFIL) is a visual logic with formulae that resemble timing diagrams. It is a
- Cited by 15 (4 self) – Add To MetaCart
-
Visual Tools for Temporal Reasoning
- properties. Graphical Interval Logic (GIL) is a visual temporal logic in which formulas resemble the informal
- Cited by 3 (0 self) – Add To MetaCart
-
Implementing Lograph
- -deterministic visual logic programming language which provides the basis for the language LSD, a visual language
- Cited by 1 (1 self) – Add To MetaCart

