Output details
11 - Computer Science and Informatics
University of Brighton
Article title
A decision procedure for a decidable fragment of generalized constraint diagrams
Type
D - Journal article
Title of journal
Journal of Visual Languages and Computing
Article number
-
Volume number
22
Issue number
1
First page of article
90
ISSN of journal
1045-926X
Year of publication
2011
Number of additional authors
2
Additional information
<11>
This paper appears in a special issue of JVLC, containing extended versions of papers presented at Visual Languages and Logic 2009; the VLL 2009 publication is entitled Transforming Constraint Diagrams. Since its publication, the results in this JVLC paper have been extended to provide a decision procedure for more expressive diagrammatic logic that involves syntax with second-order semantics [Howse4]. Such procedures are necessary for the practical application of diagrammatic logics to real-world problems and it is only recently that diagrammatic logics with this level of expressiveness have been developed. JVLC is A rated in the Australian ERA/CORE list.
Interdisciplinary
-
Cross-referral requested
-
Research group
None
Citation count
0
Proposed double-weighted
No
Double-weighted statement
-
Reserve for a double-weighted output
No
Non-English
No
English abstract
-
