J. Puigsegur and J. Agust##. Visual Logic Programming by means of Diagram Transformations. In Proc. of APPIA-GULP-PRODE Joint Conference in Declarative Programming, La Coru~na, Spain, July 1998. Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
Towards Visual Schemas in Deductive Databases - Puigsegur, Agustí, Pastor (1998) (1 citation) Self-citation (Puigsegur Agust) (Correct)
No context found.
J. Puigsegur and J. Agust##. Visual Logic Programming by means of Diagram Transformations. In Proc. of APPIA-GULP-PRODE Joint Conference in Declarative Programming, La Coru~na, Spain, July 1998.
Defining and Translating Visual Schemas for Deductive.. - Puigsegur, Pastor, Agusti (1998) Self-citation (Puigsegur) (Correct)
....This paper aims to be a first step towards this goal within the context of deductive databases, where we explore the visual definition of their schemas. In doing so, we draw from our prior results here adapted and extended regarding the definition of a visual logic programming language [23, 1, 24, 22]. The increasing power of computers and specially the improvement of their graphical capabilities has fostered in the last years the study of new forms of expression within formal languages: visual languages. These languages offer a completely new way to interact with computers that may now also ....
....in the textual syntax enforces neither the meaning of the deductive rules nor their pragmatics. By making explicit diagrammatically the membership relations of tuples to predicates and variable sharing inside rules we will make the rules more intuitive and fit for its operational interpretation [22]. Derived pred. Deductive rules Derived predicate meaning Emp(p) W orks(p; u) p is an employee because s he works for some unit u HasMng(u) W orks(p; u) Mng(p) Unit u has some manager because at least its employee p is a manager HasEmp(u) W orks(p;u) Mng(p) Unit u has some ....
[Article contains additional citation context not shown here]
J. Puigsegur and J. Agust'i. Visual Logic Programming by means of Diagram Transformations. In Proc. of APPIA-GULP-PRODE Joint Conference in Declarative Programming, La Coru~na, Spain, July 1998.
Contributions To Artificial Intelligence: The IIIA Perspective - Badia (2002) (Correct)
No context found.
Puigsegur J., Agusti J. (1998); Visual Logic Programming By Means of Diagram Transformations. Proceedings of the Joint Conference on Declarative Programming (APPIA-GULP-PRODE'98), A Corua, Spain, pp. 311-328.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC