Zobrazeno 1 - 5
of 5
pro vyhledávání: '"Jordi Puigsegur"'
Publikováno v:
Journal of Visual Languages & Computing. 9:399-427
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 which use visual cues (‘declarative diagrams’) to make th
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::eab226040015e9beaa978a11059cec85
https://doi.org/10.1006/jvlc.1998.0090
https://doi.org/10.1006/jvlc.1998.0090
Publikováno v:
Lecture Notes in Computer Science ISBN: 9783540649502
DEXA
DEXA
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 database schema: base predicates, derived predicates with
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::ab8b83c5fa9ca2750d90f7e231affb7b
https://doi.org/10.1007/bfb0054543
https://doi.org/10.1007/bfb0054543
Publikováno v:
Flexible Query Answering Systems ISBN: 9783540650829
FQAS
FQAS
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 paper shows diagrams as an alternative formal not
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::d98d6ffbf0ff1826317f2c56bbf6a9c7
https://doi.org/10.1007/bfb0055988
https://doi.org/10.1007/bfb0055988
Conference
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Conference
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.