Foundations of logic programming
Foundations of logic programming
Negation and control in Prolog
Negation and control in Prolog
Animated graphical interfaces using temporal constraints
CHI '86 Proceedings of the SIGCHI Conference on Human Factors in Computing Systems
Statecharts: A visual formalism for complex systems
Science of Computer Programming
Foundations of deductive databases and logic
Foundations of deductive databases and logic
Out of Flatland: towards 3-D visual programming
ACM '87 Proceedings of the 1987 Fall Joint Computer Conference on Exploring technology: today and tomorrow
Parsing of edNLC-graph grammars for scene analysis
Pattern Recognition
A user interface toolkit based on graphical objects and constraints
OOPSLA '88 Conference proceedings on Object-oriented programming systems, languages and applications
A smalltalk window system based on constraints
OOPSLA '88 Conference proceedings on Object-oriented programming systems, languages and applications
IEEE Transactions on Software Engineering
The Metafont book
A logical framework for depiction and image interpretation
Artificial Intelligence
Constraint technology for user-interface construction in ThingLab II
OOPSLA '89 Conference proceedings on Object-oriented programming systems, languages and applications
Building visual language parsers
CHI '91 Proceedings of the SIGCHI Conference on Human Factors in Computing Systems
Automating Visual Language Generation
IEEE Transactions on Software Engineering
Juno, a constraint-based graphics system
SIGGRAPH '85 Proceedings of the 12th annual conference on Computer graphics and interactive techniques
The Programming Language Aspects of ThingLab, a Constraint-Oriented Simulation Laboratory
ACM Transactions on Programming Languages and Systems (TOPLAS)
A High-Level Language for Specifying Pictures
ACM Transactions on Graphics (TOG)
Computer rendering of stochastic models
Communications of the ACM
Graph-Grammars and Their Application to Computer Science
Graph-Grammars and Their Application to Computer Science
Proceedings of the Third International Conference on Logic Programming
Plants, fractals, and formal languages
SIGGRAPH '84 Proceedings of the 11th annual conference on Computer graphics and interactive techniques
Sketchpad: a man-machine graphical communication system
AFIPS '63 (Spring) Proceedings of the May 21-23, 1963, spring joint computer conference
A method for the structural analysis of two-dimensional mathematical expressions
Information Sciences: an International Journal
Picture processing grammar and its applications
Information Sciences: an International Journal
Visual grammars for visual languages
AAAI'87 Proceedings of the sixth National conference on Artificial intelligence - Volume 2
Attributed Programmed Graph Grammars and Their Application to Schematic Diagram Interpretation
IEEE Transactions on Pattern Analysis and Machine Intelligence
Functional and constraint logic programming
Constraints in computational logics
Deductive Parsing of Visual Languages
LACL '01 Proceedings of the 4th International Conference on Logical Aspects of Computational Linguistics
Non-standard Logics for Diagram Interpretation
Diagrams '00 Proceedings of the First International Conference on Theory and Application of Diagrams
Visual Multiset Rewriting: Applications to Diagram Parsing and Reasoning
WMP '00 Proceedings of the Workshop on Multiset Processing: Multiset Processing, Mathematical, Computer Science, and Molecular Computing Points of View
Hi-index | 0.00 |
A key issue in visual languages is the specification of the relationship between pictures and their meaning. To do this, we introduce a class of declarative, constraint-based picture specification languages. These extend previous approaches to picture specification based on constraints and grammar formalisms. As the languages are defined as instances of an abstract language scheme, we ensure they share a common declarative semantics and operational semantics. The declarative semantics allows both people and machines easily to reason about a specification independently of any underlying implementation. The operational semantics permit both the generation and recognition of pictures defined by the specification.