Mapping visual to textual knowledge representation

Knowledge-Based Systems

Volumn 18, Issue 7, 2005, Pages 367-378

  Jonker, Catholijn M ^a   Kremer, Rob ^b   Van Leeuwen, Pim ^a   Pan, Dong ^b   Treur, Jan ^a  

^a VU UNIVERSITY AMSTERDAM   (Netherlands)

^b UNIVERSITY OF CALGARY   (Canada)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER GRAPHICS; CONSTRAINT THEORY; GRAPH THEORY; KNOWLEDGE BASED SYSTEMS; MAPPING; MULTI AGENT SYSTEMS;

CONSTRAINT GRAPHS; GRAPHICAL REPRESENTATIONS; KNOWLEDGE STRUCTURES;

KNOWLEDGE REPRESENTATION;

EID: 30144433803     PISSN: 09507051     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.knosys.2005.05.003     Document Type: Article

References (14)

1. M. Abadi, and L. Cardelli A Theory of Object 1996 Springer New York
2. Brachman, J. Ronald, R.E. Fikes, and H.J. Levesque Krypton: a functional approach to knowledge representation IEEE Computer 16 10 1983 67 73
3. F.M.T. Brazier, B. Dunin-Keplicz, N.R. Jennings, and J. Treur Formal specification of multi-agent systems: a real-world case V. Lesser Proceedings of the First International Conference on Multi-Agent Systems, ICMAS-95 1995 MIT Press Cambridge, MA 25 32 [Extended version in: International Journal of Cooperative Information Systems, M. Huhns, M. Singh, (Eds.), special issue on Formal Methods in Cooperative Information Systems: Multi-Agent Systems, vol. 6, 1997, pp. 67-94]
4. F.M.T. Brazier, C.M. Jonker, and J. Treur Principles of component-based design of intelligent agents Data and Knowledge Engineering 41 2002 1 28
5. E. Gamma, R. Helm, R. Johnson, and J. Vlissides Design Patterns: Elements of Reusable Object-Oriented Software 1994 Addison-Wesley Reading, Mass
6. R. Kremer, Constraint Graphs: A Constraint Graphs Meta-Language, PhD Dissertation, Department of Computer Science, University of Calgary, 1997.
7. Lehmann Fritz Semantic Networks in Artificial Intelligence 1992 Pergamon Press Oxford [Also published as a special issue of Computers and Mathematics with Applications 23:6-9]
8. U. Moeller, and M. Willems CG-DESIRE: Formal Specification Using Conceptual Graphs B.R. Gaines M.A. Musen Proceedings of the 9th Banff Knowledge Acquisition for Knowledge-Based Systems Workshop KAW-95, Calgary 1995 25/1 25/20
9. J.T. Nosek, and I. Roth A Comparison of Formal Knowledge Representation Schemes as Communication Tools: Predicate Logic vs. Semantic Network International Journal of Man-Machine Studies 33 1990 227 239
10. S. Polovina, and J. Heaton An introduction to conceptual graphs AI Expert 1992 36 43
11. J.F. Sowa Conceptual Structures: Information Processing in Mind and Machine 1984 Addison-Wesley Reading, Mass
12. J.F. Sowa, and D. Dietz Knowledge Representation: Logical, Philosophical, and Computational Foundations 1999 Brooks/Cole Belmont, CA
13. R.W. Weyhrauch Prolegomena to a theory of mechanized formal reasoning Artificial Intelligence Journal 13 1980 133 170
14. Wolff, Karl Erich Pfeiffer, Heather D. Delugach, Harry S. (eds.) Conceptual Structures at Work: Proc. Of the 12th International Conference on Conceptual Structures, ICCS 2004. Lecture Notes in Computer Science, vol. 3127. Springer Verlag, 2004.