On programming an interactive graphical application in logic
Abstract
A hierarchical graphical modelling system and a dialogue centrei mechanism were designed and implemented in first order predicate logic. Some main concepts are introduced in this papar by analysing a given application: a flat drawing design where the user is able to graphically specify the intended configuration and get important information about the existing restrictions.
BibTeX
@inproceedings {10.2312:pt.19881536,
booktitle = {LGCG 1988 - 1st Luso German Meeting on Computer Graphics},
editor = {Madalena Quirino},
title = {{On programming an interactive graphical application in logic}},
author = {Próspero, Manuel João and Pereira, Paulo Jorge},
year = {2023},
publisher = {The Eurographics Association},
ISBN = {978-3-03868-204-2},
DOI = {10.2312/pt.19881536}
}
booktitle = {LGCG 1988 - 1st Luso German Meeting on Computer Graphics},
editor = {Madalena Quirino},
title = {{On programming an interactive graphical application in logic}},
author = {Próspero, Manuel João and Pereira, Paulo Jorge},
year = {2023},
publisher = {The Eurographics Association},
ISBN = {978-3-03868-204-2},
DOI = {10.2312/pt.19881536}
}
Except where otherwise noted, this item's license is described as Attribution 4.0 International License