1 |
R. R. Smullyan, "First-order logic," Springer Science & Business Media, Vol.43, 2012.
|
2 |
L. Cardelli and A. D. Gordon, "Mobile ambients," In International Conference on Foundations of Software Science and Computation Structure, Springer, pp.140-155, 1998.
|
3 |
J. On, J. Choi, and M. Lee, "A study on scheduler based on CARDMI process algebra for automated control of emergency medical system," Proceedings of the Korean Information Science Society Conference, Korean Institute of Information Scientists and Engineers, pp.65-70, 2008.
|
4 |
A. Shimojima and Y. Katagiri, "An eye-tracking study of exploitations of spatial constraints in diagrammatic reasoning," International Conference on Theory and Application of Diagrams, Springer, Berlin, Heidelberg, 2008.
|
5 |
D. H. Ballard, M. M. Hayhoe, P. K. Pook, and R. P. N. Rao, "Deictic codes for the embodiment of cognition," Behavioral and Brain Sciences, Vol.20, No.4, pp.723-742, 1997.
DOI
|
6 |
H. G. Fill and D. Karagiannis, "On the conceptua-lisation of modeling methods using the ADOxx meta modeling platform," Enterprise Modeling and Information Systems Architectures (EMISAJ), Vol.8, pp.4-25, 2013.
|
7 |
E. M. Clarke and E. A. Emerson, "Design and synthesis of synchronisation skeletons using branching time Temporal Logic," Workshop on Logic of Programs. Springer, pp.52-71, 1981.
|
8 |
F. Jahanian and A. K. Mok, "Modechart: A specification language for real-time systems," IEEE Transactions on Software Engineering, Vol.20, pp.933-947, 1994.
DOI
|
9 |
A. G. Cohn, B. Bennett, J. Gooday, and N. M. Gotts, "Qualitative spatial representation and reasoning with the region connection calculus," GeoInformatica, Vol.1, No.3, pp.275-316, 1993.
|
10 |
A. U. Frank, "Qualitative spatial reasoning about distances and directions in geographic space," Journal of Visual Languages and Computing, Vol.3, No.4, pp.343-371, 1992.
DOI
|
11 |
D. Ladret and M. Rueher, "VLP: A visual logic programming language," Journal of Visual Languages & Computing, Vol.2, No.2, pp.163-188, 1991.
DOI
|
12 |
V. Gervasi and V. Ambriola, "Quantitative assessment of textual complexity," Complexity in Language and Text, pp.197-228, 2002.
|
13 |
P. Coppin and S. Hockema, "A cognitive exploration of the 'non-visual' nature of geometric proofs," Visual Languages and Logic, pp.81-95, 2009.
|
14 |
M. Huth and M. Ryan, "Logic in computer science: Modelling and reasoning about systems," Cambridge University Press, 2004.
|
15 |
K. Rob. "The real-time city? Big data and smart urbanism," GeoJournal, Vol.79, No.1, pp.1-14, 2014.
DOI
|
16 |
Y. Choe and M. Lee, "Process model to predict non-deterministic behavior of IoT systems," The 11th IFIP WG 8.1 working conference on the Practice of Enterprise Modelling (PoEM), pp.1-12, 2018.
|
17 |
P. Coppin, J. Burton, and S. Hockema, "An attention based theory to explore affordances of textual and diagrammatic proofs," International Conference on Theory and Application of Diagrams, Springer, Berlin, Heidelberg, 2010.
|