What is a concept?

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 3596 LNAI, Issue , 2005, Pages 52-77

  Goguen, Joseph ^a  

^a UNIVERSITY OF CALIFORNIA   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COGNITIVE SYSTEMS; DATABASE SYSTEMS; SEARCH ENGINES; SEMANTICS; SOCIAL ASPECTS; WORLD WIDE WEB;

CONTEXT DEPENDENCE; INFORMATION FLOW; ONTOLOGIES;

FORMAL LOGIC;

EID: 26944452757     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11524564_4     Document Type: Conference Paper

References (65)

1. Franz Baader, Diego Calvanese, Deborah McGuinness, Daniele Nardi, and Peter Patel-Schneider, editors. Description Logic Handbook. Cambridge, 2003.
2. Michael Barr. *-autonomous categories and linear logic. Mathematical Structures in Computer Science, 1:159-178, 1991.
3. Jon Barwise and Jerry Seligman. Information Flow: Logic of Distributed Systems. Cambridge, 1997. Tracts in Theoretical Computer Science, vol. 44.
4. John Lane Bell. Topases and Local Set Theories: An Introduction. Oxford, 1988. Oxford Logic Guides 14.
5. David Bloor. Knowledge and Social Imagery. Chicago, 1991. Second edition.
6. Herbert Blumer. Symbolic Interactionism: Perspective and Method. California, 1986.
7. Rod Burstall and Joseph Goguen. Putting theories together to make specifications. In Raj Reddy, editor, Proceedings, Fifth International Joint Conference on Artificial Intelligence, pages 1045-1058. Department of Computer Science, Carnegie-Mellon University, 1977.
8. Manuel Clavel, Steven Eker, Patrick Lincoln, and José Meseguer. Principles of Maude. In José Meseguer, editor, Proceedings, First International Workshop on Rewriting Logic and its Applications. Elsevier Science, 1996. Volume 4, Electronic Notes in Theoretical Computer Science.
9. Michael Cole. Cultural Psychology: A once and future discipline. Harvard, 1996.
10. Terrence Deacon. Memes as signs in the dynamic logic of semiosis: Beyond molecular science and computation theory. In Karl Wolff, Heather Pfeiffer, and Harry Delugach, editors, Conceptual Structures at Work: 12th International Conference on Conceptual Structures, pages 17-30. Springer, 2004. Lecture Notes in Computer Science, vol. 3127.
11. Rǎzvan Diaconescu and Kokichi Futatsugi. CafeOBJ Report: The Language, Proof Techniques, and Methodologies for Object-Oriented Algebraic Specification. World Scientific, 1998. AMAST Series in Computing, Volume 6.
12. Samuel Eilenberg and Saunders Mac Lane. General theory of natural equivalences. Transactions of the American Mathematical Society, 58:231-294, 1945.
13. Gilles Fauconnier. Mental Spaces: Aspects of Meaning Construction in Natural Language. Bradford: MIT, 1985.
14. Gilles Fauconnier and Mark Turner. The Way We Think. Basic, 2002.
15. Bernhard Ganter and Rudolf Wille. Formal Concept Analysis: Mathematical Foundations. Springer, 1997.
16. Peter Gärdenfors. Conceptual Spaces: The Geometry of Thought. Bradford, 2000.
17. Harold Garflnkel. Studies in Ethnomethodology. Prentice-Hall, 1967.
18. James Gibson. An Ecological Approach to Visual Perception. Houghton Mifflin, 1979.
19. Barney Glaser and Ansolm Strauss. The Discovery of Grounded Theory: Strategies for qualitative research. Aldine de Gruyter, 1999.
20. Joseph Gogueu. The logic of inexact concepts. Synthese, 19:325-373, 1969.
21. Joseph Goguen. A categorical manifesto. Mathematical Structures in Computer Science, 1(1):49-67, March 1991.
22. Joseph Goguen. Towards a social, ethical theory of information. In Geoffrey Bowker, Leigh Star, William Turner, and Les Gasser, editors, Social Science, Technical Systems and Cooperative Work: Beyond the Great Divide, pages 27-56. Erlbaum, 1997.
23. Joseph Goguen. An introduction to algebraic semiotics, with applications to user interface design. In Chrystopher Nehaniv, editor, Computation for Metaphors, Analogy and Agents, pages 242-291. Springer, 1999. Lecture Notes in Artificial Intelligence, Volume 1562.
24. Joseph Goguen. Semiotic morphisms, representations, and blending for interface design. In Proceedings, AMAST Workshop on Algebraic Methods in Language Processing, pages 1-15. AMAST Press, 2003.
25. Joseph Goguen. Data, schema and ontology integration. In Proceedings, Workshop on Combinination of Logics, pages 21-31. Center for Logic and Computation, Instituto Superior Tecnico, Lisbon, Portugal, 2004.
26. Joseph Goguen. Information integration in instutions. In Lawrence Moss, editor, Memorial volume for Jon Barwise. Indiana, to appear.
27. Joseph Goguen and Rod Burstall. A study in the foundations of programming methodology: Specifications, institutions, charters and parchments. In David Pitt, Samson Abramsky, Axel Poigné, and David Rydeheard, editors, Proceedings, Conference on Category Theory and Computer Programming, pages 313-333. Springer, 1986. Lecture Notes in Computer Science, Volume 240; also, Report CSLI-86-54, Center for the Study of Language and Information, Stanford University, June 1986.
28. Joseph Goguen and Rod Burstall. Institutions: Abstract model theory for specification and programming. Journal of the Association for Computing Machinery, 39(1):95-146, January 1992.
29. Joseph Goguen and Fox Harrell. Style as a choice of blending principles. In Shlomo Argaraon, Shlomo Dubnov, and Julie Jupp, editors, Style and Meaning in Language, Art Music and Design, pages 49-56. AAAI Press, 2004.
30. Joseph Goguen and Fox Harrell. Foundations for active multimedia narrative: Semiotic spaces and structural blending, 2005. To appear in Interaction Studies: Social Behaviour and Communication in Biological and Artificial Systems.
31. Joseph Goguen and Kai Lin. Behavioral verification of distributed concurrent systems with BOBJ. In Hans-Dieter Ehrich and T.H. Tse, editors, Proceedings, Conference on Quality Software, pages 216-235. IEEE Press, 2003.
32. Joseph Goguen and Jose Meseguer. Order-sorted algebra I: Equational deduction for multiple inheritance, overloading, exceptions and partial operations. Theoretical Computer Science, 105(2):217-273, 1992. Drafts exist from as early as 1985.
33. Joseph Goguen and Grigore Roşu. Institution morphisms. Formal Aspects of Computing, 13:274-307, 2002.
34. Joseph Goguen, James Thatcher, Eric Wagner, and Jesse Wright. Initial algebra semantics and continuous algebras. Journal of the Association for Computing Machinery, 24(1):68-95, January 1977.
35. Joseph Goguen and William Tracz. An implementation-oriented semantics for module composition. In Gary Leavens and Murali Sitaraman, editors, Foundations of Component-based Systems, pages 231-263. Cambridge, 2000.
36. Joseph Goguen, Timothy Winkler, José Meseguer, Kokichi Futatsugi, and Jean-Pierre Jouannaud. Introducing OBJ. In Joseph Goguen and Grant Malcolm, editors, Software Engineering with, OBJ: Algebraic Specification in Action, pages 3-167. Kluwer, 2000.
37. Rebecca Green. Internally-structured conceptual models in cognitive semantics. In Rebecca Green, Carol Bean, and Sung Hyon Myaeng, editors, The Semantics of Relationships, pages 73-90. Kluwer, 2002.
38. Stevan Harnad. The symbol grounding problem. Physica D, 42:335-346, 1990.
39. William S. Hatcher. Foundations of Mathematics. W.B. Saunders, 1968.
40. Edwin Hutchins. Cognition in the Wild. MIT, 1995.
41. Mary Keeler. Hegel in a strange costume. In Aldo de Moor, Wilfried Lex, and Bernhard Ganter, editors, Conceptual Structures for Knowledge Creation and Communication, pages 37-53. Springer, 2003. Lecture Notes in Computer Science, vol. 2746.
42. Robert Kent. Distributed conceptual structures. In Harre de Swart, editor, Sixth International Workshop on Relational Methods in Computer Science, pages 104-123. Springer, 2002. Lecture Notes in Computer Science, volume 2561.
43. Robert Kent. Formal or axiomatic semantics in the IFF, 2003. Available at suo.ieee.org/IFF/work-in-progress/.
44. Thomas Kuhn. The Structure of Scientific Revolutions. Chicago, 1962.
45. William Labov. Language in the Inner City. University of Pennsylvania, 1972.
46. George Lakoff. Women, Fire and Other Dangerous Things: What categories reveal about the mind. Chicago, 1987.
47. George Lakoff and Mark Johnson. Philosophy in the Flesh: The Embodied Mind and its Challenge to Western Thought. Basic, 1999.
48. Bruno Latour. We Have Never Been Modern. Harvard, 1993. Translated by Catherine Porter.
49. Bruno Latour and Steve Woolgar. Laboratory Life. Sage, 1979.
50. Eric Livingston. The Ethnomethodology of Mathematics. Routiedge & Kegan Paul, 1987.
51. Saunders Mac Lane. Categories for the Working Mathematician. Springer, 1998. Second Edition.
52. Donald MacKenzie. Mechanizing Proof. MIT, 2001.
53. Till Mossakowski, Joseph Goguen, Razvan Diaconescu, and Andrzej Tarlecki. What is a logic? In Jean-Yves Beziau, editor, Logica Universalis. Birkhauser, 2005. Proceedings, First World Conference on Universal Logic.
54. Peter Mosses, editor. CASL Reference Manual. Springer, 2004. Lecture Notes in Computer Science, Volume 2960.
55. Nagarjuna. Mulamadhyamika Karaka. Oxford, 1995. Translated by Jay Garfield.
56. Charles Saunders Peirce. Collected Papers. Harvard, 1965. In 6 volumes; see especially Volume 2: Elements of Logic.
57. Benjamin C. Pierce. Basic Category Theory for Computer Scientists. MIT, 1991.
58. Simone Pribbenow. Merenymic relationships: From classical mereology to complex part-whole relations. In Rebecca Green, Carol Bean, and Sung Hyon Myaeng, editors, The Semantics of Relationships, pages 35-50. Kluwer, 2002.
59. Harvey Sacks. On the analyzability of stories by children. In John Gumpertz and Del Hymes, editors, Directions in Sociolinguistics, pages 325-345. Holt, Rinehart and Winston, 1972.
60. Marco Schlorlemmer and Yannis Kalfoglou. A channel-theoretic foundation for ontology coordination. In Proceedings, 18th European Workshop on Multi-Agent Systems. 2004.
61. John Sowa. Knowledge Representation: Logical, Philosophical and Computational Foundations. Brooks/Coles, 2000.
62. Susan Leigh Star. The structure of ill-structured solutions: Boundary objects and heterogeneous problem-solving. In Les Gasser and Michael Huhns, editors, Distributed Artificial Intelligence, volume 2, pages 37-54. Pitman, 1989.
63. Andrzej Tarlecki, Rod Burstall, and Joseph Goguen. Some fundamental algebraic tools for the semantics of computation, part 3: Indexed categories. Theoretical Computer Science, 91:239-264, 1991. Also, Monograph PRG-77, August, 1989, Programming Research Group, Oxford University.
64. Lev Vygotsky. Thought and Language. MIT, 1962.
65. Lev Vygotsky. Mind in Society. Harvard, 1985.