MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "A visual logic." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

28 documents found, showing 1 through 10. Next 10 →

ATOM

A Visual Logic Programming Language
by Jordi Puigsegur, Jaume Agustí, Dave Robertson — 1996 — IN PROC. OF THE 12TH IEEE SYMPOSIUM ON VISUAL LANGUAGES
… / 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
by Bernd Meyer — 1993 — Proceedings of the International Symposium on Logic Programming, D. Miller (Hrsg
…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
by Jaume Agusti, Jordi Puigsegur, Dave Robertson — 1998
…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
by Jordi Puigsegur i Figueras, Figueras Jaume, Jaume Agustí i Cullell
… 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
by Omid Banyasad, Omid Banyasad, Philip T. Cox, Philip T. Cox — 2001
…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
by Y. S. Ramakrishna, L. K. Dillon, L E Moser, P. M. Melliar-Smith, G. Kutty — 1993 — In Proc. 13th Conf. Foundations of Software Technology and Theoretical Computer Science
… 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
by Jordi Puigsegur, Jaume Agustí — 1998 — In Proc. of APPIA-GULP-PRODE Joint Conference in Declarative Programming, La Coru~na
… 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
by Y. S. Ramakrishna, P. M. Melliar-Smith, L. E. Moser, L. K. Dillon, G. Kutty — 1993 — In Proc. of IEEE Real-Time Systems Symposium
…-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
by Kutty Dillon, G. Kutty, L. K. Dillon, L. E. Moser, P. M. Melliar-smith, Y. S. Ramakrishna — 1993 — IEEE Symp. Vis. Lang
… 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
by Omid Banyasad, Philip T. Cox — 2001
…-deterministic visual logic programming language which provides the basis for the language LSD, a visual language…
Cited by 1 (1 self) – Add To MetaCart

Showing 1 through 10. Next 10 →

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB