On programming an interactive graphical application in logic

No Thumbnail Available
Files
1988_0007-Article.pdf (4.69 MB)
Date
2023
Authors
Próspero, Manuel João
Pereira, Paulo Jorge
Journal Title
Journal ISSN
Volume Title
Publisher
The Eurographics Association
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.
Description

        
@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
}
}
Citation
URI
https://doi.org/10.2312/pt.19881536
 https://diglib.eg.org:443/handle/10.2312/pt19881536
Collections
Portuguese Meeting on Computer Graphics 1988 (LGCG 1988)