Flow chart programs reduce the number of needed databases to one. The tags, Figure 2, show floating point motion parameters, as well as internal storage points, which can be integer, ASCII ...

In this paper, we propose to develop prototypes of data flow diagrams using a logical framework, which is based on an extension of logic programming to perform abductive reasoning (abductive logic ...

Proof-theoretical notions and techniques, developed on the basis of sentential/symbolic representations of formal proofs, are applied to Euler diagrams. A translation of an Euler diagrammatic system ...

Exam paper marking has always been an exhaustive process which requires a lot of time and effort. We intend to address this issue by automating the marking of structured type questions and three ...