#### Filter Results:

- Full text PDF available (11)

#### Publication Year

1995

1998

- This year (0)
- Last 5 years (0)
- Last 10 years (0)

#### Publication Type

#### Co-author

#### Journals and Conferences

Learn More

- Jaume AgustÃ-Cullell, Jordi Puigsegur, David Stuart Robertson
- J. Vis. Lang. Comput.
- 1998

It is commonly accepted that non-logicians have di culty in expressing themselves in rst order logic. Part of the visual language community is concerned with providing visual notations which useâ€¦ (More)

It is commonly accepted that non-logicians have difficulty in expressing themselves in first order logic. Part of the visual language community is concerned with providing visual notationsâ€¦ (More)

In previous work we presented a diagrammatic syntax for logic programming which clearly `resembles' the semantics of predicates as relations, i.e. sets of tuples in the Universe of Discourse. Thisâ€¦ (More)

In VLâ€™96 we presented a visual declarative programming language based on two main graphical constructs: directed acyclic graphs representing predicate application and graphical set inclusionâ€¦ (More)

- Jaume AGUST, Dave Robertson, Jordi Puigsegur
- 1995

Formal speci cations were introduced in Software Engineering to separate the mathematics of problem description from the mechanics of program construction. The systematic development of correctâ€¦ (More)

- Jordi Puigsegur, Jaume AgustÃ-Cullell
- APPIA-GULP-PRODE
- 1998

We believe that the pragmatics and understanding of formal logic and also declarative programming languages are sensible to the type of syntax used. Our goal is to study how to apply the newâ€¦ (More)

We present a visual language expressive enough to capture an important subset of First Order Predicate Logic. We use the diagrams of our language to represent all the components of a deductiveâ€¦ (More)

- J. Agust, Jordi Puigsegur, Wernher Marco Schorlemmer
- 1997

In this article we present a functional speciication language based on inclusions between set expressions. Instead of computing with data individuals we deal with their classiication into sets. Theâ€¦ (More)

- Jordi Puigsegur
- 1996

It is commonly accepted that non{logicians have diiculty in expressing themselves in rst order logic (FOL). Obviously, a similar problem can be found in the majority of existing logic programmingâ€¦ (More)

We present a visual language expressive enough to capture an important subset of First Order Predicate Logic as well as its straightforward translation to the logic-based paradigm of deductiveâ€¦ (More)