On programming an interactive graphical application in logic

No Thumbnail Available
Date
2023
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