Combined Bibliography

This page contains the combined bibliography for many of the web pages on this site. Names highlighted in blue have links to biographies or web pages of the corresponding persons, places, or things. Titles highlighted in blue have links to summaries, reviews, excerpts, or complete copies of the documents.



Adriaens, Geert, & Steven L. Small (1988) Word expert parsing revisited in a cognitive science perspective, in Small et al. (1988) 13-43.

Agha, Asif (2007) Language and Social Relations, Cambridge University Press, Cambrige.

Ajdukiewicz, Kazimierz (1935) Die syntaktische Konnexität, Studia Philosophica, 1, 1-27; translated as Syntactic Connexion, in S. McCall, ed., Polish Logic 1920-1939, Clarendon Press, Oxford, 1967.

Albertazzi, Liliana, ed. (1999) Shapes of Forms, Dordrecht: Kluwer.

Albus, James S. (1971) Theory of cerebellar function, Mathematical Biosciences 10, 25-61.

Albus, James S. (1975) New approach to manipulator control: the cerebellar model articulation controller (CMAC), Trans. of the ASME Journal of Dynamic Systems, Measurement, and Control, 220-227.

Albus, James S. (2010) A model of computation and representation in the brain, Information Sciences 180, 1519-1554.

Albus, James S. (2010) Reverse engineering the brain, International Journal of Machine Consciousness 2:2, 193-211.

Alchourrón, Carlos, Peter Gärdenfors, & David Makinson (1985) On the logic of theory change: partial meet contraction and revision functions, Journal of Symbolic Logic 50:2, 510-530.

Alexander, Christopher (1964) Notes on the Synthesis of Form, Cambridge, MA: Harvard University Press.

Alexander, Christopher, Sara Ishikawa, & Murray Silverstein (1977) A Pattern Language: Towns, Buildings, Construction, New York: Oxford University Press.

Alexander, Christopher (1979) The Timeless Way of Building, Oxford University Press, New York.

Allen, James F. (1983) Maintaining knowledge about temporal intervals, Communications of the ACM 26:11, pp. 832-843.

Allen, James F. (1984) Towards a general theory of action and time, Artificial Intelligence, vol. 23, pp. 123-154.

Allen, James F., & Patrick J. Hayes (1985) A common-sense theory of time, Proceedings AAAI-85, pp. 528-531.

Allen, James (2001) Inference from Signs: Ancient Debates about the Nature of Evidence, Oxford: Clarendon Press.

Allerton, D. J. (1982) Valency and the English Verb, Academic Press, New York.

Almeder, Robert F. (1985) Peirce’s thirteen theories of truth, Transactions of the Charles S. Peirce Society, Winter 1985.

Almog, Joseph, John Perry, & Howard Wettstein (1989) Themes from Kaplan, Oxford: Oxford University Press.

Allwein, Gerard, & Jon Barwise (1996) Logical Reasoning with Diagrams, Oxford: Oxford University Press.

Amarel, Saul (1968) On representations of problems of reasoning about actions, in D. Michie, ed., Machine Intelligence 3, American Elsevier, New York, pp. 131-171.

Amblard, Maxime, Philippe de Groote, Sylvain Pogodalla, & Christian Retoré, eds. (2016) Logical Aspects of Computational Linguistics, LNCS 10054, Berlin: Springer.

Andersen, Per, Richard Morris, David Amaral, Tim Bliss, & John O'Keefe (2006) The Hippocampus Book, Oxford: University Press.

Anderson, Alan Ross, & Nuel D. Belnap, Jr. (1975) Entailment: The Logic of Relevance and Necessity, Princeton University Press, Princeton.

Anderson, John R. (1983) The Architecture of Cognition, Cambridge, MA: Harvard University Press.

Anderson, John R., & Gordon H. Bower (1973) Human Associative Memory, Washington, DC: Winston.

Anderson, John R., & Gordon H. Bower (1980) Human Associative Memory: A Brief Edition, Hillsdale, NJ: Erlbaum.

Anderson, John R., & Lebiere, C. (1998) The atomic components of thought, Mahwah, NJ: Erlbaum.

Anderson, John R., Daniel Bothell, Michael D. Byrne, Scott Douglas, Christian Lebiere, Yulin Qin (2004) An integrated theory of the mind, Psychological Review 111:4, 1036-1060.

Andrews, Kristen (2011) Beyond anthropomorphism: attributing psychological properties to animals, The Oxford Handbook of Animal Ethics, Oxford: University Press, pp. 469-494.

Anellis, Irving H. (1995) Peirce rustled, Russell pierced: how Charles Pierce and Bertrand Russell viewed each other’s work in logic, and an assessment of Russell’s accuracy and role in the historiography of logic, Modern Logic 5:3, 270-328.

Angeli, Gabor, & Christopher D. Manning (2014) NaturalLI: Natural logic inference for common sense reasoning, Proc. EMNLP Conference, pp. 534-545.

Annas, Julia, & Jonathan Barnes (1985) The Modes of Scepticism: Ancient Texts and Modern Interpretations, Cambridge University Press, Cambridge.

Antonacci, F., Russo, M., Pazienza, M. T., and Velardi, P. (1989) System for text analysis and lexical knowledge acquisition, Data and Knowledge Engineering, vol. 4, no. 1, p. 1-20.

Apel, Karl-Otto (1975) Der Denkweg von Charles S. Peirce, translated by J. M. Krois as Charles S. Peirce: from Pragmatism to Pragmaticism, University of Massachusetts Press, Amherst, 1981.

Apel, Karl-Otto (1983) C. S. Peirce and post-Tarskian truth, in Freeman (1983) pp. 189-223.

Appelt, Douglas E., Jerry R. Hobbs, John Bear, David Israel, & Mabry Tyson (1993) FASTUS: A finite-state processor for information-extraction from real-world text, in , pp. 1172-1178.

Apt, Krzysztof R., Howard A. Blair, & Adrian Walker (1988) Towards a theory of declarative knowledge, in Minker (1988) pp. 89-144.

Arbib, Michael A. (1972) The Metaphorical Brain, Wiley, New York.

Arbib, Michael A. (2012) How the Brain Got Language: The Mirror System Hypothesis, Oxford: Oxford University Press.

Arbib, Michael A., ed. (2003) The Handbook of Brain Theory and Neural Networks, Cambridge, MA: MIT Press.

Arbib, Michael A., ed. (2013) Language, Music, and the Brain, Cambridge, MA: MIT Press.

Arbib, Michael A., and James J. Bonaiuto, eds. (2016) From Neuron to Cognition via Computational Neuroscience, Cambridge, MA: MIT Press.

Arbib, Michael A., A. J. Kfoury, & Robert N. Moll (1981) A Basis for Theoretical Computer Science, New York: Springer.

Arens, Hans (1984) Aristotle’s Theory of Language and its Tradition, Amsterdam: John Benjamins Publishing Co.

Arieti, Silvano (1978) The psychobiology of sadness, in S. Arieti & J. Bemporad, Severe and Mild Depression, Basic Books, New York, pp. 109-128.

Aristotle, The Categories, On Interpretation, Prior Analytics, Cambridge, MA: Harvard University Press.

Aristotle, Metaphysics, Cambridge, MA: Harvard University Press.

Aristotle, Posterior Analytics, Topica, Cambridge, MA: Harvard University Press.

Aristotle, On the Soul, Parva Naturalia, On Breath,, Cambridge, MA: Harvard University Press.

Aronson, Jerrold L. (1984) A Realist Philosophy of Science, St. Martin’s Press, New York.

Aronson, Jerrold L., Rom Harré, and Eileen C. Way (1994) Realism Rescued: How Scientific Progress is Possible, London: Duckworth.

Armstrong, David M. (1989) Universals: An Opinionated Introduction, Boulder: Westview Press.

Atkins, Richard Kenneth (2018) Charles S. Peirce’s Phenomenology: Analysis and Consciousness Oxford: Oxford University Press.

Attardi, Giuseppe, & Maria Simi (1995) A formalization of viewpoints, Fundamenta Informaticae, vol. 23, pp. 149-173.

Augustine, St. (1975) De Dialectica with translation and notes by B. D. Jackson, Synthese Historical Library, Reidel, Dordrecht.

Austin, John L. (1962), How to do Things with Words, second edition edited by J. O. Urmson & Marina Sbisá, Harvard University Press, Cambrige, MA, 1975.

Axelrod, Robert (1984) The Evolution of Cooperation, New York: Basic Books. Revised edition, Perseus Books, 2006.


Baader, Franz, E. Franconi, B. Hollunder, B. Nebel, & H. J. Profitlich (1994) An empirical analysis of optimization techniques for terminological representation systems or making KRIS get a move on, Applied Artificial Intelligence, Special Issue on Knowledge Base Management, in press.

Baader, Franz, Diego Calvanese, Deborah McGuinness, Daniele Nardi, Peter Patel-Schneider (2003) Description Logic Handbook, Cambridge: University Press.

Baader, Franz, Ian Horrocks, and Ulrike Sattler (2008) Description logics, in F. van Harmelen, V. Lifschitz, and B. Porter, eds., Handbook of Knowledge Representation, Amsterdam: Elsevier, pp. 135-179.

Baars, Bernard J., & Nicole M. Gage (2010) Cognition, Brain, and Consciousness, second edition, Amsterdam: Elsevier.

Bach, Emmon (1989) Informal Lectures on Formal Semantics, SUNY Press, Albany.

Bachman, Charles W. (1969) Data structure diagrams, Data Base 1:2, ACM SIGBDP, New York, pp. 4-10.

Backus, John (1959) The syntax and semantics of the proposed international algebraic language, Proceedings of the 1st International Conference on Information Processing, Butterworth, London, pp. 125-132.

Baddeley, Alan (2007) Working Memory, Thought, and Action, Oxford: Oxford University Press.

Badler, Norman I., Barry D. Reich, & Bonnie L. Weber (1997) Towards personalities for animated agents with reactive and planning behaviors, in Trappl & Petta (1997) pp. 43-57.

Bailer-Jones, Daniela M. (2009) Scientific Models in Philosophy of Science, Pittsburgh: University Press.

Bailey, David, (1997) A Computational Model of Embodiment in the Acquisition of Action Verbs, Doctoral dissertation, Computer Science Division, EECS Department, University of California, Berkeley.

Baillie, Penny (2002) The Synthesis of Emotions in Artificial Intelligence, PhD Dissertation, University of Southern Queensland.

Baker, Mark C. (2003) Lexical Categories: Verbs, Nouns, and Adjectives, Cambridge University Press, Cambridge.

Baldwin, J.F. (1986) Automated fuzzy and probabilistic inference, Fuzzy Sets and Systems, vol 18, pp. 219-235.

Ballard, Dana H., Mary M. Hayhoe, Polly K. Pook, & Rajesh P. N. Rao (1997) Deictic codes for the embodiment of cognition, Behavioral and Brain Sciences 20, 723-767.

Bar Hillel, Yehoshua (1954) Logical Syntax and Semantics, Language 30, 230-237.

Bar Hillel, Yehoshua (1960) The present status of automatic translation of languages, in F. L. Alt, ed., Advances in Computers 1, Academic Press, New York, 91-163.

Barbieri, Marcello, ed. (2008) Introduction to Biosemiotics, Springer: Dordrecht.

Barsalou, Lawrence W. (1999) Perceptual symbol systems, Behavioral and Brain Sciences 22, 577-660.

Barsalou, Lawrence W. (2009) Simulation, situated conceptualization, and prediction, Philosophical Transactions of the Royal Society B 364, 1281-1289.

Barsalou, Lawrence W. (2008) Grounded cognition, Annual Review of Psychology 59:1, 672.

Bartlett, Frederic C. (1932) Remembering, Cambridge University Press, Cambridge.

Barwise, Jon, & John Perry (1983) Situations and Attitudes, Cambridge, MA: MIT Press.

Barwise, J., J. M. Mark Gawron, G. Plotkin, & S. Tutiya, eds. (1991) Situation Theory and its Applications, Stanford: CSLI.

Barwise, Jon, & John Etchemendy (1987) The Liar: An Essay on Truth and Circularity, Oxford: Oxford University Press.

Barwise, Jon, J. M. Gawron, G. Plotkin, & S. Tutiya, eds. (1991) Situation Theory and its Applications, vol. 2, Sanford, CA: CSLI.

Barwise, Jon, & John Etchemendy (1993) Tarski’s World, Stanford: CSLI.

Barwise, Jon, & Jerry Seligman (1997) Information Flow:  The Logic of Distributed Systems, Cambridge: Cambridge University Press.

Basili, Roberto, Maria Teresa Pazienza, & Paola Velardi (1993) Acquisition of selectional patterns from sublanguages, Machine Translation 8.

Basili, Roberto, Maria Teresa Pazienza, & Paola Velardi (1994) The noisy channel and the braying donkey, The Balancing Act: Combining Symbolic and Statistical Approaches to Language, ACL, Bernardsville, NJ.

Basili, Roberto, Maria Teresa Pazienza, & Paola Velardi (1996) An empirical symbolic approach to natural language processing, Artificial Intelligence 85, 59-99.

Bateman, John A., Robert T. Kasper, Johanna D. Moore, & Richard A. Whitney (1990) A general organization of knowledge for natural language processing: The Penman Upper Model, Technical report, USC Information Sciences Institute, Marina del Rey, CA.

Baum, Eric B. (2004) What is Thought? MIT Press, Cambridge, MA.

Beeson, Robert J. (2008) Peirce on the passions: The role of instinct, emotion, and sentiment in inquiry and action. PhD dissertation, University of South Florida.

Beiser, Frederick C. (1987) The Fate of Reason: German Philosophy from Kant to Fichte, Cambridge, MA: Harvard University Press.

Bellucci, Francesco (2013) Peirce’s continuous predicates, Transactions of the Charles S. Peirce Society 49:2, 178-202.

Bennett, Maxwell R., & Peter M. S. Hacker (2003) Philosophical Foundations of Neuroscience, Oxford: Blackwell.

Benson, Morton, Evelyn Benson, & Robert Ilson (1986) The BBI Combinatory Dictionary of English, Amsterdam: John Benjamins Publishing Co.

Berg-Cross, Gary (1992) Can a large knowledge base be built by importing and unifying diverse knowledge? Lessons from scruffy work, Knowledge-Based Systems, vol. 5, no. 3, 1992.

Bergman, Gustav (1992) New Foundations of Ontology, Madison: University of Wisconsin Press.

Bergson, Henri (1889) Essai sur les données immédiates de la conscience, translated by F. L. Pogson as Time and Free Will, Harper & Brothers, New York.

Berners-Lee, Tim, R. Fielding, & L. Masinter, eds. (1998) Uniform Resource Identifiers (URI): Generic Syntax, Internet RFC 2396.

Berners-Lee, Tim (1999) The Semantic Toolbox: Building Semantics on top of XML-RDF,

Berners-Lee, Tim, James Hendler, & Ora Lassila (2001) The Semantic Web, Scientific American, May 2001.

Bernus, Peter, Kai Mertins, & Günter Schmidt, eds. (1998) Handbook on Architectures of Information Systems, Springer Verlag, Berlin.

Beth, Evert W. (1939) Symbolic logic as a continuation of traditional formal logic, reprinted in E. W. Beth, Science a Road to Wisdom, D. Reidel Publishing Co., Dordrecht, pp. 42-61.

Beth, Evert Willem (1955) Semantic Entailment and Formal Derivability, North-Holland Publishing Co., Amsterdam.

Bicarregui, J. C., J. S. Fitzgerald, P. A. Lindsay, R. Moore, & B. Richie (1994) Proof in VDM: A Practitioner’s Guide, Berlin: Springer.

Bharati, Akshar, Vineet Chaitanya, & Rajeev Sangal (1995) Natural Language Processing:  A Paninian Perspective, Prentice-Hall of India, New Delhi.

Bickerton, Derek (1995) Language and Human Behavior, University of Washington Press, Seattle.

Binder, Jeffrey R., Rutvik H. Desai, William W. Graves, & Lisa L. Conant (2009) Where is the semantic system? A critical review and meta-analysis of 120 functional neuroimaging studies, Cerebral Cortex 19, 2767-2796.

Binnick, Robert I. (1991) Time and the Verb, Oxford: Oxford University Press.

Blaauw, Gerrit A., & Frederick P. Brooks, Jr. (1997) Computer Architecture: Concepts and Evolution, Addison-Wesley, Reading, MA.

Bläsius, K. H., U. Hedstück, & C-R. Rollinger, eds. (1989) Sorts and Types in Artificial Intelligence, LNAI 418, Berlin: Springer.

Bledsoe, Woody W. (1977) Non-resolution theorem proving, Artificial Intelligence 9, 1-35.

Bloomfield, Leonard (1914) An Introduction to Language, reprinted by J. Benjamins, Amsterdam, 1983.

Bloomfield, Leonard (1933) Language, New York: Holt, Rinehart, & Winston.

Blum, Lenore, Felipe Cucker, Michael Shub, Steve Smale (1998) Complexity and Real Computation, Berlin: Springer.

Blum, Lenore (2004) Computing over the reals: where Turing meets Newton, Notices of the AMS 51:9, 1024-1034.

Bobrow, Daniel G., & J. Bruce Fraser (1969) An augmented state transition network analysis procedure, Proc. IJCAI'69, 557-567.

Bobrow, Daniel G., & Allan Collins, eds. (1975) Representation and Understanding: Studies in Cognitive Science, Academic Press, New York.

Bobrow, Daniel G., & Terry Winograd (1977) An overview of KRL, a knowledge representation language, Cognitive Science, vol 1, 3-46.

Bobrow, R. J. (1978) The RUS system, in B. L. Webber & R. J. Bobrow, Research in Natural Language Understanding, BBN Report 3878, Cambridge, MA.

Bocheński, Innocenty M. (1956) Formale Logik, translated by Ivo Thomas as A History of Formal Logic, 2nd edition, New York: Chelsea, 1970.

Bod, Rens (1998) Beyond Grammar: An Experience-Based Theory of Language, CSLI, Stanford, CA.

Bogosslavsky, Julien, & François Boller (2005) Neurological Disorders in Famous Artists, Basel: Karger.

Bohnert, H., & P. Backer (1967) Automatic English-to-logic translation in a simplified model, technical report RC-1744, IBM, Yorktown Heights, NY.

Bohr, Niels (1934) Atomic Theory and the Description of Nature, Cambridge University Press, Cambridge.

Bohr, Niels (1958) Atomic Physics and Human Knowledge, Wiley, New York.

Bolc, Leonard, & Piotr Borowik (1992) Many-Valued Logics: 1 Theoretical Foundations, Berlin: Springer.

Boler, John F. (1963) Charles Peirce and Scholastic Realism: A Study of Peirce’s Relation to John Duns Scotus, University of Washington Press, Seattle.

Bolinger, Dwight (1965) The atomization of meaning, Language 41, 555-573.

Bolzano, Bernhard (1837) Wissenschaftslehre, Sulzbach.

Bonner, Anthony, ed. (1993) Doctor Illuminatus: A Ramon Llull Reader, Princeton: University Press.

Bonzon, Pierre, Marcos Cavalcanti, & Rolf Nossum, eds. (2000) Formal Aspects of Context, Kluwer Academic Publishers, Dordrecht.

Bookman, Lawrence A. (1994) Trajectories through Knowledge Space: A Dynamic Framework for Machine Comprehension, Dordrecht: Kluwer.

Boole, George (1847) The Mathematical Analysis of Logic,

Boole, George (1854) An Investigation into the Laws of Thought, reprinted by Dover Publications, New York.

Boolos, George (1998) Logic, Logic, and Logic, Cambridge, MA: Harvard University Press.

Boolos, George S., & Richard C. Jeffrey (1974) Computability and Logic, Cambridge University Press, Third edition 1989.

Borges, Jorge Luis (1941) La Biblioteca de Babel translated as The library of Babel in Ficciones, Grove Press, New York.

Borgida, Alex (1992) From types to knowledge representation, International J. on Cooperative and Intelligent Information Systems, vol. 1, no. 1.

Boring, Edwin G. (1953) The role of theory in experimental psychology, American J. of Psychology 66, 169-184.

Born, Max (1949) Natural Philosophy of Cause and Chance, Dover Publications, New York.

Born, Max (1964) Symbol und Wirklichkeit, Physikalische Blätter 20:12, 554-555.

Born, Max (1965) Symbol und Wirklichkeit, Physikalische Blätter 21:2, 53-63.

Borrett, Donald, Sean Kelly, Hon Kwan (2001) Phenomenology, dynamical neural networks and brain function, Philosophical Psychology 13:2, 213-228.

Bowen, Kenneth A., & Robert A. Kowalski (1982) Amalgamating language and metalanguage in logic programming, in K. L. Clark & S.-A. Tärnlund, eds., Logic Programming, Academic Press, New York, pp. 153-172.

Box, George E. P., J. Stuart Hunter, & William G. Hunter (2005) Statistics for Experimenters: Design, Innovation, and Discovery, 2nd Edition, Wiley-Interscience, New York.

Brabazon, Anthony, & Michael O’Neill (2005) Biologically Inspired Algorithms for Financial Modelling, Springer, Berlin.

Brachman, Ronald J. (1979) On the epistemological status of semantic networks, in Findler (1979) 3-50.

Brachman, Ronald J. (1985) ’I lied about the trees,’ Or defaults and definitions in knowledge representation, AI Magazine 6:3, 80-93.

Brachman, Ronald J., Richard E. Fikes, & Hector J. Levesque (1983) KRYPTON: A functional approach to knowledge representation, IEEE Computer 16:10, 67-73.

Brachman, R. J., V. P. Gilbert, & H. J. Levesque (1985) An essential hybrid reasoning system, Proceedings IJCAI'85, pp. 532-539.

Brachman, Ronald J., & Hector J. Levesque, eds. (1985) Readings in Knowledge Representation, Morgan Kaufmann Publishers, San Mateo, CA.

Brandom, Robert (2018) Inferentialism, Normative Pragmatism, and Metalinguistic Expressivism, Singapore: Fudan University.

Brachman, Ronald J., Deborah L. McGuinness, Peter F. Patel-Schneider, Lori A. Resnick, & Alex Borgida (1991) Living with Classic: when and how to use a KL-ONE-like language, in Sowa (1991) pp. 401-456.

Bratman, Michael E. (1987) Intentions, Plans, and Practical Reason, Cambridge, MA: Harvard University Press.

Bray, Tim (1998) RDF and Metadata,

Bray, Tim, Dave Hollander, & Andrew Layman, eds. (1999) Namespaces in XML, W3 TR REC-xml-names.

Breiman, Leo (2001) Statistical Modeling: The Two Cultures, Statistical Science 16:3, 199-231.

Brennan, Andrew (1988) Conditions of Identity, Oxford: Clarendon.

Brent, Joseph (1982) Charles Sanders Peirce, A Life, Enlarged edition, Bloomington: Indiana University Press, 1992.

Brentano, Franz (1862) Von der mannigfachen Bedeutung des Seienden nach Aristoteles, translated as On the Several Senses of Being in Aristotle by Rolf George, Berkeley: University of California Press, 1975.

Brentano, Franz (1874) Psychologie vom empirischen Standpunkte, translated as Psychology from an Empirical Standpoint by A. C. Rancurello, D. B. Terrell, & L. L. McAlister, London: Routledge, 1995.

Brentano, Franz (1933) Kategorienlehre, translated by R. M. Chisholm & N. Guterman as The Theory of Categories, Martinus Nijhoff Publishers, The Hague, 1980.

Brewka, Gerhard, ed. (1996) Principles of Knowledge Representation, CSLI, Stanford, CA.

Brewka, Gerhard, Christopher Habel, & Bernhard Nebel, eds. (1997) KI-97: Advances in Artificial Intelligence, LNAI 1303, Springer Verlag, Berlin.

Brewka, Gerhard, Ilkka Niemelä, & Mirosław Truszczyński (2008) Nonmontonic reasoning, in F. van Harmelen, V. Lifschitz, & B. Porter, Handbook of Knowledge Representation, Amsterdam: Elsevier, pp. 239-284.

Bridge, James P., Sean B. Holden, & Lawrence C. Paulson (2014) Machine learning for first-order theorem proving, Journal of Automated Reasoning 53:2, 141-172.

Brisson, Luc (1996) Introduction à la Philosophie du Mythe, vol 1: Sauver les Mythes, translated by C. Tihanyi as How Philosophers Saved Myths, Chicago: University Press, 2004.

Brodie, Michael L., John Mylopoulos, & Joachim W. Schmidt (1984) On Conceptual Modeling, New York: Springer.

Bröker, Norbert (1999) Eine Dependenzgrammatik zur Kopplung heterogener Wissensquellen, Max Niemeyer Verlag, Tübingen.

Brooks, Fred (1975) The Mythical Man-Month: Essays on Software Engineering, Anniversary Edition, Addison-Wesley, 1995.

Brooks, Rodney A. (1986) A robust layered control system for a mobile robot, IEEE Journal of Robotics and Automation, RA-2(1), pp. 14-23.

Brooks, Rodney A. (1991) Intelligence without representation, Artificial Intelligence 47, 139-159.

Brooks, Rodney A. (1999) Cambrian Intelligence: The Early History of the New AI, Cambridge, MA: MIT Press.

Brown, Frank M., ed. (1987) The Frame Problem in Artificial Intelligence, Morgan Kaufmann Publishers, San Mateo, CA.

Brown, G. Spencer (1972) The Laws of Form, The Julian Press, New York.

Brown, Gillian, & George Yule (1983) Discourse Analysis, Cambridge: University Press.

Brown, Peter F., John Cocke, Stephen A. Della Pietra, Vincent J. Della Pietra, Fredrick Jelinek, John D. Lafferty, Robert L. Mercer, & Paul S. Roossin (1989) A statistical approach to machine translation, Report RC 14773, Yorktown Heights, NY: IBM T. J. Watson Research Center.

Brownston, Lee, Robert Farrell, Elaine Kant, & Nancy Martin (1985) Programming Expert Systems in OPS5: An Introduction to Rule-Based Programming, Addison-Wesley, Reading, MA.

Bruin, Jos de, & Remko Scha (1988) The interpretation of relational nouns, Proceedings of the ACL, Buffalo, NY.

Brunning, Jacqueline, & Paul Forster, eds. (1997) The Rule of Reason: The Philosophy of Charles Sanders Peirce, University of Toronto Press, Toronto.

Budiu, Ralucca, & John R. Anderson (2004) Interpretation-based processing: a unified theory of semantic sentence comprehension, Cognitive Science 28, 1-44.

Buchanan, Bruce G., & Edward H. Shortliffe, eds. (1984) Rule-Based Expert Systems, Addison-Wesley, Reading, MA.

Buchholz, Werner, ed. (1962) Planning a Computer System, New York: McGraw-Hill.

Bundy, Alan (2007) “Cooperating Reasoning Processes:  More than just the Sum of their Parts,” Proceedings of IJCAI'07, pp. 2-11.

Bundy, Alan, & Fiona McNeill (2006) Representation as a fluent:  An AI challenge for the next half century, IEEE Intelligent Systems 21:3, 85-87.

Bunt, Harry (1985) Mass Terms and Model-Theoretic Semantics, Cambridge University Press, Cambridge.

Burge, Tyler (1973) Reference and proper names, Journal of Philosophy 70, 425-439.

Burgess, John P. (2008) Mathematics, Models, and Modality, Cambridge University Press, Cambridge.

Burke, Edmund (1796) Thoughts on the Prospect of a Regicide Peace, in a Series of Letters, Printed for J. Owen, London.

Burke, Tom (1991) Peirce on truth and partiality, in Barwise et al. (1991) pp. 115-146.

Burks, Arthur W., Herman H. Goldstine, John von Neumann (1947) Preliminary Discussion of the Logical Design of an Electronic Computing Instrument, Part I, Volume I, 2nd edition, Princeton: Institute for Advanced Study.

Burks, Alice H., & Arthur W. Burks (1988) The First Electronic Computer: The Atanasoff Story, An Arbor: University of Michigan Press.

Burnstine, Donald C. (1979) The Theory Behind BIAIT — Business Information Analysis and Integration Technique, BIAIT International, Petersburg, New York.

Burger, Henry G., ed. (1984) The Wordtree, Merriam, Kansas.

Butt, Miriam, & William Geuder (1998) The Projection of Arguments: Lexical and Compositional Factors, CSLI Publications, Stanford, CA.

Bybee, Joan, Revere Perkins, & William Pagliuca (1994) The Evolution of Grammar: Tense, Aspect and Modality in the Languages of the World, University of Chicago Press, Chicago.

Bybee, Joan (2010) Language, Usage, and Cognition, Cambridge: Cambridge University Press.

Bylander, Tom, Dean Allemang, Michael C. Tanner, & John R. Josephson (1991) The computational complexity of abduction, Artificial Intelligence, vol. 49, pp. 25-60.

Byrne, Ruth M. J. (2005) The Rational Imagination: How People Create Alternatives to Reality, Cambridge, MA: MIT Press.


Cadwallader, Thomas C., Joyce V. Cadwallader (1971) America's first modern psychologist: William James or Charles S. Peirce? Proc. 1971 Convention of the American Psychological Association 7:2, 773-774.

Calcagno, Franciscus X. (1952) Philosophia Scholastica secundum Rationem, Doctrinam et Principia S. Thomae Aquinatis, third edition, M. D’Auria, Naples.

Callaghan, Steve (2001) Optimising Comparisons of Complex Objects by Precomputing their Graph Properties PhD dissertation, Royal Melbourne Institute of Technology, Melbourne, Australia.

Campbell, Donald T. (1969) Ethnocentrism of disciplines and the fish-scale model of omniscience, in M. Sherif and C. W. Sherif, eds., Interdisciplinary Relationships in the Social Sciences, 328-348, Aldine, Chicago.

Campbell, Ruth, Mairéad MacSweeney, & Dafydd Waters (2007) Sign language and the brain: A review, J. of Deaf Studies and Deaf Education 13:1, 3-20.

Carbonell, Jaime G., Ryszard S. Michalski, & Tom M. Mitchell (1983) An overview of machine learning, in Michalski, Carbonell, & Mitchell, Machine Learning, Palo Alto: Tioga, pp. 3-23.

Carbonell, Jaime G., & Masaru Tomita (1987) Knowledge-based machine translation, the CMU approach, in Machine Translation: Theoretical and Methodological Issues, S. Nierenburg, ed., Cambridge University Press.

Carlson, W. M. (1979) The new horizon in business information analysis, Data Base 10:4, 3-9.

Carnap, Rudolf (1928) Scheinprobleme in der Philosophie,

Carnap, Rudolf (1928) Der logische Aufbau der Welt, translated as The Logical Structure of the World, Second edition (1967), Berkeley: University of California Press.

Carnap, Rudolf (1931) Überwindung der Metaphysik durch logische Analyse der Sprache, Erkenntniss 2, 220-241.

Carnap, Rudolf (1934) Logische Syntax der Sprache, translated as The Logical Syntax of Language, Humanities Press, New York, 1937.

Carnap, Rudolf (1947) Meaning and Necessity, Chicago: University of Chicago Press. Second edition 1956.

Carnap, Rudolf (1954) Einführung in die symbolische Logik, translated by W. H. Meyer & J. Wilkinson as Introduction to Symbolic Logic and its Applications, Dover Publications, New York.

Carnap, Rudolf (1955) Meaning and synonymy in natural languages, Philosophical Studies 7, 33-47. Reprinted as Appendix D of Carnap (1947), second edition, pp. 233-247.

Carnap, Rudolf (1963) Autobiography, in P. A. Schilpp, ed., The Philosophy of Rudolf Carnap, La Salle, IL: Open Court. La Salle, IL, pp. 3-84.

Carnap, Rudolf (1966) An Introduction to the Philosophy of Science, edited by Martin Gardner, Dover Publications, New York.

Carnap, Rudolf, Otto Neurath, & Hans Hahn (1929) Wissenschaftliche Weltauffassung der Wiener Kreis, A. Wolf, Vienna.

Carpenter, Bob (1992) The Logic of Typed Feature Structures, Cambridge University Press, Cambridge.

Carpenter, P. A., M. A. Just, & P. Shell (1990) What one intelligence test measures: A theoretical account of the processing in the Raven Progressive Matrices Test. Psychological Review 97:3, 404-431.

Carriero, Nicholas, & David Gelernter (1992) How to Write Parallel Programs, MIT Press, Cambridge, MA.

Carstairs-McCarthy, Andrew (1999) The Origins of Complex Language, Oxford: Oxford University Press.

Casagrande, Vivien A., & Jon H. Kaas (1994) The afferent, intrinsic, and efferent connections of primary visual cortex in primates, in Cerebral Cortex 10, Primary Visual Cortex of Primates, A. Peters & K. Rockland, eds., New York: Plenum Press, pp. 201-259.

Casati, Roberto, & Achille C. Varzi (1994) Holes and Other Superficialities, MIT Press, Cambridge, MA.

Cassirer, Ernst (1942) Zur Logik der Kulturwissenschaften, translated by S. G. Lofts as The Logic of the Cultural Sciences, Yale University Press, New Haven.

Cattell, R. G. G., & Douglas K. Barry, eds. (1997) The Object Database Standard, ODMG 2.0, Morgan Kaufmann, San Francisco, CA.

Ceccato, Silvio (1961) Linguistic Analysis and Programming for Mechanical Translation, Gordon and Breach, New York.

Ceccato, Silvio (1964) Automatic translation of languages, Information Storage and Retrieval 2:3, 105-158.

Chafe, Wallace L. (1970) Meaning and the Structure of Language, University of Chicago Press, Chicago.

Chamberlin, Don (1996) Using the New DB2, Morgan Kaufmann Publishers, San Francisco.

Chamberlin, Donald D., James C. King, Donald R. Slutz, Stephen J.P. Todd, & Bradford W. Wade (1981) JANUS: An interactive system for document composition, Proc. of the ACM SIGPLAN SIGOA symposium on Text manipulation, Portland, OR, pp. 82 - 91.

Champagne, Marc (2018) Consciousness and the Philosophy of Signs: How Peircean Semiotics Combines Phenomenal Qualia and Practical Effects, Cham, Switzerland: Springer Nature. Marc Champagne Cham

Chan, Wing-Tsit (1963) A Source Book in Chinese Philosophy, Princeton University Press, Princeton.

Chandrasekaran, B. (1994) Broader issues at stake: a reply to Elkan, IEEE Expert 9:4, 10-13.

Chapman, D. (1989) Penguins can make cake, AI Magazine 10:4, 45-50.

Charniak, Eugene (1993) Statistical Language Learning, MIT Press, Cambridge, MA.

Charniak, Eugene, & Yorick Wilks, eds. (1976) Computational Semantics, North-Holland, Amsterdam.

Charniak, Eugene, Christopher K. Riesbeck, & Drew V. McDermott (1980) Artificial Intelligence Programming, Lawrence Erlbaum Associates, Hillsdale, NJ.

Chase, William G., ed. (1973) Visual Information Processing, Academic Press, New York.

Chase, William G., & Herbert A. Simon (1973) The mind’s eye in chess, in Chase (1973) 215-281.

Chein, Michel, ed., (1996) Revue d’intelligence artificielle, Numéro Spécial Graphes Conceptuels, vol. 10, no. 1.

Chen, Peter Pin-Shan (1976) The entity-relationship model—toward a unified view of data, ACM Transactions on Database Systems 1:1, 9-36.

Chen, Weidong, Michael Kifer, & David S. Warren (1993) Hilog:  A Foundation for Higher-Order Logic Programming, Journal of Logic Programming 15:3, 187-230.

Cherry, E. Colin (1962) Why we have two ears, Advancement of Science, Sept. 1962, 218-221.

Chevalier, Jean-Marie (2013) Why Ought We to be Logical? Peirce’s Naturalism on Norms and Rational Requirements,

Chierchia, Gennaro, & Sally McConnell-Ginet (1990) Meaning and Grammar: An Introduction to Semantics, MIT Press, Cambridge, MA, Second edition 2000.

Chisman, James A. (1992) Introduction to Simulation Modeling Using GPSS/PC, Prentice Hall, Englewood Cliffs, NJ.

Chomsky, Noam (1956) Three models for the description of language, IRE [now IEEE] Transactions on Information Theory, IT-2:3, 113-124.

Chomsky, Noam (1957) Syntactic Structures, Mouton, The Hague.

Chomsky (1959) A review of B. F. Skinner’s Verbal Behavior, Language 35, 26-58. Reprinted in Fodor & Katz (1964) 547-578.

Chomsky, Noam (1965) Aspects of the Theory of Syntax, Cambridge, MA: MIT Press.

Chomsky, Noam (1966) Cartesian Linguistics: A Chapter in the History of Rationalist Thought, Third Edition, Cambridge: Cambridge University Press, 2009.

Chomsky, Noam (1968) Language and Mind, Harcourt, Brace, & World, New York. Extended edition 1972.

Chomsky, Noam (1982) Some Concepts and Consequences of the Theory of Government and Binding, MIT Press, Cambridge, MA.

Knowledge of Language: Its Nature, Origin and Use, New York: Praeger.

Chomsky, Noam (1995) The Minimalist Program, MIT Press, Cambridge, MA.

Chung, Fan, & Linyuan Lu (2006) Complex Graphs and Networks, American Mathematical Society, Providence, RI.

Church, Alonzo (1941) The Calculi of Lambda Conversion, Princeton University Press, Princeton, NJ.

Church, Alonzo (1951) The need for abstract entities, Proceedings of the American Academy of Arts and Sciences 80, 100-113.

Church, Alonzo (1958) The ontological status of women and abstract entities, Lecture presented at Harvard University on 18 April 1958, Excerpt at

Church, Alonzo (1989) Intensionality and the paradox of the name relation, in Themes from Kaplan, ed. by J. Almog, J. Perry, & H. Wettstein, Oxford University Press, New York.

Clancey, William J. (1991) Why today’s computers don’t learn the way people do, in Flach & Meersman (1991), pp. 53-62.

Clark, Andy, & David J. Chalmers (1998) The extended mind, Analysis 58, 10-23.

Clark, Austen (2000) A Theory of Sentience, Oxford: University Press.

Cloete, Ian,& Jacek M. Zurada (2001) Knowledge-Based Neurocomputing, Cambridge, MA: MIT Press.

Codd, Edgar F. (1970) A relational model of data for large shared data banks, Comm. ACM 13:6, 377-387.

C. Courtin, P-Y. Hervé, 1, L. Petit, L. Zago, M. Vigneau, V. Beaucousin, G. Jobard, B. Mazoyer, E. Mellet, N. Tzourio-Mazoyer (2010) The neural correlates of highly iconic structures and topographic discourse in French Sign Language as observed in six hearing native signers, Brain and Language 114:3, 180-192.

Codd, Edgar F. (1971) ALPHA: A database sublanguage founded on the relational calculus, in Proc. ACM SIGFIDET Workshop, San Diego.

Codd, E. F. (1979) Extending the relational model to capture more meaning, ACM Transactions on Database Systems 4:4, 397-434.

Codd, E. F., R. S. Arnold, J-M Cadiou, C. L. Chang, & N. Roussopouos (1978) Rendevous version I: an English-Language Query Formulation System for Casual Users of Relational Data Bases, Research Report RJ-2144, IBM Research, San Jose, CA.

Coffa, J. Alberto (1991) The Semantic Tradition from Kant to Carnap, Cambridge: Cambridge University Press.

Cohen, Philip R., & Hector J. Levesque (1990) Intention is choice with commitment, Artificial Intelligence 42:3, 213-261.

Cohn, Anthony G. (1993) On the appearance of sortal-literals: A non-substitutional approach to hybrid reasoning, in Meinke & Tucker (1993) pp. 149-177.

Cohn, Anthony G. (1997) Qualitative spatial representation and reasoning techniques, in Brewka et al. (1997) pp. 1-30.

Colapietro, Vincent M. (1989) Peirce's Approach to the Self: A Semiotic Perspective on Human Subjectivity, Albany, NY: SUNY Press.

Colapietro, Vincent M. (2018) Actuality and Intelligibility, European Journal of Pragmatism and American Philosophy,

Compton, Paul, Lindsay Peters, Glenn Edwards, & Tim G. Lavers (2006) Experience with Ripple-Down Rules, Knowledge Based Systems 19:5, 356-362.

Comte, Auguste (1830-1842) Cours de Philosophie positive, selections translated by Margaret Clarke as The Essential Comte, Barnes & Noble, New York, 1974.

Cook, Stephen A. (1971) The complexity of theorem-proving procedures, Proc. 3rd ACM Symposium on Theory of Computing, ACM, New York, pp. 151-158.

Cook, Vivian, & Benedtta Bassetti, eds. (2011) Language and Bilingual Cognition, New York: Psychology Press.

Cook, Walter A., S.J. (1979) Case Grammar: Development of the Matrix Model, Georgetown University Press, Washington, DC.

Cook, Walter A., S.J. (1989) Case Grammar Theory, Georgetown University Press, Washington, DC.

Cooper, Robin, & Hans Kamp (1991) Negation in situation semantics and discourse representation theory, in Barwise et al. (1991) pp. 311-333.

Cooper, Robin, Dick Crouch, Jan van Eijck, Chris Fox, Josef van Genabith, Jan Jaspars, Hans Kamp, David Milward, Manfred Pinkal, Massimo Poesio, & Steve Pulman (1996), The FraCaS Consortium, .

Copleston, Frederick, SJ (1950) A History of Philosophy, vol. 2, Medieval Philosophy, New York: Doubelday.

Copleston, Frederick, SJ (1953) A History of Philosophy, vol. 3, Late Medieval and Renaissance Philosophy, New York: Doubleday.

Chandler, Daniel (2002) Semiotics: The Basics, Routledge, London.

Cowie, Jim, & Wendy Lehnert (1996) Information extraction, Communications of the ACM, vol. 39, no. 1, pp. 80-91.

Craik, K. J. W. (1943) The Nature of Explanation, Cambridge University Press, Cambridge.

Crary, Alice, & Rupert Read, eds. (2000) The New Wittgenstein, Routledge, London.

Crawford, J. M., & Benjamin Kuipers (1991) ALL: formalizing access-limited reasoning, in Sowa (1991b) pp. 299-330.

Crease, Robert P. (2009) Charles Sanders Peirce and the first absolute measurement standard, Physics Today 62:12, 39-44.

Cresswell, M. J. (1990) Entities and Indices, Dordrecht: Kluwer.

Croft, William (1991) Syntactic Categories and Grammatical Relations, University of Chicago Press, Chicago.

Croft, William (1998) Event structure in argument linking, in Butt & Geuder (1998) pp. 21-63.

Croft, William (2001) Radical Construction Grammar: Syntactic Theory in Typological Perspective, Oxford: Oxford University Press.

Croft, William, & D. Alan Cruse (2004) Cognitive Linguistics, Cambridge University Press, Cambridge.

Crosby, Alfred W. (1997) The Measure of Reality: Quantification and Western Society, 1250-1600, Cambridge: Cambridge University Press.

Cruse, D. Alan (1986) Lexical Semantics, Cambridge University Press, New York.

Cruse, D. Alan (2000) Aspects of the micro-structure of word meanings, in Ravin & Leacock (2000) pp. 30-51.

Cruse, D. Alan (2002) Microsenses, default specificity and the semantics-pragmatics boundary, Axiomathes 1, 1-20.

Cruse, D. Alan (2004) Meaning in Language: An Introduction to Semantics and Pragmatics, Oxford: Oxford University Press.

Culicover, Peter W., & Ray Jackendoff (2005) Simpler Syntax, Oxford: Oxford University Press.

Cummins, Robert (1989) Meaning and Mental Representations, MIT Press, Cambridge, MA.

Cyre, W. R., S. Balachandar, & A. Thakar (1994) Knowledge visualization from conceptual structures, in Tepfenhart et al. (1994) Conceptual Structures: Current Practice, LNAI 835, Berlin: Springer, pp. 275-292.

Cyre, W. R. (1997) Capture, integration, and analysis of digital system requirements with conceptual graphs, IEEE Trans. Knowledge and Data Engineering, 9:1, 8-23.

Cyre, W. R., J. Hess, A. Gunawan, & R. Sojitra (1999) A Rapid Modeling Tool for Virtual Prototypes, in 1999 Workshop on Rapid System Prototyping, Clearwater, FL.


Damasio, Antonio R. (1994) Descartes’ Error: Emotion, Reason, and the Human Brain, New York: Putnam.

Damasio, Antonio R. (1999) The Feeling of What Happens:  Body and Emotion in the Making of Consciousness, New York: Harcourt, Brace & Co.

Damasio, Antonio R. (2010) Self Comes to Mind:  Constructing the Conscious Brain, New York: Pantheon Books.

Damasio, Antonio R., & Gil B. Carvalho (2013) The nature of feelings: evolutionary and neurobiological origins, Nature Reviews Neuroscience 14, 143-152 (February 2013).

Damerau, Fred J. (1988) Prospects for knowledge-based customization of natural language query systems, Information Processing and Management 24:6, 651-664.

Date, C. J. (1986) Relational Database: Selected Writings, Addison-Wesley, Reading, MA, pp. 203-240.

Dau, Frithjof, Marie-Laure Mugnier, & Gerd Stumme, eds. (2005) Conceptual Structures:  Common Semantics for Sharing Knowledge, LNAI 3596, Springer, Berlin.

Dau, Frithjof (2006) Some notes on proofs with Alpha graphs, in Conceptual Structures: Inspiration and Application (LNAI 4068), H. Schärfe, P. Hitzler, and P. Øhrstrom (eds.), pp. 172-188. Berlin: Springer.

Davidson, Donald (1967) The logical form of action sentences, reprinted in D. Davidson (1980) Essays on Actions and Events, Oxford: Clarendon Press, pp. 105-148.

Davis, Daryl N. (2005) Visions of Mind: Architectures for Cognition and Affect, Hershey, PA: Information Science Publishing.

Davis, Ernest (1990) Representations of Commonsense Knowledge, Morgan Kaufmann Publishers, San Mateo, CA.

Davis, Ernest, & Gary Marcus (2015) Commonsense reasoning and commonsense knowledge in artificial intelligence, Communications of the ACM 58:9, 92-103.

Davis, Martin, ed. (1965) The Undecidable, Raven Press, Hewlett, NY.

Davis, Randall, Howard Schrobe, & Peter Szolovits (1993) What is a knowledge representation? AI Magazine, 14:1, 17-33.

Dea, Shannon (2014) Peirce and Spinoza’s pragmaticist metaphysics, Cognitio 15:1, 25-36.

Deacon, Terrence W. (1997) The Symbolic Species: The Co-evolution of Language and the Brain, New York: W. W. Norton.

Deacon, Terrence W. (2003) Multilevel selection in a complex adaptive system: The Problem of language origins, in Weber & Depew (2003) pp. 81-106.

Deacon, Terrence W. (2003) The hierarchic logic of emergence: untangling the interdependence of evolution and self-oganization, in Weber & Depew (2003) pp. 273-308.

Deacon, Terrence W. (2004) Memes as signs in the dynamic logic of semiosis: Beyond molecular science and computation theory, in K. E. Wolff, H. D. Pfeiffer, & H. S. Delugach, Conceptual Structures at Work, LNAI 3127, Springer, Berlin, pp. 17-30.

Deacon, Terrence W. (2011) Incomplete nature: How mind emerged from matter, New York: W.W. Norton & Co.

Dean, Cornelia, ed. (2012) The New York Times Book of Physics and Astronomy, New York: Sterling.

Dechand, Thomas (2014) Abducting the Imagination: The Methodological Foundation of Science and Criticism in Coleridge and Peirce, PhD dissertation, Baltimore: Johns Hopkins University.

Deely, John (2001) Umwelt, Semiotica 134:1-4, 125-135.

Deely, John (2003) The Impact on Philosophy of Semiotics, St. Augustine’s Press, South Bend, IN.

Deely, John (2004) Semiotics and Jakob von Uexküll’s concept of Umwelt, Sign Systems Studies 32:1-2, 11-34.

Deely, John (2013) Tractatus de Signis: The Semiotic of John Poinsot, St. Augustine's Press.

de Groot, Adriaan D. (1965) Thought and Choice in Chess, Mouton, The Hague.

Dehaene, Stanislas (2014) Consciousness and the Brain, New York: Viking.

DeJong, Gerald F. (1979) Prediction and substantiation, Cognitive Science, vol. 3, pp. 251-273.

DeJong, Gerald F. (1982) An overview of the FRUMP system, in W. G. Lehnert & M. H. Ringle, eds., Strategies for Natual Language Processing, Erlbaum, Hillsdale, NJ, pp. 149-176.

de Kleer, Johan (1986) An assumption-based truth-maintenance system, Artificial Intelligence 28:2, 127-162.

Delavenay, Emile (1960) An Introduction to Machine Translation, London: Thames & Hudson.

Deledalle, Gérard (1990) Charles S. Peirce, Phénoménologue et Sémioticien, translated as Charles S. Peirce, An Intellectual Biography, Amsterdam: John Benjamins.

de Moor, Aldo, Wilfried Lex, & Bernhard Ganter, eds. (2003) Conceptual Structures for Knowledge Creation and Communication, LNAI 2746, Berlin: Springer.

Deng, Li, & Dong Yu (2014) Deep Learning: Methods and Applications, Foundations and Trends in Signal Processing 7:3-4, 197-387.

Dennet, Daniel C. (1987) The Intentional Stance, MIT Press, Cambridge, MA.

Dennet, Daniel C. (1995) Darwin’s Dangerous Idea:  Evolution and the Meanings of Life, Simon & Schuster, New York.

Dennet, Daniel C. (1996) Kinds of Minds, New York: Basic Books.

Dennet, Daniel C. (2012) Intuition Pumps and Tools for Thiking, New York: Norton.

Déprez, Viviane, Hiroko Yamakido, & Richard K. Larson (2010) The Evolution of Human Language, Cambridge: Cambridge University Press.

D’Errico, Francesco (2003) J. of World Prehistory 17:1.

Delugach, Harry S. (2014) Implementation and Visualization of Conceptual Graphs in Charger, Internatinal J. of Conceptual Structures and Smart Applications 2:2, 1-19.

Descartes, René (1662) de Homine, Leiden: Peter Leffen & Frans Moyard.

De Tienne, André (2004) Is Phaneroscopy as a pre-semiotic science possible? Semiotiche 2, 15-30.

Devine, A. M., & Laurence D. Stephens (2000) Discontinuous Syntax: Hyperbaton in Greek, Oxford University Press, New York.

Devlin, Keith (1991a) Situations as mathematical abstractions, in Barwise et al. (1991) pp. 25-39.

Devlin, Keith (1991b) Logic and Information, Cambridge University Press, Cambridge.

Devlin, Keith (2006) Situation theory and situation semantics, Handbook of the History of Logic 7, D. Gabbay and J. Woods (eds.), Amsterdam: Elsevier, pp. 601-664.

Devlin, Keith, & Duska Rosenberg (1996) Language at Work, CSLI Publications, Stanford, CA.

de Waal, Cornelis (2013) Peirce: A Guide for the Perplexed, London: Bloomsbury Academic.

de Waal, Frans B. M. (2005) Our Inner Ape:  Power, Sex, Violence, Kindness, and the Evolution of Human Nature, New York: Penguin Group.

de Waal, Frans B. M. (2009) The Age of Empathy: Nature’s Lessons for a Kinder Society, Toronto: McClelland & Stewart.

de Waal, Frans (2013) The Bonobo and the Atheist: In Search of Humanism Among the Primates, New York: W. W. Norton & Co.

de Waal, Frans B. M., & Amy S. Pollick (2012) Gesture as the most flexible modality of primate communication, in M. Tallerman & K. R. Gibson, eds. (2012), pp. 82-89.

Diamond, Cora (ed) (1975) Wittgenstein’s Lectures on the Foundations of Mathematics, Cambridge 1939, Chicago: University of Chicago Press.

Dick, Judith P. (1991) A Conceptual Case-Relation Representation of Text for Information Retrieval, PhD dissertation, Report CSRI-265, Computer Systems Research Institute, University of Toronto.

Dijkstra, Edsger W. (1968) Cooperating sequential processes, in F. Genuys, ed., Programming Languages, Academic Press, New York.

Dijkstra, Edsger W. (1982) Selected Writings On Computing: A Personal Perspective, Berlin: Springer.

Dilks, Daniel D., Joshua B. Julian, Alexander M. Paunov, & Nancy Kanwisher (2013) The occipital place area is causally and selectively involved in scene perception, J. of Neuroscience 33:4, 1331-1336.

Dinsmore, John (1992) Thunder in the gap, in J. Dinsmore, ed., The Symbolic and Connectionist Paradigms: Closing the Gap, Lawrence Erlbaum Associates, Hillsdale, NJ.

Dipert, Randall R. (1995) Peirce’s underestimated place in the history of logic, in Ketner (1995) pp. 32-58.

Dixon, R. M. W. (1991) A New Approach to English Grammar on Semantic Principles, Oxford University Press, New York.

Does, Jaap van der (1993) Sums and quantifiers, Linguistics and Philosophy 16:5, 509-550.

Dolan, William, Lucy Vanderwende, & Stephen Richardson (2000) in Ravin & Leacok (2000) pp. 178-204.

Domingos, Pedro (2015) The Master Algorithm: How the Quest for the Ultimate Learning Machine Will Remake Our World, New York: Basic Books.

Donald, Merlin (1991) Origins of the Modern Mind: Three Stages in the Evolution of Culture and Cognition, Cambridge, MA: Harvard University Press.

Donnellan, Keith (1966) Reference and definite descriptions, Philosophical Review 75, 281-304.

Doyle, Jon (1979) A truth-maintenance system, Artificial Intelligence 12:3, 231-272.

Doyle, Jon, & Ramesh S. Patil (1991) Two theses of knowledge representation: language restrictions, taxonomic classification, and the utility of representation services, Artificial Intelligence 48:3, 261-297.

Dretske, Fred I. (1981) Knowledge and the Flow of Information, Cambridge, MA: MIT Press.

Dreyfus, Hubert L., ed. (1982) Husserl, Intentionality, and Cognitive Science, Cambridge, MA: MIT Press.

Dreyfus, Hubert L. (1992) What Computers Still Can’t Do: A Critique of Artificial Reason, MIT Press, Cambridge, MA.

Dreyfus, Hubert L. (1999) The primacy of phenomenology over logical analysis, Philosophical Topics 27, 3-24.

Dubois, Didier, Walenty Ostasiewicz, & Henri Prade (1999) Fuzzy sets, history and basic notions, in Fundamentals of Fuzzy Sets, edited by D. Dubois & H. Prade H, Dordrecht: Kluwer.

Dummet, Michael (1981) The Interpretation of Frege’s Philosophy, London: Duckworth.

Dummett, Michael (1993) Origins of Analytical Philosophy, Cambridge, MA: Harvard University Press.

Duda, Richard O., Peter E. Hart, & David G. Stork (2001) Pattern Classification, second edition, John Wiley & Sons, New York.

Dunn, J. Michael (1973) A truth value semantics for modal logic, in H. Leblanc, ed., Truth, Syntax and Modality, Amsterdam: North-Holland, pp. 87-100.

Dürr, Karl (1951) The Propositional Logic of Boethius, Amsterdam: North Holland.


Eberbach, Eugene, Dina Goldin, & Peter Wegner (2004) Turing’s ideas and models of computation, in C. Teuscher, ed., Alan Turing: Life and Legacy of a Great Thinker, Springer, Berlin.

Eco, Umberto (1979) A Theory of Semiotics, Indiana University Press, Bloomington.

Eco, Umberto (1986) Semiotics and the Philosophy of Language, Indiana University Press, Bloomington.

Eco, Umberto (1990) The Limits of Interpretation, Indiana University Press, Bloomington.

Eco, Umberto (1995) The Search for the Perfect Language, Oxford: Blackwell.

Eddington, Arthur Stanley (1928) The Nature of the Physical World, Cambridge University Press, Cambridge.

Edwards, Chris (2015) Growing pains for deep learning, Communications of the ACM 58:7, 14-16.

Eijck, Jan van & Visser, Albert (2010) Dynamic Semantics, The Stanford Encyclopedia of Philosophy (Winter 2012 Edition), E. N. Zalta (ed.), .

Einstein, Albert (1905) Zur Elektrodynamik bewegter Körper, On the electrodynamics of moving bodies, in Einstein et al. (1923) pp. 35-65.

Einstein, Albert (1916) Die Grundlage der allgemeinen Relativitätstheorie, translated as The foundation of the general theory of relativity in Einstein et al. (1923) pp. 109-164.

Einstein, Albert (1921) The Meaning of Relativity, Princeton University Press, Princeton, NJ, fifth edition, 1956.

Einstein, A., H. A. Lorentz, H. Weyl, & H. Minkowski (1923) The Principle of Relativity, Dover Publications, New York.

Einstein, Albert (1944) Remarks on Bertrand Russell’s Theory of Knowledge, in P. A. Schilpp, ed., The Philosophy of Bertrand Russell, Library of Living Philosophers.

Eklund, Peter W., Gerard Ellis, & G. Mann, eds. (1996) Conceptual Structures:  Knowledge Representation as Interlingua, LNAI 1115, Berlin: Springer,

Eldredge, Niles, & Stephen Jay Gould (1972) Punctuated equilibria: An alternative to phyletic gradualism, in T.J.M. Schopf, ed., Models in Paleobiology, San Francisco: Freeman, Cooper, & Co., pp. 82-115.

Ellis, Gerard (1992) Compiled hierarchical retrieval, in Nagle et al. (1992) pp. 271-294.

Ellis, Gerard, Robert A. Levinson, & Peter J. Robinson (1994) Managing complex objects in Peirce, International J. of Human-Computer Studies, vol. 41, pp. 109-148.

Emmorey, Karen, & Stephen McCullough (2009) The bimodal bilingual brain: Effects of sign language experience. Brain and language 109.2-3, 124–132.

Engel, Joshua (1999) Programming for the Java Virtual Machine, Addison-Wesley, Reading, MA.

Engelkamp, Johannes (1998) Memory for Actions, East Sussex, UK: Psychology Press.

Englebretsen, George (1990) Essays on the Philosophy of Fred Sommers, Edwin Mellen Press, Lewiston, NY.

Erdmann, Michael (1998) Formal concept analysis to learn from Sisyphus-III Material, Proceedings of KAW'98, Calgary.

Ericcson Zenith, Steven (2011) Process Interaction Models,

Ertl-Bendickson, Meghan (2011) Spatial information and diagrams, Macalester Journal of Philosophy 20:1, Article 9.

Esch, John, & Robert A. Levinson (1995) An Implementation Model for Contexts and Negation in Conceptual Graphs, in G. Ellis, R. A. Levinson, & W. Rich, eds., Conceptual Structures: Applications, Implementation, and Theory, LNAI 954, Berlin: Springer, pp. 247-262.

Esch, John, & Robert A. Levinson (1996) Propagating truth and detecting contradiction in conceptual graph databases, in Eklund et al. (1996) pp. 229-247.

Esposito, Joseph L. (1999) Peirce’s Theory of Semiosis: Toward a Logic of Mutual Affection.

Esquisabel, Oscar M., & Frank Th. Sautter, eds. (2013) Conocimiento Simbólico y Conocimiento Gráfico: Historia y Teoría, Buenos Aires: Centro de Estudios Filosóficos Eugenio Pucciarelli.

Euclid, The Thirteen Boooks of the Elements, translated by Thomas L. Heath, Second Edition, New York: Dover.

Evans, Thomas G. (1963) A Heuristic Program to Solve Geometric-Analogy Problems, abridged version in Minsky (1968), pp. 271-353.

Everett, Daniel L. (2005) Cultural constraints on grammar and cognition in Pirahã, Current Anthropology 46:4, 621-626.

Everett, Daniel L. (2008) Don’t Sleep, There Are Snakes: Life and Language in the Amazon Jungle, London: Profile Books.

Everett, Daniel L. (2012) Language: The Cultural Tool, New York: Pantheon.

Everett, Daniel L. (2012) Dark Matter of the Mind: The Culturally Articulated Unconscious, Chicago: University of Chicago Press.


Fagan, Brian (2010) Cro-Magnon: How the Ice Age Gave Birth to the First Modern Humans, Bloomsbury Press, New York.

Fahlman, Scott E. (1979) NETL: A System for Representing and Using Real-World Knowledge, MIT Press, Cambridge, MA.

Falkenhainer, Brian, Kenneth D. Forbus, Dedre Gentner (1989) The structure mapping engine: algorithm and examples, Artificial Intelligence 41, 1-63.

Fargues, Jean, Marie Claude Landau, Anne Dugourd, & Laurent Catach, (1986) Conceptual graphs for semantics and knowledge processing, IBM Journal of Research and Development 30:1, 70-79.

Farmer, William M., Joshua D. Guttman1, F. Javier Thayer Fábrega (1996) IMPS: An Updated System Description, in M. McRobbie & J. Slaney, eds., Automated Deduction, CADE-13, LNCS 1104, Springer, Berlin, pp. 298-302.

Farmer, William M. (2000) An infrastructure for intertheory reasoning, in D. McAllester, ed., Automated Deduction, CADE-17, LNCS 1831, Springer, Berlin, pp. 115-131.

Fauconnier, Gilles, & Mark Turner (2002) The Way We Think:  Conceptual Blending and the Mind’s Hidden Complexities, Basic Books, New York.

Feferman, Soloman (1974) Applications of many-sorted interpolation theorems, Proceedings of the Tarski Symposium, Providence, RI: American Mathematical Society, pp. 205-224.

Feferman, Anita, & Soloman Feferman (2004) Alfred Tarski: Life and Logic, Cambridge University Press.

Feigenbaum, Edward A. (1977) The art of artificial intelligence, Proc. IJCAI-77, 1014-1029.

Feigenbaum, Edward A. (1980) Knowledge Engineering: the Applied Side of Artificial Intelligence, Report STAN-CS-80-812, Dept. of Computer Science, Stanford University.

Feigenbaum, Edward A., & Julian Feldman, eds. (1963) Computers and Thought, New York: McGraw-Hill.

Feigenbaum, Edward A., & Pamela McCorduck (1983) The Fifth Generation, Addison-Wesley, Reading, MA. Brain and Language 89, 385-392.

Feldman, Jerome A. (2006) From Molecule to Metaphor: A Neural Theory of Language, MIT Press, Cambridge, MA.

Feldman, Jerome, & Srinivas Narayanan (2004) Embodied meaning in a neural theory of language, Brain and Language 89, 385-392.

Feldman, Jerome, Ellen Dodge, & John Bryant (2009) Embodied construction grammar, in B. Heine & H. Narrog, eds., The Oxford Handbook of Linguistic Analysis, Oxford: University Press.

Fellbaum, Christiane, ed. (1998) WordNet: An Electronic Lexical Database, MIT Press, Cambridge, MA.

Feynman, Richard (1965) The Character of Physical Law, Cambridge, MA: MIT Press.

Fikes, Richard E., & Nils J. Nilsson (1971) STRIPS: A new approach to the application of theorem proving to problem solving, Artificial Intelligence 2, 189-208.

Fillmore, Charles J. (1968) The case for case in E. Bach & R. T. Harms, eds., Universals in Linguistic Theory, Holt, Rinehart and Winston, New York, 1-88.

Fillmore, Charles J., & Collin F. Baker (2001) Frame semantics for text understanding, in Proc. WordNet and Other Lexical Resources, ACL Workshop, Pittsburgh.

Findler, Nicholas V., ed. (1979) Associative Networks: Representation and Use of Knowledge by Computers, New York: Academic Press.

Fioridi, Luciano (2014) Perception and testimony as data providers, Logique et Analyse 57, 151–179.

Fisch, Max H. (1986) Peirce, Semiotic, and Pragmatism, Bloomington: Indiana University Press.

Fischer, Peter A., & Rolf A. Zwaan (2008) Embodied language: A review of the role of the motor system in language comprehension, The Quarterly Journal of Experimental Psychology 61:6.

Flach, Peter A., & Robert A. Meersman (1991) Future Directions in Artificial Intelligence, North-Holland, Amsterdam.

Floridi, Luciano (2011) The Philosophy of Information, New York: Oxford University Press.

Fodor, Jerry A. (1975) The Language of Thought, Cambridge, MA: Harvard University Press.

Fodor, Jerry A., & Ernie Lepore (1996) What can’t be valued, can’t be valued, and it can’t be supervalued either, Journal of Philosophy 93, 516-536.

Forbus, Kenneth D., Dedre Gentner, & Keith Law (1995) MAC/FAC: A Model of Similarity-Based Retrieval, Cognitive Science 19:2, 141-205.

Forbus, Kenneth D., Thomas Mostek, & Ron Ferguson (2002) An analogy ontology for integrating analogical processing and first-principles reasoning, Proceedings of IAAI-02 pp. 878-885.

Foreman, Nigel (2009) Virtual reality in psychology, Themes in Science and Technology Education 2:1-2, 225-252.

Foreman, John W. (2014) Data Smart: Using Data Science to Transform Information into Insight, Indianapolis: Wiley.

Förster, Eckart (2000) Kant’s Final Synthesis: An Essay on the Opus postumum, Cambridge, MA: Harvard University Press.

Fox, Chris, & Shalom Lappin (2005) Foundations of Intensional Semantics, Oxford: Blackwell.

Franks, Curtis (2009 The Autonomy of Mathematical Knowledge: Hilbert’s Program Revisited, Cambridge University Press.

Freddoso, Alfred J. (1980) Ockham’s theory of truth conditions, in Ockham (P) pp. 1-76.

Freeman, Eugene, ed. (1983) The Relevance of Charles Peirce, Monist Library of Philosophy, LaSalle, IL.

Freeman, Walter J. (2000) Mesoscopic neurodynamics: From neuron to brain, Journal of Physiology 94, 303-322.

Frege, Gottlob (1879) Begriffsschrift, English translation in J. van Heijenoort, ed. (1967) From Frege to Gödel, Cambridge, MA: Harvard University Press, pp. 1-82.

Frege, Gottlob (1884) Die Grundlagen der Arithmetik, tr. by J. L. Austin as The Foundations of Arithmetic, Blackwell, Oxford, 1953.

French, Steven, & Décio Krause (2006) Identity in Physics: A Historical, Philosophical, and Formal Analysis, Oxford: Clarendon Press.

Friedland, Noah S., Paul G. Allen, Gavin Matthews, Michael Witbrock, David Baxter, Jon Curtis, Blake Shepard, Pierluigi Miraglia, Jürgen Angele, Steffen Staab, Eddie Moench, Henrik Oppermann, Dirk Wenke, David Israel, Vinay Chaudhri, Bruce Porter, Ken Barker, James Fan, Shaw Yi Chaw, Peter Yeh, Dan Tecuci, & Peter Clark (2004) Project Halo: towards a digital Aristotle, AI Magazine 25:4, 29-48.

Friedman, Michael (1992) Kant and the Exact Sciences, Cambridge, MA: Harvard University Press.

Frijda, N. H., & A. D. de Groot, eds. (1981) Otto Selz: His Contribution to Psychology, Mouton, The Hague.

Frost, Robert (1963) A Lover’s Quarrel with the World, film, Boston: WGBH Educational Foundation.

Fuchs, Catherine, & Bernard Victorri (1994) Continuity in Linguistic Semantics, Amsterdam: John Benjamins Publishing Co.

Fuchs, Norbert E., Uta Schwertel, Rolf Schwitter (1998) Attempto Controlled English — not just another logic specification language, Proceedings LOPSTR’98, Manchester.

Fuchs, Norbert E., Uta Schwertel, Rolf Schwitter (1999) Attempto Controlled English (ACE), Language Manual, Version 3.0, Technical Report ifi-99.03, University of Zurich.

Fulton, James A. (1992) Enterprise integration using the Semantic Unification Meta-Model, in Petrie (1992) pp. 278-289.

Fuster, Joaquín M. (2003) Cognition and Mind: Unifying Cognition, Oxford: Oxford University Press.

Fuster, Joaquín M. (2013) The Neuroscience of Freedom and Creativity: Our Predictive Brain, Cambridge: Cambridge University Press.


Gabbay, Dov M. (1985) Theoretical foundations for nonmonotonic reasoning in expert systems, in Logic and Models of Concurrent Systems, K. Apt ed., Berlin: Springer.

Gabbay, Dov M. (1994) What is a Logical System, Oxford: Clarendon.

Gabbay, Dov M., C. J. Hogger, & J. A. Robinson (1995) Handbook of Logic in Artificial Intelligence and Logic Programming, Vol. 4, Epistemic and Temporal Reasoning, Oxford: Clarendon.

Gallese, Vittorio, & George Lakoff (2005) The brain’s concepts: The role of the sensory-motor system in conceptual knowledge, Cognitive Neuropsychology 22:3-4, 455-479.

Gallaire, Hervé, & Jack Minker, eds. (1978) Logic and Data Bases, Plenum Press, New York.

Galton, Antony (1995) Time and change for AI, in Gabbay et al. (1995) pp. 175-240.

Gamma, Erich, Richard Helm, Ralph Johnson, & John Vlissides (1994) Design Patterns: Elements of Reusable Object-Oriented Software, Addison-Wesley, Reading, MA.

Gangemi, A., N. Guarino, C. Masolo, & A. Oltramari (2003) Sweeting WordNet with DOLCE, AI Magazine 24:3.

Ganter, Bernhard, & Rudolf Wille (1999) Formal Concept Analysis: Mathematical Foundations, Berlin: Springer.

Garfinkel, H. (1967) Studies in Ethnomethodology, Prentice-Hall.

Gasking, D. A. T., & A. C. Jackson (1967) Wittgenstein as a Teacher, in K. T. Fann, ed., Ludwig Wittgenstein: The Man and his Philosophy, Harvester Press, Sussex.

Gärdenfors, Peter (1988) Knowledge in Flux: Modeling the Dynamics of Epistemic States, MIT Press, Cambridge, MA.

Gärdenfors, Peter (1992) Belief revision: a vade-mecum, Proc. Meta-Programming in Logic, 3rd International Workshop, META-92, Uppsala, Sweden,

Gärdenfors, Peter (2000) Conceptual Spaces: The Geometry of Thought, MIT Press, Cambridge, MA.

Gärdenfors, Peter (2003) How Homo Became Sapient: The Evolution of Thought, Oxford: Oxford University Press.

Gärdenfors, Peter, & David Makinson (1988) Revision of knowledge systems using epistemic entrenchment, Proc. of Conf. on Theoretical Aspects of Reasoning about Knowledge, Almaden.

Gärdenfors, Peter, & David Makinson (1994) Nonmonotonic inference based on exceptions, Artificial Intelligence 65, 197-245.

Gärdenfors, Peter, & Mary Anne Williams (2001) Reasoning about categories in conceptual spaces, Proc. IJCAI’01, pp. 385-392.

Gardner, Martin (1958) Logic Machines and Diagrams, New York: McGraw-Hill.

Garner, Brian J., & Tsui, Eric (1988) General purpose inference engine for canonical graph models, Knowledge Based Systems 1:5, 266-278.

Gaukroger, Stephen (1989) Cartesian Logic: an essay on Descartes’s conception of inference, Oxford: Clarendon Press.

Geach, Peter T. (1960) Identity, Review of Metaphysics 69:2, reprinted in Geach (1972) pp. 238-249.

Geach, Peter T. (1962) Reference and Generality, Cornell University Press, Ithaca.

Geach, Peter T. (1972) Logic Matters, University of California Press, Berkeley.

Geertz, Clifford (1983) Local Knowledge, Basic Books, New York.

Geldard, Richard (2000) Remembering Heraclitus, Lindisfarne Books.

Gelernter, David (1985) Generative communication in Linda, ACM Transactions on Programming Languages and Systems, pp. 80-112.

Gelernter, Herbert (1959) Realization of a geometry theorem-proving machine, reprinted in Feigenbaum & Feldman (1963), pp. 134-152.

Gelernter, Herbert, J. R. Hansen, & D. H. Loveland (1960) Empirical explorations of the geometry theorem-proving machine, reprinted in Feigenbaum & Feldman (1963), pp. 152-161.

Gell-Mann, Murray (1994) The Quark and the Jaguar, W. H. Freeman & Co., New York.

Genesereth, Michael R., & Richard Fikes, eds. (1998) Knowledge Interchange Format (KIF), draft proposed American National Standard, NCITS.T2/98-004. Available at

Gennes, Pierre-Gilles de (1997) Soft Interfaces, Cambridge: Cambridge University Press.

Gentzen, Gerhard (1934,35) “Untersuchungen über das logische Schließen,” translated by M. E. Szabo as “Investigations into logical deduction” in The Collected Papers of Gerhard Gentzen, North-Holland Publishing Co., Amsterdam, 1969, pp. 68-131.

Gerbé, Olivier, & M. Perron (1995) Presentation definition language using conceptual graphs, in G. Ellis, R. A. Levinson, & W. Rich, eds., Conceptual Structures: Applications, Implementation, and Theory, LNAI 954, Berlin: Springer.

Gerbé, Olivier, B. Guay, & M. Perron (1996) Using conceptual graphs for methods modeling, in Eklund et al. (1996) pp. 161-174.

Gerbé, Olivier (1997) Conceptual graphs for corporate knowledge management, in D. Lukose, H. Delugach, M. Keeler, L. Searle, & J. Sowa, eds., Conceptual Structures: Fulfilling Peirce’s Dream, LNAI 1257, Berlin: Springer, pp. 474-488.

Gerbé, Olivier, R. Keller, & G. Mineau (1998) Conceptual graphs for representing business processes in corporate memories, in M-L Mugnier & Michel Chein, eds., Conceptual Structures: Theory, Tools, and Applications, LNAI 1453, Berlin: Springer, pp. 401-415.

Gerbé, Olivier, & Brigitte Kerhervé (1998) Modeling and metamodeling requirements for knowledge management, in Proc. of OOPSLA'98 Workshops, Vancouver.

Gerbé, Olivier (2000) Un Modèle uniforme pour la Modélisation et la Métamodélisation d’une Mémoire d’Entreprise, PhD Dissertation, Département d’informatique et de recherche opérationelle, Université de Montréal.

Gergely, Tamás, & László Úry (1991) First-Order Programming Theories, Berlin: Springer.

Geschwind, Norman (1985) Implications for evolution, genetics, and clinical syndromes, in S. D. Glick, ed., Cerebral Lateralization in Nonhuman Species, Orlando: Academic Press, pp. 267-278.

Giarratano, Joseph, & Gary Riley (1994) Expert Systems: Principles and Programming, second edition, PWS Publishing Co., Boston.

Ginsberg, Matthew L., ed. (1987) Readings in Nonmonotonic Reasoning, Morgan Kaufmann Publishers, San Mateo, CA.

Ginsberg, Matthew L. (1989a) Universal planning: an (almost) universally bad idea, AI Magazine 10:4, 40-44.

Ginsberg, Matthew L. (1989b) Universal planning research: a good or bad idea?, AI Magazine 10:4, 61-62.

Giunchiglia, Fausto, & Luciano Serafini (1994) Multilanguage hierarchical logics, or how to do without modal logics, Artificial Intelligence 65:1 pp. 29-70.

Glasgow, Janice I. (1993) The imagery debate revisited: A computational perspective, Computational Intelligence 9:4, 309-333.

Glasgow, Janice, N. Hari Narayanan, & B. Chandrasekaran, eds. (1995) Diagrammatic Reasoning: Cognitive and Computational Perspectives, MIT Press, Cambridge, MA.

Goddard, Cliff, & Anna Wierzbicka (2014) Words and Meanings: Lexical Semantics across Domains, Languages, and Cultures, Oxford University Press.

Gödel, Kurt (1930) The completeness of the axioms of the functional calculus of logic, in van Heijenoort (1967) 582-591.

Gödel, Kurt (1931) On formally undecidable propositions of Principia Mathematica and related systems, in van Heijenoort (1967) 592-617.

Gödel, Kurt (1961) The modern development of the foundations of mathematics in the light of philosophy, in K. Gödel, Collected Works, Volume III, Oxford: Oxford University Press.

Good, Irving John (1965) Speculations concerning the first ultraintelligent machine, in F. L. Alt & M. Rubinoff, eds., Advances in Computers 6, New York: Academic Press.

Goodglass, Harold, & Edith Kaplan (1983) The Assessment of Aphasia and Related Disorders, 2nd edition, Philadelphia: Lee & Febiger.

Goodglass, Harold (1993) Understanding Aphasia, San Diego: Academic Press.

Goguen, Joseph (1999) Tossing algebraic flowers down the great divide, in People and Ideas in Theoretical Computer Science, Berlin: Springer, pp. 93-129.

Goguen, Joseph (1999) An introduction to algebraic semiotics, with applications to user interface design, in C. Nehaniv, ed., Computation for Metaphors, Analogy and Agents, LNAI 1562, Springer, Berlin, 242-291.

Goguen, Joseph (2006) Ontotheology, Ontology, and Society, International Journal of Human-Computer Studies,

Goldin, Dina, & Peter Wegner (2005) The Church-Turing Thesis: Breaking the Myth, LNCS 3526, Springer, Berlin, pp. 152-168.

Goldstein, I., & B. Roberts (1977) NUDGE: A knowledge-based scheduling program, Proc. of the Fifth IJCAI, pp. 257-263.

Goldstine, Herman H., & John von Neumann (1947) Planning and coding of problems for an electronic computing instrument, Institute for Advanced Study, Princeton, NJ.

Good, Irving John (1965) Speculations concerning the first ultraintelligent machine in F. L. Alt & M. Rubinoff, eds., Advances in Computers 6, Academic Press, New York, 31-88.

Goodman, Nelson (1951) The Structure of Appearance, Bobbs-Merrill Co., New York. Second edition 1966.

Goodman, Nelson (1956) A world of individuals, reprinted in Goodman (1972) pp. 155-172.

Goodman, Nelson (1963) The significance of Der logische Aufbau der Welt, in P. A. Schilpp, ed., The Philosophy of Rudolf Carnap, La Salle, IL: Open Court, pp. 545-558.

Goodman, Nelson (1968) Languages of Art, Bobbs-Merrill, Indianapolis.

Goodman, Nelson (1972) Problems and Projects, Bobbs-Merrill Co., New York.

Goldberg, Adele E. (1995) Constructions: A Construction Grammar Approach to Argument Structure, University of Chicago Press, Chicago.

Goldblatt, Robert (1984) Topoi: The Categorial Analysis of Logic, North Holland, New York.

Goldfarb, Warren (1979) Logic in the twenties: the nature of the quantifier, J. of Symbolic Logic 49, 351-368.

Gopnik, Alison, Clark Glymour, & David Sobel (1999) Causal maps and Bayes nets: A cognitive and computational account of theory formation, presented at the International Congress on Logic, Methodology and Philosophy of Science, Krakow. Available at

Gould, Stephen Jay, & Niles Eldredge (1977) Punctuated equilibria: The tempo and mode of evolution reconsidered, Paleobiology 3:2, 115-151.

Grandin, Temple (1995) Thinking in Pictures and Other Reports from my Life with Autism, New York: Vintage Books.

Grandin, Temple, & Catherine Johnson (2004) Animals in Translation: Using the Mysteries of Autism to Decode Animal Behavior, New York: Scribner.

Gray, J. Glenn (1977) Heidegger on remembering and remembering Heidegger, Man and World, vol. 10, pp. 77

Graziano, Michael (2013) Consciousness and the Social Brain, Oxford: Oxford University Press.

Greenspan, Stanley I., & Stuart G. Shanker (2004) The First Idea:  How Symbols, Language, and Intelligence Evolved from Our Primate Ancestors to Modern Humans, Cambridge, MA: Da Capo Press.

Gregory, Richard Langton & Jean G. Wallace (1963) Recovery from early blindness: A case study, Experimental Psychology Society, Monograph No. 2.

Gregory, Richard Langton (1963) Concepts and Mechanisms of Perception, London: Duckworth.

Grenander, Ulf (1993) General Pattern Theory, Oxford University Press

Grice, H. Paul (1975) Logic and conversation, in P. Cole & J. Morgan, eds., Syntax and Semantics 3: Speech Acts, Academic Press, New York, pp. 41-58.

Griethuysen, J. J. van, ed., (1987) Concepts and Terminology for the Conceptual Schema and the Information Base, Technical Report ISO/TC97/TR9007, International Standards Organization, Geneva.

Griffin, David Ray, John B. Cobb Jr., Marcus P. Ford, Pete A. Y. Gunter, & Peter Ochs (1993) Founders of Constructive Postmodern Philosophy: Peirce, James, Bergson, Whitehead, and Hartshorne, SUNY Press, Albany.

Groenendijk, Jeroen, & Martin Stokhof (1991), Dynamic Predicate Logic, Linguistics and Philosophy 14:1, 39-100.

Grosof, Benjamin N. (1992) Updating and Structure in Nonmonotonic Theories, PhD Dissertation, Computer Science Department, Stanford University.

Grosof, Benjamin N. (1997) Building commercial agents, Proceedings PAAM'97. For more information and copies of the software, see

Grosof, Benjamin N. (1997) Prioritized conflict handling for logic programs, Proc. International Symposium on Logic Programming. Extended version available as IBM Research Report RC 20836,

Grosz, Barbara J., & Candace L. Sidner (1986) Attention, intentions, and the structure of discourse, Computational Linguistics, 12:3, 175-205.

Gruber, Jeffrey S. (1965) Studies in Lexical Relations, PhD dissertation, MIT. Revised version published as Lexical Structures in Syntax and Semantics, North Holland Publishing Co., Amsterdam, 1976.

Gruber, Thomas R. (1993) A translation approach to portable ontology specifications, Knowledge Acquisition, vol. 5, pp. 199-220.

Grune, Dick, & Ceriel J. H. Jacobs (1990) Parsing Techniques — A Practical Guide, Ellis Horwood, Chichester, England.

Grünwald, Peter (1997) Causation and nonmonotonic temporal reasoning, in G. Brewka et al., KI-97: Advances in Artificial Intelligence, LNAI 1303, Berlin: Springer, pp. 159-170. Extended presentation available in Technical Report INS-R9701,

Guarino, Nicola (1998) Some ontological principles for designing upper level lexical resources, First International Conference on Language Resources and Evaluation, Granada, Spain.

Guarino, Nicola, ed. (1998) Formal Ontology in Information Systems, IOS Press, Amsterdam.

Guarino, Nicola, & Roberto Poli, eds. (1995) International J. of Human-Computer Studies Special issue on formal ontology, vol. 43, nos. 5/6.

Guarino, Nicola, Stefano Borgo, & Claudio Masolo (1997) Logical modeling of product knowledge: towards a well-founded semantics for STEP, in Proceedings of the European Conference on Product Data Technology, Sophia Antipolis, France.

Guha, R. V. (1991) Contexts: A Formalization and Some Applications, PhD dissertation, Stanford, and Technical Report ACT-CYC-423-91, MCC, Austin, TX.

Guha, R. V., & Douglas B. Lenat (1994) Enabling agents to work together, Communications of the ACM, vol. 37, no. 7, pp. 127-142.

Guha, R. V., & Patrick J. Hayes (2002) LBase: Semantics for languages of the semantic web.


Haack, Susan (1978) Philosophy of Logics, Cambridge University Press, Cambridge.

Haack, Susan (1992) 'Extreme scholastic realism': its relevance for philsophy of science today, Transactions of the Charles S. Peirce Society 28, 19-50.

Haack, Susan (1996) Deviant Logic, Fuzzy Logic, University of Chicago Press, Chicago.

Haack, Susan (2003) Defending Science — Within Reason, Amherst, NY: Prometheus Press.

Haaparanta Leila (1994) Charles Peirce and the Drawings of the Mind, in Histoire Épistémologie Langage 16:1, 35-52.

Haas, Norman, & Gary G. Hendrix (1983) Learning by being told, in R. S. Michalski, J. G. Carbonell, & T. M. Mitchell, eds., Machine Learning, Palo Alto: Tioga, 405-427.

Hadamard, Jacques (1945) The Psychology of Invention in the Mathematical Field, Princeton University Press, Princeton.

Hahn, Udo (1989) Making understanders out of parsers: Semantically driven parsing as a key concept for realistic text understanding applications, International Journal of Intelligent Systems 4:3, 345-393.

Hahn, Udo, Susanne Schacht, & Norbert Bröker (1994) Concurrent natural language parsing: The ParseTalk model, International Journal of Human-Computer Studies 41, 179-222.

Hahn, Udo, Norbert Bröker, & Peter Neuhaus (2000) Let’s ParseTalk: Message-passing protocols for object-oriented parsing, in H. Bunt & A. Nijholt, eds., Recent Advances in Parsing Technology, Dordrecht: Kluwer.

Hallaq, Wael B. (1993) Ibn Taymiyya Against the Greek Logicians, Oxford: Clarendon.

Halliday, M.A.K. (1978) Language as Social Semiotic:  The Social Interpretation of Language and Meaning, Baltimore: University Park Press.

Halliday, M.A.K. (2004) Introduction to Functional Grammar, Third edition, London: Edward Arnold.

Halliday, M.A.K. (2009) The Essential Halliday, edited by J. J. Webster, London: Continuum.

Halliday, M.A.K., & R. Hasan (1976) Cohesion in English, London: Longman.

Halliday, M.A.K., & Christian M.I.M. Matthiessen (1999) Construing Experience Through Meaning: A Language-Based Approach to Cognition, London: Cassell.

Hallinan, Joseph T. (2009) Why We Make Mistakes, New York: Random House.

Halmos, Paul R. (1968) Mathematics as a creative art, American Scientist 56, 375-389.

Hamlyn, D. W. (1968) Translation, introduction, and notes to Aristotle’s De Anima, Oxford: Clarendon Press. Second edition 1993.

Hamming, Richard (1962) Numerical Methods for Scientists and Engineers, New York: McGraw-Hill.

Hanks, Patrick (2013) Lexical Analysis: Norms and Exploitations, Cambridge, MA: MIT Press.

Hanks, Steven, & Drew McDermott (1987) Nonmonotonic logic and temporal projection, Artificial Intelligence 33, 379-412.

Hansen, Hans Robert, Robert Mühlbacher, & Gustaf Neumann (1992) Begriffsbasierte Integration von Systemanalysemethoden, Physica-Verlag, Heidelberg. Distributed by Springer.

Harabagiu, Sanda M., & Dan I. Moldovan (1998) Knowledge processing on an extended WordNet, in Fellbaum (1998) pp. 379-405.

Harnad, Stevan (1990) The symbol grounding problem, Physica D 42, 335-346.

Harré, Rom (1981) Great Scientific Experiments: Twenty Experiments that Changed Our View of the World, Oxford: Phsifon Press.

Harré, Rom (1989) The Philosophies of Science, Oxford: Oxford University Press.

Harré, Rom (2012) Behind the mereological fallacy, Philosophy 87:3, 329-352.

Harris, Randy Allen (1993) The Linguistics Wars, Oxford University Press, New York.

Harris, Roy (1987) Reading Saussure, London: Duckworth.

Harris, Roy (1988) Language, Saussure, and Wittgenstein: How to Play Games with Words, London: Routledge.

Harris, Zellig S. (1951) Methods in Structural Linguistics, Chicago.

Harris, Zellig S. (1968) Mathematical Structures of Language, Wiley, New York.

Harris, Zellig S. (1982) Discourse and sublanguage, in Kittredge & Lehrberger (1982) 231-236.

Harrison, Colin James (2000) PureNet: A modeling program for neurocognitive linguistics, PhD dissertation, Rice University.

Hartley, Roger T., & Michael J. Coombs (1991) Reasoning with graph operations, in J. F. Sowa, ed., Principles of Semantic Networks: Explorations in the Representation of Knowledge, Morgan Kaufmann Publishers, San Mateo, CA, pp. 487-505.

Hattiangadi, Jagdish N. (1987) How is Language Possible? Philosophical Reflections on the Evolution of Language and Knowledge, La Salle, IL: Open Court.

Hausman, Carl R. (1993) Charles S. Peirce's Evolutionary Philosophy, Cambridge: University Press.

Havelock, Eric A. (1986) The Muse Learns to Write: Reflections on Orality and Literacy from Antiquity to the Present, New Haven: Yale University Press.

Havenel, Jérôme (1910) Peirce’s topological concepts, in M. E. Moore, ed., New Essays on Peirce’s Philosophy of Mathematics, La Salle, IL: Open Court.

Hawkes, Terence (1977) Structuralism and Semiotics, University of California Press, Berkeley.

Hawkins, Benjamin S. (1981) Peirce’s and Frege’s systems of notation, Proc. C. S. Peirce Bicentennial International Congress, Texas Tech Press, Lubbock, TX.

Hawkins, Jeff (2004) On Intelligence, New York: Times Books.

Hayes, Patrick J. (1977) In defense of logic, in Proc. of the Fifth IJCAI, pp. 559-565.

Hayes, Patrick J. (1979) The logic of frames, in D. Metzing, ed., Frame Conceptions and Text Understanding, Walter de Gruyter & Co., Berlin. Reprinted in Brachman & Levesque (1985) pp. 287-295.

Hayes, Patrick J. (1985) Naive physics I: Ontology for liquids, in Hobbs & Moore (1985) pp. 71-107.

Hayes, Patrick J., & Chris Menzel (2001) A semantics for the Knowledge Interchange Format, IJCAI'2001 Workshop on the IEEE Standard Upper Ontology.

Hays, David G. (1964) Dependency theory: a formalism and some observations, Language 40(4), 511-525.

Hebb, Donald O. (1949) Organization of Behavior, Wiley & Sons, New York.

Hebb, Donald O. (1968) Concerning imagery, Psychological Review 75, 466-477.

Hegel, Georg Wilhelm Friedrich (1831) Wissenschaft der Logik, translated by A. V. Miller as Hegel’s Science of Logic, Humanities Press International, Atlantic Highlands, NJ.

Heidegger, Martin (1927) Sein und Zeit translated by J. Hofstadter & E. Robinson as Being and Time, Harper Collins Publishers, New York.

Heidegger, Martin (1975) Die Grundprobleme der Phänomenologie, translated by A. Hofstadter as The Basic Problems of Phenomenology, Indiana University Press, Bloomington.

Heidegger, Martin (1978) Metaphysische Anfangsgründe der Logik im Ausgang von Leibniz, translated by M. Heim as The Metaphysical Foundations of Logic, Indiana University Press, Bloomington.

Heidegger, Martin (1998) Logik als die Frage nach dem Wesen der Sprache, translated by W. T. Gregory & Y. Unna as Logic as the Question Concerning the Essence of Language, Albany, NY: State University of New York Press, 2009.

Heidorn, George E. (1972) Natural Language Inputs to a Simulation Programming System, Report NPS-55HD72101A, Naval Postgraduate School, Monterey, CA.

Heidorn, George E. (2000) Intelligent writing assistance, in R. Dale, H. Moisl, & H. Somers, eds., Handbook of Natural Language Processing, 181-207.

Heim, Irene R. (1982) The Semantics of Definite and Indefinite Noun Phrases, PhD Dissertation, University of Massachusetts, Amherst. Published (1988) Garland, New York.

Heflin, Jeff, James Hendler, & Sean Luke (1999) SHOE: A Knowledge Representation Language for Internet Applications, Technical Report CS-TR-4078 (UMIACS TR-99-71), Dept. of Computer Science, University of Maryland at College Park.

Hendler, James A. (1987) Integrating Marker Passing and Problem Solving, Lawrence Erlbaum Associates, Hillsdale, NJ.

Hendler, James A. (1992) Massively-parallel marker-passing in semantic networks, in Lehmann (1992) pp. 277-291.

Hendler, James A. (2001) Agents and the Semantic Web, IEEE Intelligent Systems 16:2, 30-37.

Hendrick, Vincent F. (2001) The Convergence of Scientific Knowledge: A View from the Limit, Dordrecht: Kluwer.

Hendrix, Gary G. (1975) Expanding the utility of semantic networks through partitioning, in Proc. IJCAI'75, 115-121.

Hendrix, Gary G. (1979) Encoding knowledge in partitioned networks, in Findler (1979) pp. 51-92.

Henisz-Dostert, Bożena, R. Ross Macdonald, & Michael Zarechnak (1979) Machine Translation, The Hague: Mouton.

Henkin, Leon (1961) Some remarks on infinitely long formulas, in Infinitistic Methods: Proc. Symposium on Foundations of Mathematics, London: Pergamon Press, pp. 167-183.

Henriques, Gregg (2011) A New Unified Theory of Psychology, New York: Springer.

Henry, Granville C. (1993) Forms of Concrescence: Alfred North Whitehead’s Philosophy and Computer Programming, Bucknell University Press, Lewisburg.

Heraclitus, Fragments, in C. H. Kahn, The Art and Thought of Heraclitus, Cambridge University Press, Cambridge, 1979.

Herbart, Johann Friedrich (1816) A Textbook in Psychology, translated by M. K. Smith, New York: Appleton, 1891.

Herculano-Houzel, Suzana (2009) The human brain in numbers: a linearly scaled-up primate brain, Frontiers in Human Neuroscience 3:31.

Herculano-Houzel, Suzana (2012) The remarkable, yet not extraordinary, human brain as a scaled-up primate brain and its associated cost, PNAS, vol. 109, suppl. 1, 10661-10668.

Herculano-Houzel, Suzana (2016) The Human Advantage: A New Understanding of How Our Brain Became Remarkable, Cambridge, MA: MIT Press.

Herwig, Arvid, & Werner X. Shneider (2014) Predicting object features across saccades: Evidence from object recognition and visual search, Journal of Experimental Psychology, General 143:5, 1903-1922.

Hess, J. & W. Cyre (1999) A CG-based Behavior Extraction System, in W. Tepfenhart & W. Cyre, eds. (1999) Conceptual Structures: Standards and Practices, LNAI 1640, Berlin: Springer.

Heuer, Richards J., Jr. (1999) Psychology of Intelligence Analysis, Center for the Study of Intelligence.

Hewitt, Carl (1971) Description and Theoretical Analysis (using Schemata) of PLANNER, PhD dissertation, AI Memo 258, MIT, Cambridge, MA.

Hickok, G., & U. Bellugi (2000). The signs of aphasia, in F. Boller & J. Grafman (Eds.), Handbook of neuropsychology, (2nd ed pp 38-50). Amsterdam: Elsevier.

Hickok, G., T. Love, & E. S. Klima (2002) Role of the left hemisphere in sign language comprehension, Brain and Language 82, 167-178.

Hilbert, David (1899) Grundlagen der Geometrie, translated as The Foundations of Geometry, Open Court Classics, La Salle, IL, 1971.

Hilbert, David, & Wilhelm Ackermann (1928) Grundzüge der theoretischen Logik, translated as Principles of Mathematical Logic, Chelsea Publishing, New York, 1950.

Hill, Patricia M., & John W. Lloyd (1994) The Gödel Programming Language, MIT Press, Cambridge, MA.

Hillis, W. Danny (1986) The Connection Machine, Cambridge, MA: MIT Press.

Hilpinen, Risto (1982) On C. S. Peirce’s theory of the proposition: Peirce as a precursor of game-theoretical semantics, The Monist 65, 182-88. Reprinted in Freeman (1983) pp. 264-270.

Hintikka, Jaakko (1961) Modality and quantification, Theoria 27, 110-128.

Hintikka, Jaakko (1963) The modes of modality, Acta Philosophica Fennica, Modal and Many-valued Logics, pp. 65-81.

Hintikka, Jaako, ed. (1969) The Philosophy of Mathematics, Oxford: Oxford University Press.

Hintikka, Jaakko (1973) Surface semantics: definition and its motivation, in H. Leblanc, ed., Truth, Syntax and Modality, North-Holland, Amsterdam, 128-147.

Hintikka, Jaakko (1973) Logic, Language Games, and Information, Oxford: Clarendon Press.

Hintikka, Jaakko (1997) The place of C. S. Peirce in the history of logical theory, in Brunning & Forster (1997) pp. 13-33.

Hintikka, Jaakko (1997) Lingua Univeralis vs. Calculus Ratiocinator: An Ultimate Presupposition of Twentieth-Century Philosophy, Dordrecht: Kluwer.

Hintikka, Jaako, & I. Niiniluoto (1973) On the surface semantics of quantificational proof procedures, Ajatus 35.

Hintikka, Jaakko, & Jack Kulas (1985) The Game of Language: Studies in Game-Theoretical Semantics and its Applications, Dordrecht: D. Reidel.

Hintikka, Merrill B., & Jaakko Hintikka (1986) Investigating Wittgenstein, Oxford: Blackwell.

Hinton, Geoffrey E. (2007) Boltzman machine, Scholarpedia, 2(5):1668,

Hinton, Geoffrey E. (2009) Deep belief networks, Scholarpedia, 4(5):5947,

Hinton, Geoffrey E., & James A. Anderson, eds. (1981) Parallel Models of Associative Memory, Hillsdale, NJ: Lawrence Erlbaum.

Hirota, K., ed. (1993) Industrial Applications of Fuzzy Technology, New York: Springer.

Hirschman, Lynette, & Marc Vilain (1995) Extracting Information from the MUC, ACL Tutorial, MIT, Cambridge, MA.

Hirst, Graeme (1987) Semantic Interpretation and the Resolution of Ambiguity, Cambridge University Press, Cambridge.

Hirst, Graeme (1988) Resolving lexical ambiguity with spreading activation and Polaroid words, in Small et al. (1988) 73-107.

Hirst, Graeme, & David St-Onge (1998) Lexical chains as representations of context for the detection and correction of malapropisms, in Fellbaum (1998) pp. 305-351.

Hirst, Graeme (2002) Negotiation, compromise, and collaboration in interpersonal and human-computer conversations, Proc. Workshop on Meaning Negotiation, AAAI-02, available at

Hoare, C. A. R. (1969) An axiomatic basis for computer programming, Communications of the ACM 12:10, pp. 567-580, 583.

Hobbs, Jerry R. (1995) Sketch of an ontology underlying the way we talk about the world, International Journal of Human-Computer Studies 43, 819-830.

Hobbs, Jerry R., & Robert C. Moore, eds. (1985) Formal Theories of the Commonsense World, Ablex Publishing Co., Norwood, NJ.

Hobbs, Jerry R., Mark Stickel, Douglas Appelt, & Paul Martin (1993) Interpretation as abduction, Artificial Intelligence, vol. 63, no. 1-2, pp. 69-142.

Hobbs, Jerry R., Douglas Appelt, John Bear, David Israel, Megumi Kameyama, Mark Stickel, & Mabry Tyson (1997) FASTUS: A cascaded finite-state transducer for extracting information from natural-language text, in E. Roche & Y. Schabes, eds., Finite-State Language Processing, MIT Press, Cambridge, MA, pp. 383-406.

Hobbs, Jerry R., & Ellen Riloff (2010) Information extraction, Handbook of Natural Language Processing, 2nd edition, edited by N. Indurkhya & F. J. Damerau, CRC Press.

Hoekstra, Rinke (2009) Ontology Representation: Design Patterns and Ontologies that Make Sense, Amsterdam: IOS Press.

Hoey, Michael (1983) On the Surface of Discourse, George Allen & Unwin, London.

Hoey, Michael (2001) Textual Interaction: An Introduction to Written Discourse Analysis, Routledge, London.

Hoffmeyer, Jesper, ed. (2008) A Legacy for Living Systems: Gregory Bateson as Precursor to Biosemiotics, Berlin: Springer.

Hommel, Bernhard, & Birgit Elsner (2009) Acquisition, representation, and control of action, inn E. Morsella, J. A. Bargh, & P. M. Gollwitzer (eds.), Oxford handbook of human action (pp. 371-398), New York: Oxford University Press.

Holland, John H. (1995) Hidden Order: How Adaptation Builds Complexity, Basic Books, NY.

Hookway, Christopher (2012) The Pragmatic Maxim: Essays on Peirce and Pragmatism, Oxford: University Press.

Hoopes, James, ed. (1991) Peirce on Signs, University of North Carolina Press, Chapel Hill.

Hopper, Paul (1987) Emergent Grammar, Berkeley Linguistics Society, vol. 13 (1987), 139-157.

Hornstein, Norman (1985) Logic as Grammar, MIT Press, Cambridge, MA.

Horrocks, Ian, Frank van Harmelen, Peter Patel-Schneider, eds. (2001) DAML+OIL Specifications,

Horwitz, Barry, Katrin Amunts, Rajan Bhattacharyya, Debra Patkin, Keith Jeffries, Karl Zilles, & Allen R. Braun (2003) Activation of Broca’s area during the production of spoken and signed language, Neuropsychologia 41, 1868-1876.

Houser, Nathan, Don D. Roberts, & James Van Evra, eds. (1997) Studies in the Logic of Charles Sanders Peirce, Indiana University Press, Bloomington.

Houser, Nathan (2005) Peirce in the 21st century, Transactions of the Charles S. Peirce Society 41:4, p. 729.

Hsu, Feng-hsiung (2002) Behind Deep Blue: Building the Computer that Defeated the World Chess Champion, Princeton University Press.

Hubel, David H. (1981) Evolution of ideas on the primary visual cortex, Nobel Lecture, 8 December 1981,

Hughes, G. E., & M. J. Cresswell (1968) An Introduction to Modal Logic, Methuen, London.

Hulme, Eileen (2009) Deep learning, The Encyclopedia of Positive Psychology, edited by Shane J. Lopez, Oxford: Blackwell.

Hulswit, Menno (1998) A Semeiotic Account of Causation: The 'Cement of the Universe' from a Peircean Perspective, PhD dissertation, Katholieke Universiteit Nijmegen.

Hulswit, Menno (2000) Natural classes and causation, in Digital Encyclopedia of Charles S. Peirce.

Hulswit, Menno (2001) Semeiotic and the cement of the universe: A Peircean process approach to causation, Transactions of the C. S. Peirce Society 37, 339-363.

Hulswit, Menno (2002) From Cause to Causation: A Peircean Perspective, Dordrecht: Kluwer.

Hume, David (1748) An Inquiry Concerning Human Understanding, Liberal Arts Press, New York.

Hunt, Earl B., (1962) Concept Learning: An Information Processing Problem, Wiley, New York.

Hurford, James R. (2012) The Origins of Grammar: Language in the Light of Evolution, Oxford: Oxford University Press.

Husserl, Edmund (1900) Logische Untersuchungen, second edition translated by J. N. Findlay as Logical Investigations, London: Routledge & Kegan Paul, 1973.

Husserl, Edmund (1913) Ideen auf einer reinen Phänomenologie und phänomenologischen Philosophie, translated by F. Kersten as Ideas Pertaining to a Pure Phenomenology and to a Phenomenological Philosophy, Dordrecht: Kluwer, 1982.

Hutchins, W. John (1986) Machine Translation: Past, Present, Future, Ellis Horwood, Chichester, England.

Hutchins, W. John (1995) Machine translation: a brief history, in E. F. K. Koerner & R. E. Asher, eds., Concise History of the Language Sciences: from the Sumerians to the Cognitivists, Oxford: Pergamon Press, pp. 431-445.

Hutchins, W. John (2012) Obituary: Victor H. Yngve, Computational Linguistics 38:3, 461-467.

Hutchins, W. John (2015) Machine translation: History of research and applications, To appear as chapter 6 in The Encyclopedia of Translation Technology, ed. Chan Sin-wai, London: Routledge.


Ifrah, Georges (2000) The Universal History of Numbers from Prehistory to the Invention of the Computer, Wiley & Sons, New York.

Ippoliti, Emiliano (2006) Demonstrative and non-demonstrative reasoning by analogy, in: "Demonstrative and non-demonstrative reasoning in mathematics and natural science", C. Cellucci - P. Pecere (eds), Edizioni dell'Universitá di Cassino, Cassino, 2006, 309-338

Irwin, Terence (2007-9) The Development of Ethics, 3 vols, Oxford: Clarendon Press.

ISO/IEC (1997) High-Level Petri Nets — Concepts, Definitions, and Graphical Notation, Committee Draft ISO/IEC 15909, version 3.4.

ISO/IEC (1996) Extended BNF, IS 14977, International Organisation for Standardisation, Geneva.

ISO/IEC (2018) Common Logic (CL) — A Framework for a family of Logic-Based Languages, 24707:2018(E) second edition, Geneva: International Organisation for Standardisation.

Israel, David J. (1980) What’s wrong with nonmonotonic logic? Proc. AAAI-80, 99-101.

Israel, David J. (1993) The very idea of dynamic semantics: An overview from the underground, Proc. 9th Amsterdam Colloquium, Amsterdam.

Iwanska, Lucja, & Stuart C. Shapiro (2001) Natural Language Processing and Knowledge Representation, MIT Press, Cambridge, MA.


Jackendoff, Ray S. (1972) Semantic Interpretation in Generative Grammar, MIT Press, Cambridge, MA.

Jackendoff, Ray (1977) X-bar Syntax: A Study of Phrase Structure, MIT Press, Cambridge, MA.

Jackendoff, Ray (1983) Semantics and Cognition, MIT Press, Cambridge, MA.

Jackendoff, Ray S. (1990) Semantic Structures, MIT Press, Cambridge, MA.

Jackendoff, Ray (2002) Foundations of Language:  Brain, Meaning, Grammar, Evolution, Oxford: Oxford University Press.

Jacquette, Dale (2004) The Cambridge Companion to Brentano, Cambridge University Press, Cambridge.

Jacobs, Paul, ed. (1992) Text-Based Intelligent Systems, Lawrence Erlbaum Associates, Hillsdale, NJ.

Jaitly, Navdeep (2014) Exploring deep learning methods for discovering features in speech recognition, PhD Dissertation, University of Toronto.

Jakobson, Roman (1978) Six Lectures on Sound and Meaning, MIT Press, Cambridge, MA.

Jakobson, Roman (1980) The Framework of Language, Rackham School of Graduate Studies, Ann Arbor, MI.

Jakobson, Roman (1990) On Language, edited by L. R. Waugh & M. Monville-Burston, Cambridge, MA: Harvard University Press.

James, William (1890) The Principles of Psychology, Two volumes, Dover Publications, New York.

James, William (1897) The Will to Believe and Other Essays, Longmans, Green & Co.

James, William (1904) Does consciousness exist? Journal of Philosophy 1, 477-491.

Janik, Allan, & Stephen Toulmin (1973) Wittgenstein’s Vienna, Chicago: Elephant Paperbacks, 1996.

Jappy, Tony (2014) Peirc, rhetoric and the still image, Ocula 15.

Jappy, Tony (2017) Peirce’s Twenty-Eight Classes of Signs and the Philosophy of Representation, London: Bloomsbury Academic.

Jelinek, Frederick (1998) Statistical Methods for Speech Recognition, MIT Press, Cambridge, MA.

Jensen, Karen, & George E. Heidorn (1983) The fitted parse: 100% parsing capability in a syntactic parser of English, Proceedings of the Conference on Applied Natural Language Processing, Association for Computational Linguistics, Santa Monica, CA, 93-98.

Jensen, Karen, George E. Heidorn, & Stephen D. Richardson, eds. (1993) Natural Language Processing: The PLNLP Approach, Boston: Kluwer.

Jensen, Kim Ebensgaard (2007) A Construction-Based Study of English Predications, PhD dissertation, University of Southern Denmark, Odense.

Jensen, Kurt (1992) Coloured Petri Nets, vol. 1, Berlin: Springer.

Ji, Sungchul (2012) Molecular Theory of the Living Cell, New York: Springer.

Ji, Sungchul (2015) Wave-particle duality in molecular machines, living cells, and human brains, Biophysical Journal, 108(2):149a.

Johnson, David E., & Shalom Lappin (1999) Local constraints vs. Economy, CSLI Publications, Stanford, CA.

Johnson, Mark (1987) The Body in the Mind: The Bodily Basis of Meaning, Imagination, and Reason, University of Chicago Press, Chicago.

Johnson, Mark, & Tim Rohrer (2007) We Are Live Creatures: Embodiment, American Pragmatism, and the Cognitive Organism, in J. Zlatev et al., eds., Body, Language, and Mind 1, Berlin: Mouton de Gruyter, pp. 17-54.

Johnson, Stephen B. (1997) Conceptual graph grammar — a simple formalism for sublanguage, Methods of Information 37, 345-352.

Johnson-Laird, Philip N. (2002) Peirce, logic diagrams, and the elementary operations of reasoning, Thinking and Reasoning 8:2, 69-95.

Johnson-Laird, Philip N. (2004) The history of mental models, Psychology of Reasoning: Theoretical and Historical Perspectives, ed. by Ken Manktelow & Man Cheung Chung, New York: Psychology Press, pp. 179-212.

Johnson-Laird, Philip N. (2006) How We Reason, Oxford University Press.

Johnson-Laird, Philip N. (2008) Mental models and deductive reasoning, Reasoning: Studies of Human Inference and its Foundations, ed. by Jonathan Eric Adler & Lance J. Rips, Cambridge: Cambridge University Press, pp. 206-222.

Johnson-Laird, Philip N. (2010) Mental models and human reasoning, PNAS 107:43,

Jurafsky, Daniel, & James H. Martin (2008) Speech and Language Processing: An Introduction to Natural Language Processing, Computational Linguistics and Speech Recognition, 2nd edition, Prentice Hall.

Just, Marcel Adam, Vladimir L. Cherkassky, Sandesh Aryal1, Tom M. Mitchell (2010) A neurosemantic theory of concrete noun representation based on the underlying brain codes, PLoS ONE 5(1): e8622. doi:10.1371/journal.pone.0008622


Kahn, Charles H. (1979) The Art and Thought of Heraclitus, Cambridge University Press, Cambridge.

Kahn, Gilles (1987) Natural semantics, Proc. 4th Annual Symposium on Theoretical Computer Science, LNCS 247, Berlin: Springer.

Kamp, Hans (1981a) Events, discourse representations, and temporal references, Langages 64, 39-64.

Kamp, Hans (1981b) A theory of truth and semantic representation, in Formal Methods in the Study of Language, ed. by J. A. G. Groenendijk, T. M. V. Janssen, & M. B. J. Stokhof, Mathematical Centre Tracts, Amsterdam, 277-322.

Kamp, Hans (2001) Levels of linguistic meaning and the logic of natural language,

Kamp, Hans, & Uwe Reyle (1993) From Discourse to Logic, Dordrecht: Kluwer.

Kamp, Hans, & Barbara H. Partee (1995) Prototype theory and rationality, Cognition 57, 129-191.

Kamp, Hans, & Uwe Reyle (1996) A calculus for first order Discourse Representation Structures, Journal of Logic, Language, and Information 5:3-4, 297-348.

Kamp, Hans, Josef van Genabith, & Uwe Reyle (2011) Discourse Representation Theory: An Updated Survey, in D. Gabbay (ed.), Handbook of Philosophical Logic, 2nd ed., Vol XV, pp. 125-394.

Kanazawa, Makoto, & Christopher J. Piñón, eds. (1994) Dynamics, Polarity, and Quantification, CSLI Publications, Stanford, CA.

Kant, Immanuel (1783) Wiener Logik, in Kants gesammelte Schriften, vol. 24, De Gruyter & Reimer, Berlin, 1910-1983. English version in Lectures on Logic, The Cambridge Edition of the Works of Immanuel Kant in Translation, translated by J. M. Young, P. Guyer, & A. W. Wood.

Kant, Immanuel (1787) Kritik der reinen Vernunft, translated by N. Kemp Smith as Critique of Pure Reason, St. Martin’s Press, New York.

Kant, Immanuel (1800) Logik:  Ein Handbuch zu Vorlesungen, translated as Logic by R. S. Hartmann & W. Schwarz, Dover, New York, 1988; also translated as Lectures on Logic by J. M. Young, Cambridge University Press, Cambridge, 1992.

Kaplan, David (1977) Demonstratives: an essay on the semantics, logic, metaphysics, and epistemology of demonstratives and other indexicals, reprinted in Almog et al. (1989) pp. 481-566.

Kaplan, David (1989) Afterthoughts, in Almog et al. (1989) pp. 565-614.

Karp, Peter D. (1992) The design space of frame knowledge representation systems, Technical Note No. 520, SRI International, Menlo Park, CA.

Karttunen, Lauri (1976) Discourse referents, in J. McCawley, ed., Syntax and Semantics vol. 7, Academic Press, New York, pp. 363-385.

Kasper, R. T., & W. C. Rounds (1986) A complete logical calculus for record structures representing linguistic information, Proc. Symposium on Logic in Computer Science, IEEE, pp. 38-48.

Kasper, R. T., & W. C. Rounds (1990) The logic of unification in grammar, Linguistics and Philosophy 13:1, 35-58.

Kasper, Robert T. (1993) Typed feature constraint systems, in H. Trost, ed., Feature Formalisms and Linguitic Ambiguity, Ellis Horwood, New York, pp. 1-19.

Katz, Jerrold J. (1966) The Philosophy of Language, Harper & Row, New York.

Katz, Jerrold J., & Jerry A. Fodor (1963) The structure of a semantic theory, Language 39, 170-210. Reprinted in J. A. Fodor & J. J. Katz, eds. (1964) The Structure of Language, Prentice-Hall, Englewood Cliffs, NJ, pp. 479-518.

Kaufmann, Walter (1980) Goethe, Kant, and Hegel, Second Edition, Transaction Publishers, New Brunswick, NJ, 1991.

Kay, Paul (1997) Words and the Grammar of Context, CSLI Publications, Stanford, CA.

Kaye, Sharon (1998) Russell, Strawson, and William of Ockham, Twentieth World Congress of Philosophy, Boston.

Kayser, Daniel (1988) What kind of thing is a concept? Computational Intelligence 4:2, 158-165.

Kearns, John T. (1981) Modal semantics without possible worlds, Journal of Symbolic Logic 46, 77-86.

Kehler, Andrew (2002) Coherence, Reference, and the Theory of Grammar, CSLI Publications, Stanford, CA.

Keller, Bill (1993) Feature Logics, Infinitary Descriptions, and Grammar, CSLI, Stanford, CA.

Kelly, Sean D. (2003) Edmund Husserl and Phenomenology, in Blackwell Guide to Continental Philosophy, ed. Robert C. Solomon, Oxford: Blackwell, pp. 112-142.

Kempson, Ruth M., ed (1988) Mental Representations: The Interface between language and reality, Cambridge: University Press.

Kempson, Ruth, Wilfried Meyer-Viol, & Dov Gabbay (2001) Dynamic Syntax:  The Flow of Language Understanding, Oxford: Blackwell.

Kent, Stuart, Andy Evans, & Bernhard Rumpe, eds. (1999) UML Semantics FAQ, available at

Kerhervé, Brigitte, & Olivier Gerbé (1997) Models for metadata or metamodels for data? in Proc. 2nd IEEE Metadata Conference, Silver Spring.

Kerschberg, Larry, ed. (1984) Expert Database Systems, Bejamin/Cummings Publishing Co., Menlo Park, CA.

Ketner, Kenneth Laine (1988) Peirce and Turing: Comparisons and conjectures, Semiotica 68:1-2, 33-61.

Ketner, Kenneth Laine, ed. (1995) Peirce and Contemporary Thought, Fordham University Press, New York.

Ketner, Kenneth Laine, & James Edward Cook (1979) Charles Sanders Peirce: Contributions to The Nation Part Three: 1901-1908, Lubbock: Texas Tech University.

Ketner, Kenneth Laine, & Arthur F. Stewart (1984) The early history of computer design: Charles Sanders Peirce and Marquand’s logical machines, The Princeton University Library Chronicls 45:8, 187-224.

Ketner, Kenneth Laine, & Hilary Putnam (1992) Introduction to Peirce (1898).

Kevelson, Roberta (1988) The Law as a System of Signs, New York: Plenum Press.

Kifer, Michael, Georg Lausen, & James Wu (1995) Logical foundations of object-oriented and frame-based languages, Journal of the ACM 42, 741-843.

Kilgarriff, Adam (1997) I don’t believe in word senses, Computers and the Humanities, 31(2):91-113.

Kilgarriff, Adam (2001) Generative lexicon meets corpus data: the case of nonstandard word uses, in The Language of Word Meaning, eds Bouillon and Busa, Cambridge Univiversity Press; pp. 312-328.

Kilgarriff, Adam (2007) Word senses, in Eneko Agirre & Philip Edmonds (eds), Word Sense Disambiguation: Algorithms and Applications, Springer, pp. 29-46.

Kim, Jaegwon (1995) Causation, in R. Audi, ed., The Cambridge Dictionary of Philosophy, Cambridge University Press, Cambridge. Second edition, 1999, pp. 125-127.

Kim, Jaegwon, & Ernest Sosa (1999) Metaphysics, an Anthology, Blackwell Publishers, Oxford.

Kind, Amy, & Peter Kung, eds (2016) Knowledge Through Imagination, New York: Oxford University Press.

King, Margaret, ed. (1983) Parsing Natural Language, Academic Press, New York.

Kirk, G. S., J. E. Raven, M. Schofield (1983) The Presocratic Philosophers, Cambridge University Press, Cambridge.

Kirkham, Richard L. (1992) Theories of Truth: A Critical Introduction, MIT Press, Cambridge, MA.

Kittredge, Richard, & John Lehrberger, eds. (1982) Sublanguage: Studies of Language in Restricted Semantic Domains, de Gruyter, Berlin.

Klein, Sheldon, & Robert F. Simmons (1963) Syntactic dependence and the computer generation of coherent discourse, Mechanical Translation 7.

Kluge, Werner (1992) The Organization of Reduction, Data Flow, and Control Flow Systems, MIT Press, Cambridge, MA.

Knight, Will (2015) Can this man make AI more human? Interview with Gary Marcus. MIT Technology Review.

Knoeppel, Charles Edward (1915) Installing Efficiency Methods, New York: The Engineering Magazine.

Knowlson, James (1975) Universal Language Schemes in England and France, 1600-1800, University of Toronto Press, Toronto.

Knuth, Donald E. (1993) The Stanford GraphBase, ACM Press, New York.

Koch, Christof (2012) Consciousness: Confessions of a Romantic Reductionist, Cambridge, MA: MIT Press.

Kolb, David A., & Ronald Fry (1975) Toward an applied theory of experiential learning, in C. Cooper, ed., Theories of Group Process, London: Wiley.

Kolb, David A. (1984) Experiential Learning: Experience as the Source of Learning and Development, New Jersey: Prentice-Hall

Kolodner, Janet L. (1993) Case-Based Reasoning, Morgan Kaufmann Publishers, San Mateo, CA.

Konolige, Kurt (1997) COLBERT: A language for adaptive control in SAPHIRA, in Brewka et al. (1997) pp. 31-52.

Kosslyn, Stephen M., Thompson, W.L., & Ganis, G. (2006) The Case for Mental Imagery, Oxford: University Press.

Kosslyn, Stephen M., & G. Wayne Miller (2013) Top Brain, Bottom Brain: Harnessing the Power of the Four Cognitive Modes, second edition 2015, New York: Simon and Schuster.

Kowalski, Robert A. (1979) Logic for Problem Solving, North Holland, New York.

Kowalski, Robert A. (1994) Logic without model theory, in Dov M. Gabbay, ed., What is a Logical System?, Clarendon Press, Oxford, pp. 35-71.

Kowalski, Robert A. (1995) Using metalogic to reconcile reactive with rational agents, in K. R. Apt & F. Turini, eds. (1995) Metalogics and Logic Programming, MIT Press, Cambridge, MA, pp. 227-242.

Kowalski, R. A., & M. J. Sergot (1986) A logic-based calculus of events, New Generation Computing 4, 67-95.

Koziol, L. F., et al. (2014) Consensus paper: The cerebellum's role in movement and cognition, Cerebellum 13:1, 151-177.

Krämer, Sybille, & Christina Ljungberg (2016) Thinking with Diagrams: The Semiotic Basis of Human Cognition, Berlin: De Gruyter Mouton.

Krantz, Luce, Suppes, & Tversky (1971) Foundations of Measurement, vol. I, Academic Press, New York.

Kretzmann, Norman, & Eleonore Stump, eds. (1988) The Cambridge Translations of Medieval Philosophical Texts, Volume One: Logic and the Philosophy of Language, Cambridge University Press, Cambridge.

Kripke, Saul A. (1963) Semantical considerations on modal logic, Acta Philosophica Fennica, Modal and Many-valued Logics, pp. 83-94.

Kripke, Saul A. (1963) Semantical analysis of modal logic I, Zeitschrift für mathematische Logik und Grundlagen der Mathematik 9, 67-96.

Kripke, Saul A. (1965) Semantical analysis of modal logic II: Non-normal modal propositional calculi, in Addison et. al. (1965) The Theory of Models, North-Holland Publishing Co., Amsterdam, pp. 206-220.

Kripke, Saul A. (1977) Speaker’s reference and semantic reference, in P. A. French, T. F. Uehling, & H. K. Wettstein, eds., Contemporary Perspecives in the Philosophy of Language, University of Minnesota Press, Minneapolis, pp. 6-27.

Kroll, Judith F., & Stewart, Erika (1994) Category interference in translation and picture naming: evidence for asymmetric connections between bilingual memory representations. Journal of Memory and Language 33, 149-174.

Kroll, Judith F., Janet G. van Hell, Natasha Tokowicz, & David W. Green (2010) The Revised Hierarchical Model: A critical review and assessment, Bilingualism: Language and Cognition 13:3, 373-381.

Kroll, Judith F., & Ellen Bialystok (2013) Understanding the Consequences of Bilingualism for Language Processing and Cognition, Journal of Cognitive Psychology 25:5.

Krötzsch, Markus, František Simančik, & Ian Horrocks (2013) A description logic primer,

Kruger, Justin, & David Dunning (1999) Unskilled and Unaware of It: How Difficulties in Recognizing One's Own Incompetence Lead to Inflated Self-Assessment, Journal of Personality and Social Psychology 77:6, 1121-1134.

Kuipers, Benjamin J. (1984) Commonsense reasoning about causality: deriving behavior from structure, Artificial Intelligence 24, 169-203.

Kuipers, Benjamin J. (1994) Qualitative Reasoning, MIT Press, Cambridge, MA.

Kuhl, Patricia K. (2004) Early language acquisition: Cracking the speech code, Nature Reviews, Neuroscience 5:11, 831-843.

Kuhn, Thomas S. (1962) The Structure of Scientific Revolutions, Chicago: University of Chicago Press. Second edition, 1970.

Kuhn, Tobias (2011) The understandability of OWL statements in controlled English, Semantic Web Journal 4:1, 101-115.

Kuipers, Benjamin (1994) Qualitative Reasoning: Modeling and Simulation with Incomplete Knowledge, MIT Press, Cambridge, MA. For related information, see

Kunda, Maithilee, Keith McGreggor, & Ashok Goel (2009) Addressing the Raven’s Progressive Matrices Test of “General” Intelligence, Proc. AAAI Fall Symposium, Arlington, VA.

Kuntz, Paul Grimley (1984) Alfred North Whitehead, Twayne Publishers, Boston.

Kurzweil, Ray (2012) How to Create a Mind: The Secret of Human Thought Revealed, New York: Viking Books.


Lakoff, George (1970) Linguistics and natural logic, Synthese 22, 151-271.

Lakoff, George (1971) On generative semantics, in D. A. Steinberg & L. A. Jakobovits, eds., Semantics: An interdisciplinary reader in philosophy, linguistics and psychology, Cambridge: Cambridge University Press, pp. 232-296.

Lakoff, George (1987) Women, Fire, and Dangerous Things, University of Chicago Press, Chicago.

Lakoff, George (2012) Explaining embodied cognition results, Topics in Cognitive Science 4, 773-785.

Lakoff, George, and Mark Johnson (1980) Metaphors We Live By, Second edition 2003, Chicago: University of Chicago Press.

Lakoff, George, & Mark Johnson (1999) Philosophy in the Flesh: The Embodied Mind and its Challenge to Western Thought, Basic Books, New York.

Lakoff, George, & Rafael E. Núñez (2000) Where Mathematics Comes From: How the Embodied Mind Brings Mathematics into Being, Basic Books, New York.

Lakoff, George, & Mark Turner (1989) More than Cool Reason: A Field Guide to Poetic Metaphor, University of Chicago Press, Chicago.

Lally, A., J. M. Prager, M. C. McCord, B. K. Boguraev, S. Patwardhan, J. Fan, P. Fodor, J. Chu-Carroll (2012) Question analysis: How Watson reads a clue, IBM Journal of Research & Development 56:3/4.

Lamb, Sidney M. (1966) Outline of Stratificational Grammar, Georgetown University Press, Washington, DC.

Lamb, Sydney M. (1999) Pathways of the Brain: The Neurocognitive Basis of Language, Amsterdam: John Benjamins.

Lamb, Sydney M. (2004) Language and Reality, London: Continuum.

Lamb, Sydney M. (2010) Neurolinguistics, Lecture notes for Linguistics 411, Rice University.

Lambert, Karel (1967) Free logic and the concept of existence, Notre Dame Journal of Formal Logic, vol. 8, pp. 133-144.

Lambert, Karel, ed. (1991) Philosophical Applications of Free Logic, Oxford University Press, New York.

Landauer,T. K., McNamara, D.S., Dennis, S. & Kintsch W., eds. (2007) Handbook of Latent Semantic Analysis, Mahwah NJ: Lawrence Erlbaum Associates.

Lane, Robert (2018) Peirce on realism and idealism, Cambridge University Press.

Langacker, Ronald W. (1987-1991) Foundations of Cognitive Grammar, Vol. I Theoretical Prerequisitcs, Vol. II Descriptive Applications, Stanford University Press, Stanford, CA.

Langacker, Ronald W. (1994) Concept, Image, and Symbol, Mouton DeGruyter.

Langacker, Ronald W. (1999) A view from cognitive linguistics, Behavioral and Brain Sciences 22, 625.

Langacker, Ronald W. (2002) Concept, Image, and Symbol: The Cognitive Basis of Grammar, Berlin: Mouton de Gruyter.

Lao-Tzu, Te Tao Ching, translated by R. G. Henricks, Ballantine Books, New York, 1989.

Laird, John E. (2012) The Soar Cognitive Architecture, Cambridge, MA: MIT Press.

Laird, John E., Allen Newell, and Paul S. Rosenbloom (1987) Soar: An architecture for general intelligence, Artificial Intelligence 33:1, 1-64.

Laird, John E., Paul S. Rosenbloom, and Allen Newell (1988) Universal Subgoaling and Chunking, Dordrecht: Kluwer.

Laird, John E. (2008) Extending the Soar cognitive architecture, in P. Wang, B. Goertzel, and S. Franklin, eds. Artificial General Intelligence 2008, Amsterdam: IOS Press, pp. 224-235.

Lappin, Shalom, ed. (1996) The Handbook of Contemporary Semantic Theory, Blackwell Publishers, Oxford.

Lashley, K. S. (1951) The problem of serial order in behavior, in L. A. Jeffress, ed., Cerebral Mechanisms in Behavior: The Hixon Symposium, New York: Wiley, pp. 111-136.

Lawvere, F. William, & Stephen H. Schanuel (1991) Conceptual Mathematics: A first introduction to categories, Cambridge University Press, Cambridge, 1997.

LeClerc, André, & Arun Majumdar (2002) Legacy revaluation and the making of LegacyWorks, Enterprise Architecture 5:9, Cutter Consortium, Arlington, MA.

Lehmann, Fritz, ed. (1992) Semantic Networks in Artificial Intelligence, Pergamon Press, Oxford. Also published as a special issue of Computers and Mathematics with Applications 23:6-9.

Lehmann, Fritz, & Anthony G. Cohn (1994) The egg-yolk reliability hierarchy: Semantic data integration using sorts with prototypes, Proc. of the Conference on Information and Knowledge Management, CIKM-94, ACM Press, New York.

Leibniz, Gottfried Wilhelm, Selections, ed. by P. P. Wiener, Charles Scribner’s Sons, New York.

Leibniz, Gottfried Wilhelm (1666) Dissertatio de arte combinatoria, Leibnizens mathematische Schriften 5, Hildesheim: Georg Olms..

Leibniz, Gottfried Wilhelm (1705) Nouveaux Essais concernant l’Entendement humain, translated as New Essays on Human Understanding, P. Remnant & J. Bennet, Cambridge University Press, Cambridge, 1981.

Leibniz, Gottfried Wilhelm (1994) Writings on China, translated by D. J. Cook & H. Rosemont, Chicago: Open Court.

Leisenring, A. C. (1969) Mathematical Logic and Hilbert’s ε-Symbol, New York: Gordon and Breach.

Leonard, H. S., & N. Goodman (1940) The calculus of individuals and its uses, Journal of Symbolic Logic 5, 45-55.

Lenat, Douglas B., & John Seely Brown (1983) Why AM and Eurisko appear to work, AAAI'83 Proceedings,

Lenat, Douglas B. (1995) Cyc: A large-scale investment in knowledge infrastructure, Communications of the ACM 38:11, 33-38.

Lenat, Douglas B., & Edward A. Feigenbaum (1987) On the thresholds of knowledge, Proc. IJCAI'87, pp. 1173-1182.

Lenat, D. B., & R. V. Guha (1990) Building Large Knowledge-Based Systems, Reading, MA: Addison-Wesley.

Lenat, D. B., G. A. Miller, & T. Yokoi (1995) CYC, WordNet, and EDR: Critiques and Responses, Communications of the ACM 38:11, 45-48.

Lendaris, George G. (1988a) Neural networks, potential assistants to knowledge engineers, Heuristics 1:2.

Lendaris, George G. (1988b) Conceptual graph knowledge systems as problem context for neural networks, Proc. ICNN-88, San Diego.

Leśniewski, Stanisław (1992) Collected Works, ed. by S. J. Surma, J. T. Srzednicki, D. J. Barnett, & V. F. Rickey, Martinus Nijhoff, The Hague.

Levesque, Hector J. (1986) Making believers out of computers, Artificial Intelligence 30, 81-108.

Levesque, Hector J. (1989) A knowledge-level account of abduction, Proc. IJCAI'89, 1061-1067.

Levesque, Hector, & John Mylopoulos (1979) A procedural semantics for semantic networks, in Findler (1979) pp. 93-120.

Levesque, H. J., R. Reiter, Y. Lespérance, F. Lin, & R. Scherl (1996) GOLOG: A logic-programming language for dynamic domains, Journal of Logic Programming.

Levi, Isaac (1980) The Enterprise of Knowledge, MIT Press, Cambridge, MA.

Levi, Isaac (1991) The Fixation of Belief and its Undoing, Cambridge University Press, New York.

Levi, Isaac (1996) For the Sake of Argument, Cambridge University Press, New York.

Levin, Beth (1993) English Verb Classes and Alternations, University of Chicago Press, Chicago.

Levin, Beth, & Steven Pinker, eds. (1991) Lexical & Conceptual Semantics, Oxford: Blackwell.

Levinson, Robert A. (1989) A self-learning, pattern-oriented chess program, International Computer Chess Association Journal, vol. 12, no. 4, pp. 207-215.

Levinson, Robert A. (1992) Pattern associativity and the retrieval of semantic networks, Computers and Mathematics with Applications, vol. 23, no. 6-9, pp. 573-600. Reprinted in Lehmann (1992).

Levinson, Robert A. (1993) Towards domain-independent machine intelligence, in Mineau et al. (1993) pp. 254-273.

Levinson, Robert A. (1996) General game-playing and reinforcement learning, Computational Intelligence 12:1 155-176.

Levinson, Robert A., & Gerard Ellis (1992) Multilevel hierarchical retrieval, Knowledge Based Systems 5:3, 233-244.

Levinson, Robert A., Brian Beach, Richard Snyder, Tal Dayan, & Kirack Sohn (1992) Adaptive-predictive game-playing programs, JETAI, vol 4, pp. 315-337.

Levy, Henry M. (1984) Capability-Based Computer Systems, Digital Press.

Lewis, Clarence Irving (1912) Implication and the algebra of logic, reprinted in J. D. Goheen & J. L. Mothershead, Jr., eds., Collected Papers of Clarence Irving Lewis, Stanford University Press, Stanford.

Lewis, Clarence Irving (1918) Survey of Symbolic Logic, University of California Press, Berkeley.

Lewis, Clarence Irving (1929) Mind and the World Order: Outline of a theory of knowledge, New York: Charles Scribner's Sons.

Lewis, Clarence Irving & C. H. Langford (1932) Symbolic Logic, New York: Dover.

Lewis, Clarence Irving (1960) Letter to Hao Wang, quoted on page 116 of H. Wang (1986) Beyond Analytic Philosophy: Doing Justice to What We Know, MIT Press, Cambridge, MA.

Lewis, David K. (1986) On the Plurality of Worlds, Oxford: Blackwell.

fi Lewis, David K. (1991) Parts of Classes, Oxford: Blackwell.

Lewis, Frank A. (1991) Substance and Predication in Aristotle, Cambridge University Press, Cambridge.

Lieberman, Bruce S., & Niles Eldredge (2008) Punctuated equilibria, Scholarpedia 3:1, 3806.

Lieberman, Daniel E. (2011) The Evolution of the Human Head, Cambridge, MA: Harvard University Press.

Lieberman, Philip (2006) Toward an Evolutionary Biology of Language, Cambridge, MA: Harvard University Press.

Lieberman, Philip (2013) The Unpredictable Species: What Makes Humans Unique, Princeton: Princeton University Press.

Lightfoot, David (2006) How Languages Emerge, Cambridge: Cambridge University Press.

Limber, John (1973) The genesis of complex sentences, in T. Moore, ed., Cognitive Development and the Acquisition of Language, Academic Press, New York, 169-186.

Lin, Henry W., & Max Tegmark (2016) Why does deep and cheap learning work so well?, Disordered Systems and Neural Networks, arXiv:1608.08225.

Lindley, David (2001) Boltzmann’s Atom:  The Great Debate that Launched a Revolution in Physics, Free Press, New York.

Liszka, James Jakób (1996) A General Introduction to the Semeiotic of Charles Sanders Peirce, Indiana University Press, Bloomington.

Lord, Albert B. (1960) The Singer of Tales, Cambridge, MA: Harvard University Press.

Lounesto, Pertti (1997) Clifford Algebras and Spinors, Cambridge University Press, Second edition 2001.

Lovett, Andrew, Kenneth Forbus, & Jeffrey Usher (2010) A structure-mapping model of Raven’s Progressive Matrices, Proceedings of CogSci-10, pp. 2761-2766.

Lowry, Edward S., & C. W. Medlock (1969) Object code optimization, Communications of the ACM 12:1, 13-22.

Lucas, George R., Jr. (1989) The Rehabilitation of Whitehead, State University of New York Press, Albany.

Lucas, Peter (1961) The structure of formula translators, Algol Bulletin Supplement 16, 1-27, September 1961.

Łukasiewicz, Jan (1930) Many-valued systems of propositional logic, reprinted in S. McCall, ed., Polish Logic, Oxford University Press, Oxford, 1967.

Łukasiewicz, Jan (1951) Aristotle’s Syllogistic: From the Standpoint of Modern Logic, Oxford: Clarendon Press.

Lukose, Dickson, Harry Delugach, Mary Keeler, Leroy Searle, & John Sowa, eds. (1997) Conceptual Structures: Fulfilling Peirce’s Dream, LNAI 1257, Berlin: Springer.

Llull, Ramon (1303) Lògica Nova, vol. 4 of Nova Edició de les Obres de Ramon Llull, ed. by A. Bonner, Palma de Mallorca, 1998.

Lull, Ramon (1303) De nova Logica, reprinted in Raimondi Lulli Opera Latina, ed. by Walter Euler, Brepols, Turnhold, Belgium, 1998.

Lull, Ramon (1308) Ars brevis, English translation in Doctor Illuminatus: A Ramon Llull Reader, ed. by A. Bonner, Princeton University Press, Princeton, 1993.

Luria, Alexandr Romanovich (1966) Higher Cortical Functions in Man, New York: Basic Books.

Luria, Alexandr Romanovich (1968) The Mind of a Mnemonist, New York: Basic Books.

Luria, Alexandr Romanovich (1969) Speech development and the formation of mental processes, in M. Cole & I. Maltzman, eds., Handbook of Contemporary Soviet Psychology, New York: Basic Books, pp. 121-182.

Luria, Alexandr Romanovich (1976) Cognitive Development, Harvard University Press, Cambridge, MA.

Luschei, E. C. (1962) The Logical Systems of Leśniewski, North-Holland, Amsterdam, 1962.

Lyons, John (1977) Semantics, 2 vols., Cambridge University Press, New York.


Ma, Minghui, & Ahti-Veikko Pietarinen (2018) Peirce's calculi for classical propositional logic,

MacCartney, Bill, & Christopher D. Manning (2014) Natural logic and natural language inference, in Harry Bunt et al., Computing Meaning 4, Berlin: Springer, pp. 129-147.

MacGregor, Robert A. (1991) The evolving technology of classification-based knowledge representation systems, in J. F. Sowa, ed., Principles of Semantic Networks, San Mateo, CA: Morgan Kauffmann, pp. 385-400.

Mach, Ernst (1886) Beiträge zur Analyse der Empfindungen, translated as The Analysis of Sensations by C. M. Williams and Sydney Waterlow, New York: Dover.

Mackie, John L. (1974) The Cement of the Universe: A Study of Causation, Clarendon Press, Oxford, second edition 1980.

MacNeilage, Peter F. (2008) The Origin of Speech, Oxford: Oxford University Press.

Madzia, Roman, & Matthias Jung, eds. Pragmatism and Embodied Cognitive Science, Berlin: De Gruyter.

Magnani, Lorenzo, & Tommaso Bertolotti, eds. (2017) Springer Handbook of Model-Based Reasoning, Berlin: Springer.

Magrini, Stefano (1987) Realizzazione di un Sistema per la Definizione semi-automatica di un Dizionario semantico per l’Analisi del Linguaggio naturale, Thesis, Università la Sapienza di Roma.

Mahesh, Kavi, Sergei Nirenburg, Jim Cowie and David Farwell (1996) An assessment of Cyc for natural language processing, Technical Report MCCS-96-302.

Maida, Anthony S., & Stuart C. Shapiro (1982) Intensional concepts in propositional semantic networks, Cognitive Science 6:4, 291-330.

Majumdar, Arun K. (2006) SOA or SOS? Rationale for a Semantic Service Oriented Architecture, Enterprise Architecture 9:1, Cutter Consortium, Arlington, MA.

Majumdar, Arun K., John F. Sowa, & John Stewart (2008) Pursuing the goal of language understanding, in P. Eklund & O. Haemmerlé, eds, Proceedings of the 16th ICCS, LNAI 5113, Springer, Berlin, 2008, pp. 21-42.

Majumdar, Arun K., & John F. Sowa (2009) Two paradigms are better than one and multiple paradigms are even better, in S. Rudolph, F. Dau, and S.O. Kuznetsov, eds., Proceedings of ICCS'09, LNAI 5662, Springer, pp. 32-47.

Majumdar, Arun K., & John F. Sowa (2013) Big data: structured and unstructured, in J. Liebowitz, ed., Big Data and Business Analytics, Boca Raton: CRC Press, pp. 249-268.

Majumdar, Arun K., & John F. Sowa (2014) Quantum cognition, Web Intelligence and Intelligent Agent Technologies, vol. 2, IEEE, pp. 1-4.

Majumdar, Arun K., & John F. Sowa (2018) Relating language, logic, and imagery, Postproceedings of BICA 2018,

Makinson, David (2005) Bridges from Classical to Nonmonotonic Logic, London: King’s College Publications.

Manetti, Giovanni (1987) Le Theorie del Segno nell’ Antiquit´ classica translated by C. Richardson as Theories of the Sign in Classical Antiquity, Indiana University Press, Bloomington, 1993.

Mani, Inderjeet (2001) Automatic Summarization, John Benjamins Publishing Co., Philadelphia.

Mani, Inderjeet, ed. (2005) The Language of Time, Oxford: Oxford University Press.

Mann, William C., & Sandra A. Thompson (1987) Relational Propositions in Discourse, Discourse Processes 9:1, 57-90.

Mann, Wolfgang-Rainer (2000) The Discovery of Things: Aristotle’s Categories and their Context, Princeton University Press, Princeton.

Manna, Zohar, & Amir Pnueli (1992) The Temporal Logic of Reactive and Concurrent Systems, New York: Springer.

Manning, Christopher D., & Hinrich Schütze (1999) Foundations of Statistical Natural Language Processing, Cambridge, MA: MIT Press.

Manzano, María (1996) Extensions of First-Order Logic, Cambridge University Press, Cambridge.

Marantz, Alec P. (1984) On the Nature of the Grammatical Relations, MIT Press, Cambridge, MA.

Marcus, Gary F. (2001) The Algebraic Mind: Integrating Connectionism and Cognitive Science, Cambridge, MA: MIT Press.

Marcus, Gary F. (2008) Kluge: The Haphazard Construction of the Human Mind, Boston: Houghton Mifflin.

Marcus, Gary F. (2012) Is “deep learning” a revolution in artificial intelligence? New Yorker, 25 November 2012.

Marcus, Gary F. (2016) Why toddlers are smarter than computers, Ted talk,

Marcus, Ruth Barcan (1993) Modalities: Philosophical Essays, Oxford: Oxford University Press.

Margulis, Lynn (1995) Gaia is a tough bitch, in J. Brockman, ed., The Third Culture, New York: Simon & Schuster, pp. 129-146.

Margulis, Lynn, & Dorion Sagan (2007) Dazzle Gradually: Reflections on the Nature of Nature, White River Junction, VT: Chelsea Green.

Maritain, Jacques (1937) Petite Logique, translated as Introduction to Logic, Sheed and Ward, New York.

Markov, Andrei Andreyevich (1954) Theoriya Algorifmov, translated as The Theory of Algorithms, National Science Foundation, Washington, DC, 1961.

Marr, David (1982) Vision, San Francisco: Freeman.

Martin, Wayne M. (2005) Husserl and the logic of consciousnes, in D. W. Smith & A. L. Thomassen (2005) pp. 203-221.

Martins, Joao P., & Stuart C. Shapiro (1988) A model for belief revision, Artificial Intelligence 35:1, 25-79.

Marquand, A. (1885) A new logical machine, Proc. American Academy of Arts and Sciences, pp. 303-307.

Marty, Robert (1990) L'Algèbre des Signes: Essai de sémiotique scientifiqe d'après C. S. Peirce, Amsterdam: John Benjamins.

Marty, Robert (1997) 76 Definitions of The Sign by C. S. Peirce, available at

Mason, Robert A., & Marcel Adam Just (2015) Physics instruction induces changes in neural knowledge representation during successive stages of learning, NeuroImage 111, 36-48.

Masterman, Margaret (1957) The thesaurus in syntax and semantics, Mechanical Translation, vol. 4, pp. 1-2.

Masterman, Margaret (1961) Translation, Proceedings of the Aristotelian Society, 169-216.

Masterman, Margaret (1961) Semantic message detection for machine translation, using an interlingua, Proc. 1961 International Conf. on Machine Translation, 438-475.

Masterman, Margaret (2005) Language, Cohesion and Form, collected papers edited by Yorick Wilks, Cambridge University Press, Cambridge.

Matilal, Bimal Krishna (1998) The Character of Logic in India, Oxford University Press, New Delhi.

McArthur, Tom (1981) Longman Lexicon of Contemporary English, Harlow: Longman.

McCarthy, John (1955) A proposal for the Dartmouth summer research project on artificial intelligence, reprinted in AI Magazine 27:4, 2006, pp. 12-14.

McCarthy, John (1960) Recursive functions of symbolic expressions and their computation by machine, Communications of the ACM 3:4 184-195.

McCarthy, John (1963) Situations, actions, and causal laws, reprinted in M. Minsky, ed., Semantic Information Processing, MIT Press, Cambridge, MA, pp. 410-418.

McCarthy, John (1977) Epistemological problems of artificial intelligence, Proceedings of IJCAI'77. Reprinted in McCarthy (1990).

McCarthy, John (1978) Formalization of two puzzles involving knowledge, Reprinted in McCarthy (1990).

McCarthy, John (1981) History of LISP, in Wexelblatt (1981) pp. 173-197.

McCarthy, John (1982) Common Business Communication Language, in A. Endres & J. Reetz, eds., Textverarbeitung und Bürosysteme, R. Oldenbourg Verlag, Munich.

McCarthy, John (1989) Elephant 2000: A programming language based on speech acts,

McCarthy, John (1990) Formalizing Common Sense, Ablex, Norwood, NJ.

McCarthy, John (1993) Notes on formalizing context, Proc. IJCAI'93, Chambéry, France, pp. 555-560.

McCarthy, John (1997) Modality, si! Modal logic, no! Studia Logica 59, 29-32.

McCarthy, John, & Patrick Hayes (1969) Some philosophical problems from the standpoint of artificial intelligence, in B. Meltzer & D. Michie, eds., Machine Learning 4, Edinburgh University Press.

McCarthy, John, & Sasa Buvac (1997) Formalizing Context (Expanded Notes),

McCarthy, John, Marvin Minsky, A. Sloman, L. Gong, T. Lau, L. Morgenstern, E. T. Mueller, D. Riecken, M. Singh, & P. Singh (2002) An architecture for diversity of commonsense reasoning, IBM Systems Journal 41:3, 530-539.

McCawley James D. (1968) The role of semantics in grammar, in E. Bach & R. Harms, eds., Universals in Linguistic Theory, New York: Holt, Rinehart and Winston, New York, pp. 124-169.

McCord, Michael C. (1980) Slot grammars, American Journal of Computational Linguistics 6:1, 31-43.

McCord, Michael C., J. W. Murdock, & B. K. Boguraev (2012) Deep parsing in Watson, IBM Journal of Research & Development 56:3/4.

McCulloch, Warren S., & Walter Pitts (1943) A logical calculus of the ideas immanent in nervous activity, Bulletin of Mathematical Biophysics 5, 115-133.

McDermott, Drew V. (1976) Artificial intelligence meets natural stupidity, SIGART Newsletter, no. 57, ACM.

McDermott, Drew V. (1987) AI, logic, and the frame problem, in Brown (1987) pp. 105-118.

McNeill, David (1970) The Acquisition of Language, Harper & Row, New York.

McNeill, David (1992) Hand and Mind: What Gestures Reveal about Thought, Chicago: University of Chicago Press.

McNeill, David (2005) Gesture and Thought, Chicago: University Press.

McNeill, David (2012) How Language Began: Gestures and Speech in Human Evolution, Cambridge: University Press.

McNeill, David (2016) Why We Gesture: The surprising role of hand movements in communication, Cambridge: University Press.

Mealy, George H. (1967) Another look at data, Proceedings of the Fall Joint Computer Conference, AFIPS Conference Proceedings, Volume 31, Academic Press, Washington, DC., pp. 525-534.

Meinke, K., & J. V. Tucker (1993) Many-Sorted Logic and its Applications, New York: Wiley.

Mel'čuk, Igor A. (1973) Towards a linguistic 'Meaning≡Text' model, in F. Kiefer, ed., Trends in Soviet Theoretical Linguistics, Reidel, Dordrecht, pp. 35-57.

Mel'čuk, Igor A., & Nikolaj V. Pertsov (1987) Surface Syntax of English: A Formal Model Within the Meaning-Text Framework, Amsterdam: John Benjamins.

Mel'čuk, Igor A. (1988) Dependency Syntax: Theory and Practice, SUNY Press, Albany.

Menzel, Christopher (2011) Knowledge representation, the World Wide Web, and the evolution of logic, Synthèse 182:2, 269-295.

Mill, John Stuart (1865) A System of Logic, Longmans, London.

Mill, John Stuart (1867) Inaugural Address at St. Andrews University, reprinted in J. M. Robson, ed., John Stuart Mill, A Selection of his Works, The Odyssey Press, New York, pp. 379-420.

Miller, George A. (1956) The magical number seven, plus or minus two: Some limits on our capacity for processing information, Psychological Review 63:2, 343-352.

Miller, George A. (1995) WordNet: A lexical database for English, Communications of the ACM 38:11, 39-41.

Miller, G. A., R. Beckwith, C. Fellbaum, D. Gross, & K. J. Miller (1990) WordNet: An on-line lexical database, International Journal of Lexicography, 3:4, 235-312.

Milner, Robin (1999) Communicating and Mobile Systems: the π calculus, Cambridge: University Press.

Minsky, Marvin (1963) A selected descriptor-indexed bibliography to the literature of artificial intelligence, in E. A. Feigenbaum & J. Feldman, eds., Computers and Thought, New York: McGraw-Hill, pp. 453-523.

Minsky, Marvin (1965) Matter, mind and models, Proc. IFIP Congress 65, pp. 45-49.

Minsky, Marvin, ed. (1968) Semantic Information Processing, Cambridge, MA: MIT Press.

Minsky, Marvin (1975) A framework for representing knowledge, in P. Winston, ed., The Psychology of Computer Vision, New York: McGraw-Hill, 211-280.

Minsky, Marvin (1986) The Society of Mind, New York: Simon & Schuster.

Minsky, Marvin (1991) Logical versus analogical or symbolic versus connectionist or neat versus scruffy, AI Magazine 12:2, summer 1991, pp. 34-51.

Minsky, Marvin Lee (2006) The Emotion Machine:  Commonsense Thinking, Artificial Intelligence, and the Future of the Human Mind, New York: Simon & Schuster.

Misak, Cheryl, ed. (2004) The Cambridge Companion to Peirce, Cambridge University Press, Cambridge.

Mithen, Steven (2006) The Singing Neanderthals:  The Origin of Music, Language, Mind, and Body, Harvard University Press, Cambridge, MA.

Moffat, David, & Nico H. Frijda (1995) Where there’s a Will there’s an agent, in Wooldridge & Jennings (1995a), pp. 245 ff.

Mohanty, J. N. (1982) Husserl and Frege, Indiana University Press, Bloomington.

Montague, Richard (1967) On the nature of certain philosophical entities, originally published in The Monist 53 (1960), revised version in Montague (1974) pp. 148-187.

Montague, Richard (1970a) English as a formal language, reprinted in Montague (1974), pp. 188-221.

Montague, Richard (1970b) Universal grammar, reprinted in Montague (1974), pp. 222-246.

Montague, Richard (1970c) The proper treatment of quantification in ordinary English, reprinted in Montague (1974), pp. 247-270.

Montague, Richard (1974) Formal Philosophy, Yale University Press, New Haven.

Moore, Edward C., & Richard Robin, eds. (1992) From Time & Chance to Consciousness: Studies in the Metaphysics of Charles Pierce, London: Bloomsbury Academic.

Moore, Edward C., ed. (1993) Charles S. Peirce and the Philosophy of Science, Tuscaloosa: University of Alabama Press.

Moore, Robert C. (1995) Logic and Representation, Stanford, CA: CSLI Publications.

Morris, Charles W. (1938) Foundations of the Theory of Signs, Chicago University Press, Chicago.

Moravcsik, Julius M. (1975) Aitia as generative factor in Aristotle's philosophy, Dialogue, 14:4, 622-638.

Moravcsik, Julius M. (2016) Meaning, Creativity, and the Partial Inscrutability of the Human Mind, Second Edition, Stanford, CA: CSLI Publications.

Morris, Charles W. (1946) Signs, Language, and Behavior, Prentice-Hall, New York.

Mossakowski, Till, Oliver Kutz, Mihai Codescu, & Christophe Lange (2013) The Distributed Ontology, Modelling and Specification Language – DOL,

Mossakowski, Till, Mihai Codescu, Oliver Kutz, Christophe Lange, & Michael Grüninger (2014) Proof support for Common Logic, ARONL@IJCAR,

Mountcastle, Vernon (1998) Perceptual Neuroscience, Cambridge, MA: Harvard University Press.

Mueckstein, Eva-Maria M. (1983) Q-Trans: Query translation into English, Proc. IJCAI'83, pp. 660-662.

Mulligan, Kevin, & Barry Smith (1986) Husserl’s logical investigations, Grazer Philosophische Studien 27, 199-207.

Munn, Katherine, & Barry Smith, eds. (2008) Applied Ontology: An Introduction, Frankfurth: Ontos Verlag.

Murphey, Murray G. (1993) The Development of Peirce's Philosophy, Cambridge, MA: Harvard University Press.

Murphey, Murray G. (2005) C. I. Lewis: The Last Great Pragmatist, State University of New York, Albany.

Myers, Glenford J., & Brian R. S. Buckingham (1980) A Hardware Implementation of Capability-Based Addressing, Operating Systems Review 14:4, 13-25.

Myers, Glenford J. (1982) Advances in Computer Architecture, second edition, New York: Wiley.

Mylopoulos, John (1992) The PSN tribe, in Lehmann (1992) 223-241.


Nadin, Michai (2017) Anticipation and the brain, in M. Nadin, ed., Anticipation in Medicine, Springer.

Nagel, Ernest, ed. (1962) Logic, Methodology, and Philosophy of Science, Stanford University Press, Stanford, CA.

Nagle, T. E., J. A. Nagle, L. L. Gerholz, & P. W. Eklund, eds. (1992) Conceptual Structures: Current Research and Practice, Ellis Horwood, New York.

Narayanan, Srini (1997) Embodiment in Language Understanding: Sensory-Motor Representations for Metaphoric Reasoning About Event Descriptions, Doctoral dissertation, Computer Science Division, EECS Department, University of California, Berkeley.

Narayanan, Srini (1999) Reasoning about actions in narrative understanding, Proc. IJCAI'99, pp. 350-358.

National Physical Laboratory (1961) International Conference on Machine Translation of Languages and Applied Language Analysis, Her Majesty’s Stationery Office, London.

Navigli, Roberto, & Simone Paolo Ponzetto (2012) BabelNet: The automatic construction, evaluation and application of a wide-coverage multilingual semantic network, Artificial Intelligence 193, 217-250.

Neale, Stephen (1990) Descriptions, Cambridge, MA: MIT Press.

Neisser, Ulrich (1967) Cognitive Psychology, New York: Appleton Century Crofts.

Newell, Allen (1990) Unified Theories of Cognition, Cambridge, MA: Harvard University Press.

Newell, Allen, J. Cliff Shaw, & Herbert A. Simon (1958) Elements of a theory of human problem solving, Psychological Review 65:3, 151-166.

Newell, Allen, J. Cliff Shaw, & Herbert A. Simon (1959) A general problem-solving program for a computer, Computers and Automation 8:7, 10-16.

Newell, Allen, & Herbert A. Simon (1961) GPS, a program that simulates human thought, reprinted in Feigenbaum & Feldman (1963) pp. 279-293.

Newell, Allen, & Herbert A. Simon (1972) Human Problem Solving, Prentice-Hall, Englewood Cliffs, NJ.

Newell, Allen, & Herbert A. Simon (1976) Computer science as empirical inquiry: Symbols and search, Communications of the ACM 19:3, 113-126.

Newman, Paula, Bonnie Chiu, Maria Fuenmayor, & Shelley Smith (1988) Common lexicons for MT systems, Proceedings of the ELS Conference on Computational Linguistics, IBM Norway, Oslo.

Newton, Isaac (1687) Philosophiae Naturalis Principia Mathematica, translated by Andrew Motte as The Principia, Prometheus Books, Amherst, NY.

Nijssen, G. M., & T. A. Halpin (1989) Conceptual Schema and Relational Database Design, Prentice-Hall, New York.

Nilsson, Nils (1986) Probabilistic logic, Artificial Intelligence 28, 71-87. Reprinted in Shafer & Pearl (1990).

Nirenburg, Sergei, & Yorick Wilks (1999) What’s in a symbol:  ontology, representation, and language, JETAI 13:1, 9-23.

Nirenburg, Sergei, & Victor Raskin (2004) Ontological Semantics, MIT Press, Cambridge, MA.

Noble, Dennis (2012) A theory of biological relativity: no privileged level of causation, Interface Focus 2:1, 55-64.

Noble, Dennis (2017) Dance to the Tune of Life: Biological Relativity, Cambridge: Cambridge University Press.

Nogier, J.F. (1990) Génération de langage et graphes conceptuels, Editions Hèrmes, Paris.

Normore, Calvin G. (1999) Some aspects of Ockham’s logic, in Spade (1999) pp. 31-52.

Norvig, Peter (1989) Marker passing as a weak method for text inferencing, Cognitive Science 13, 569-620.

Nöth, Winfried (2011) From representation to Thirdness and representamen to medium: evolution of Peircean key terms and topics, Transactions of the Charles S. Peirce Society, Vol. 47, No. 4, pp. 445-481.

Novak, J. D., & D. B. Gowin (1984) Learning How to Learn. Cambridge University Press.

Nubiola, Jaime (1996) Scholarship on the relations between Ludwig Wittgenstein and Charles S. Peirce, in I. Angelelli & M. Cerezo, eds., Proceedings of the III Symposium on the History of Logic, Gruyter, Berlin.

Nubiola, Jaime (1998) A plea for a Peircean turn in analytic philosophy, Twentieth World Congress of Philosophy, Boston.

Nussbaum, Martha C., & Hilary Putnam (1992) Changing Aristotle’s mind, in M. C. Nussbaum & A. O. Rorty, eds., Essays on Aristotle’s De Anima, Oxford: Oxford University Press, pp. 27-56. Reprinted in H. Putnam, Words and Life, Cambridge, MA: Harvard University Press, pp. 22-61.


Oakley, Todd (2004) Image schema, in D. Geeraerts & H. Cuyckens, eds., Handbook of Cognitive Linguistics, Oxford: Oxford University Press.

Ockham, William of (1323) Summa Logicae, Paris: Johannes Higman, 1488; the edition owned by C. S. Peirce. Also volume 1 of Opera Philosophica, ed. by P. Boehner, G. Gál, & S. Brown, St. Bonaventure, NY: Franciscan Institute, 1974.

Ockham, William of (T) Ockham’s Theory of Terms translation of Part I of Ockham (1323) by M. J. Loux, Notre Dame, IN: University of Notre Dame Press, 1974.

Ockham, William of (P) Ockham’s Theory of Propositions translation of Part II of Ockham (1323) by A. J. Freddoso & H. Schuurman, Notre Dame, IN: University of Notre Dame Press, 1980.

Ockham, William of (W) Philosophical Writings, ed. and translated by Philotheus Boehner, revised by S. F. Brown, Hackett Publishing Co., Indianapolis. Includes Latin and English selections from Ockham (1323) and other works.

Ogden, C. K., & I. A. Richards (1923) The Meaning of Meaning, Harcourt, Brace, and World, New York, 8th edition 1946.

Ohlsson, Stellan (2011) Deep Learning: How the Mind Overrides Experience, Cambridge: University Press.

O’Keefe, J., & L. Nadel (1979) The hippocampus as a cognitive map, Behavioral and Brain Sciences 2:4.

Okrent, Arika (2009) In the Land of Invented Languages, New York: Spiegel & Grau.

Oltramari, Alessandro, Ro Oltramari, Aldo Gangemi, Nicola Guarino, Claudio Masolo (2002) Restructuring WordNet’s Top-Level: The OntoClean approach, Proc. LREC02 Conference, pp. 17-26.

Ong, Walter J. (1958) Ramus, Method, and the Decay of Dialogue: From the Art of Discourse to the Art of Reason, second edition 2005, Chicago: University of Chicago Press.

Ong, Walter J. (1982) Orality and Literacy: The Technologizing of the Word, second edition 2002, London: Routledge.

O’Reilly, Randall C., & Michael J. Frank (2006) Making working memory work: A computation model of learning in the prefrontal cortex and basal ganglia, Neural Computation 18, 283-328.

Øhrstrøm, Peter, & Per F. V. Hasle (1995) Temporal Logic: From Ancient Ideas to Artificial Intelligence, Dordrecht: Kluwer.

Oostra, Arnold (2009 to 2013) Articles on intuionistic existential graphs, Cuadernos de Sistemática Peirceana, Bogotá.

Osinga, Frans P. B. (2006) Science, Strategy, and War:  The Strategic Theory of John Boyd, Routledge, London.


Page, Robert E., Jr. (2013) The Spirit of the Hive: The Mechanisms of Social Evolution, Cambridge, MA: Harvard University Press.

Paivio, Allan (1971) Imagery and Verbal Processes, New York: Holt, Rinehart and Winston.

Paivio, Allan, ed. (1986) Mental Representations: A Dual Coding Approach, Oxford: University Press.

Paivio, Allan (2007) Mind and Its Evolution: A Dual Coding Approach, New York: Psychology Press.

Palmer, Frank R. (1994) Grammatical Roles and Relations, Cambridge University Press, Cambridge.

Paradis, Michel (2004) A Neurolinguistic Theory of Bilingualism, Amsterdam: John Benjamins.

Paradis, Michel (2009) Declarative and Procedural Determinants of Second Languages, Amsterdam: John Benjamins.

Parker, Kelly A. (2003) Reconstructing the normative sciences, Cognitio 4:1, 27-45.

Partee, Barbara H. (2004) Compositionality in Formal Semantics: Selected Papers of Barbara Partee, Oxford: Blackwell.

Partee, Barbara H. (2005) Formal Semantics, Lectures at a workshop in Moscow.

Partee, Barbara H. (2005) Reflections of a Formal Semanticist as of Feb 2005.

Parsons, Terence (1990) Events in the Semantics of English, MIT Press, Cambridge, MA.

Parsons, Terence (2014) Articulating Medieval Logic, Oxford: Oxford University Press.

Paulin, Michael (1997) Neural representations of moving systems, in J. D. Schmahmann, ed., The Cerebellum and Cognition, New York: Academic Press, pp. 516-535.

Peano, Giuseppe (1889) Aritmetices principia nova methoda exposita, Bocca, Torino. Excerpt translated as Principles of mathematics presented by a new method in van Heijenoort (1967) pp.83-97.

Pearl, Judea (1986) Fusion, propagation, and structuring in belief networks, Artificial Intelligence 29, 241-288. Reprinted in Shafer & Pearl (1990).

Pearl, Judea (1988) Probabilistic Reasoning in Intelligent Systems, Morgan Kaufmann Publishers, San Mateo, CA.

Pearl, Judea (1988b) Embracing causality in default reasoning, Artificial Intelligence 35, 259-271. Reprinted in Shafer & Pearl (1990).

Pearl, Judea (1996) Causation, explanation, and nonmonotonic temporal reasoning, Proc TARK-VI, Morgan Kaufmann, San Mateo, CA, pp. 51-73.

Pearl, Judea (1999) Reasoning with cause and effect, Proceedings IJCAI99.

Pearl, Judea (2000) Causality: Models, Reasoning, and Inference, second edition 2009, Cambridge University Press.

Pearson, Karl (1892) The Grammar of Science, Walter Scott, London. Second edition 1900, third edition 1911.

Peirce, Charles Sanders (1868) On a new list of categories, Proc. of the American Academy of Arts and Sciences 7, 287-298.

Peirce, Charles Sanders (1869) Grounds of validity of the laws of logic, Journal of Speculative Philosophy 2, 193-208.

Peirce, Charles Sanders (1870) Description of a notation for the logic of relatives, Proc. of the American Academy of Arts and Sciences, reprinted in W 2:359-429.

Peirce, Charles Sanders (1878) How to Make Our Ideas Clear, Popular Science Monthly 12, January 1878, 286-302.

Peirce, Charles Sanders (1878) Photometric Researches, Leipzig: Wilhelm Englemann.

Peirce, Charles Sanders (1880) On the algebra of logic, American Journal of Mathematics 3, 15-57. Reprinted in W 4:163-209.

Peirce, Charles Sanders (1882) Letter to O. H. Mitchell, in Peirce (W) 4.394-399.

Peirce, Charles Sanders (1885) On the algebra of logic, American Journal of Mathematics 7, 180-202. Reprinted in W 5:162-190.

Peirce, Charles Sanders (1887) Logical machines, American Journal of Psychology, vol. 1, Nov. 1887, pp. 165-170.

Peirce, Charles Sanders (1891) Review of Principles of Psychology by William James, Nation, vol. 53, p. 32.

Peirce, Charles Sanders (1897-1906) Manuscripts on existential graphs. Some are reprinted in CP 4.320-584; others are summarized by Roberts (1973). See

Peirce, Charles Sanders (1898) Reasoning and the Logic of Things, The Cambridge Conferences Lectures of 1898, ed. by K. L. Ketner, Cambridge, MA: Harvard University Press, 1992.

Peirce, Charles S. (1902) Logic, Considered as Semeiotic, MS L75, edited by Joseph Ransdell,

Peirce, Charles Sanders (1903) Review of What is Meaning? by Victoria Welby and The Principles of Mathematics by Bertrand Russell, reprinted in Ketner & Cook (1979) pp. 143-145

Peirce, Charles Sanders (1903) Pragmatism as a Principle and Method of Right Thinking, The 1903 Lectures on Pragmatism, ed. by P. A. Turrisi, SUNY Press, Albany, 1997.

Peirce, Charles Sanders (1904) New Elements, in Peirce (EP) 2.300-324.

Peirce, Charles Sanders (1905) What Pragmatism Is, The Monist, reprinted in CP 5.411-36.

Peirce, Charles Sanders (1906) Manuscripts on existential graphs, Collected Papers of Charles Sanders Peirce, vol. 4, Cambridge, MA: Harvard University Press, pp. 320-410.

Peirce, Charles Sanders (1906) Prolegomena to an apology for pragmaticism, The Monist, vol. 16, pp. 492-497.

Peirce, Charles Sanders (1909) Manuscript 514, with commentary by J. F. Sowa, available at

Peirce, Charles Sanders (1911) Assurance through reasoning, MS 670.

Peirce, Charles Sanders (1953) Letters to Lady Welby, edited by I. C. Leib, Whitlock’s Press, New Haven.

Peirce, Charles Sanders (1966) Selected Writings: Values in a Universe of Chance, edited by P. P. Weiner, New York: Dover.

Peirce, Charles Sanders (1991) Peirce on Signs: Writings on Semiotic by Charles Sanders Peirce, edited by James Hoopes, University of North Carolina Press, Chapel Hill, NC.

Peirce, Charles Sanders (CP) Collected Papers of C. S. Peirce, ed. by C. Hartshorne, P. Weiss, & A. Burks, 8 vols., Cambridge, MA: Harvard University Press, 1931-1958.

Peirce, Charles Sanders (EP) The Essential Peirce, ed. by N. Houser, C. Kloesel, and members of the Peirce Edition Project, 2 vols., Indiana University Press, Bloomington, 1991-1998.

Peirce, Charles S. & Victoria Lady Welby (LW) Semiotic and Significs: The Correspondence between Charles S. Peirce and Victoria Lady Welby, ed. by Charles S. Hardwick, Indiana University Press, Bloomington, 1977.

Peirce, Charles Sanders (LNB 1865-1909) Logic Notebook, MS AM 1632 (R 339), Modern Books and Manuscripts Department, Houghton Library, January 2010.

Peirce, Charles Sanders (NEM) The New Elements of Mathematics, ed. by Carolyn Eisele, 4 vols., The Hague: Mouton, 1976.

Peirce, Charles Sanders (PM) Philosophy of Matthematics: Selected Writings, edited by Mattew E. Moore, Bloomington: Indiana University Press, 2010.

Peirce, Charles Sanders (PW) Philosophical Writings of Peirce, edited by J. Buchler, New York: Dover, 1955.

Peirce, Charles Sanders (W) Writings of Charles S. Peirce, vols. 1-6, 8, Indiana University Press, Bloomington, 1982-2009.

Pelletier, Francis Jeffry (1990) Parmenides, Plato, and the Semantics of Not-Being, University of Chicago Press, Chicago.

Peng, Yun, & James A. Reggia (1990) Abductive Inference Models for Diagnostic Problem Solving, New York: Springer.

Penrose, Roger (1989) The Emperor’s New Mind, Oxford: Oxford University Press.

Penrose, Roger (2004) The Road to Reality:  A Complete Guide to the Laws of the Universe, Knopf, New York.

Peppas, Pavlos (2008) Belief revision, in F. van Harmelen, V. Lifschitz, & B. Porter, Handbook of Knowledge Representation, Amsterdam: Elsevier, pp. 317-359.

Pepperberg, Irene Maxine (1999) The Alex Studies: Cognitive and Communicative Abilities of Grey Parrots, Cambridge, MA: Harvard University Press.

Pepperberg, Irene Maxine (2006) Grey parrot numerical competence: a review, Animal Cognition 9:4, 377-391.

Peretz, Isabelle (2016) Neurobiology of congenital amusia, Trends in Cognitive Science 20:11.

Perez, Sandra K., & Anthony K. Sarris, eds. (1995) IRDS Conceptual Schema, Part 1: Conceptual Schema for IRDS, Part 2: Modeling Language Analysis, Technical Report X3/TR-14:1995, New York: American National Standards Institute.

Perlis, Alan J. (1982) Epigrams in Programming, SIGPLAN Notices 17:9, 7-13.

Perry, John (1970) The same F, Philosophical Review 79, pp. 181-200. Reprinted in Kim & Sosa (1999) pp. 90-99.

Perry, John (1979) The problem of the essential indexical, Nous, vol. 13, pp. 3-21.

Pestian, John P., Christopher Brew, Pawel Matykiewicz, D. J. Hovermale, Neil Johnson1, K. Bretonnel Cohen, Wlodzislaw Duch (2007) A shared task involving multi-label classification of clinical free text, Proc. BioNLP 2007, pp. 97-104.

Peter of Spain or Petrus Hispanus (circa 1239) Summulae Logicales, edited by I. M. Bocheński, Marietti, Turin, 1947. Translated as Summaries of Logic, Text, Translation, Introduction, & Notes, by Brian P. Copenhaver with Calvin Normore and Terence Parsons, Oxford: Oxford University Press, 2014. Selections translated in Kretzmann & Stump (1988).

Peters, F. E. (1967) Greek Philosophical Terms: A Historical Lexicon, New York: New York University Press.

Peterson, Brian J., William A. Andersen, & Joshua Engel (1998) Knowledge bus: generating application-focused databases from large ontologies, Proc. 5th KRDB Workshop, Seattle, WA.

Petitot, Jean (2011) Cognitive Morphodynamics: Dynamical Morphological Models of Constituency in Perception and Syntax, Bern: Peter Lang.

Petitto, Laura-Ann (2005) How the brain begets language: On the neural tissue underlying human language acquisition, in J. McGilvray, ed., The Cambridge Companion to Chomsky, Cambridge: University Press, pp 84-101.

Petri, Carl Adam (1962) Kommunikation mit Automaten, Ph.D. dissertation, University of Bonn. English translation in technical report RADC-TR-65-377, Griffiss Air Force Base, 1966.

Petri, Carl Adam (1977) Modelling as a communication discipline, in H. Beilner & E. Gelenbe, eds., Meaning, Modelling, and Evaluating Computer Systems, North-Holland Publishing Co., Amsterdam, pp. 435-449.

Petrick, Stanley R. (1976) On natural language based computer system, IBM Journal of Research and Development 20:4, 314-325.

Petrick, Stanley R. (1981) Field testing the TQA System, Proc. 19th Annual Meeting of the ACL, pp. 35-36.

Petrie, Charles J., Jr., ed. (1992) Enterprise Integration Modeling, MIT Press, Cambridge, MA.

Petroski, Henry (1985) To Engineer is Human, St. Martin’s Press, New York.

Pfeiffer, Heather D., & Timothy E. Nagle, eds. (1993) Conceptual Structures: Theory and Implementation, LNAI 754, Berlin: Springer.

Piaget, Jean (1968) On the Development of Memory and Identity, Barre, MA: Clark University Press.

Pietarinen, Ahti-Veikko (2004) Grice in the wake of Peirce, Pragmatics and Cognition 12:2, 295-315.

Pietarinen, Ahti-Veikko (2006) Signs of Logic:  Peircean Themes on the Philosophy of Language, Games, and Communication, Synthese Library, vol. 329, Berlin: Springer.

Pietarinen, Ahti-Veikko (2011) Moving pictures of thought II: Graphs, games, and pragmaticism's proof, Semiotica 186:4, 315–331.

Pietarinen, Ahti-Veikko (2014) Two papers on existential graphs by Charles Peirce, Synthese.

Pike, Kenneth L. (1967) A Unified Theory of Human Behavior, 2nd edition, Mouton, The Hague.

Pinker, Steven (1994) The Language Instinct:  How the Mind Creates Language, William Morrow, New York.

Pinker, Steven, & Ray Jackendoff (2005) The faculty of language: what’s special about it? Cognition 95:2, 201-236.

Plato, Theatetus, Sophist, Cambridge, MA: Harvard University Press.

Poincaré, Henri (1908) Science et Méthod, translated by F. Maitland as Science and Method, Barnes and Noble Books, New York.

Poinsot, John (1632) Tractatus de Signis, translated as The Semiotic of John Poinsot, edited by J. Deely, University of California Press, Berkeley, 1985.

Poli, Roberto, & Johanna Seibt, eds. (2010) Theory and Applications of Ontology: Philosophical Perspectives, Berlin: Springer.

Polkinghorne, Donald (1983) Methodology for the Human Sciences, Albany: State University of New York Press.

Pólya, George (1945) How to Solve It, Princeton: University Press.

Pólya, George (1954) Mathematics and Plausible Reasoning, Volume I: Induction and Analogy in Mathematics, Volume II: Patterns of Plausible Inference, Princeton: University Press.

Poole, D. (1989) Normality and faults in logic-based diagnosis, Proc. IJCAI'89, 1304-1310.

Pople, H. E., J. D. Myers, & R. A. Miller (1975) DIALOG: a model of diagnostic logic for internal medicine, Proc. IJCAI'75, 848-855.

Pople, H. E. (1977) The formation of composite hypotheses in diagnostic problem solving, Proc. IJCAI'77, 1030-1037.

Pople, H. (1982) Heuristic methods for imposing structure on ill-structured problems, in P. Szolovits, ed., Artificial Intelligence in Medicine, Westview Press, Boulder, 119-190.

Porphyry, Isagoge et in Aristotelis Categorias Commentarium, in A. Busse (ed.), Commentaria in Aristotelem graeca 4(1), Berlin (1887).

Porphyry (circa 290) Isagôgê, translated as On Aristotle’s Categories by Steven K. Strange, Ithaca, NY: Cornell University Press, 1992.

Post, Emil L. (1943) Formal reductions of the general combinatorial decision problem, American J. of Mathematics 65, 197-268.

Potter, Vincent G. (1996) Peirce’s Philosophical Perspectives, Fordham University Press, New York.

Potter, Vincent G. (1997) Charles S. Peirce on Norms and Ideals, Fordham University Press, New York.

Preucel, Robert W. (2010) Archaeological Semiotics, Wiley-Blackwell, Oxford.

Preucel, Robert W. (2016) Pragmatic archaeology and semiotic mediation, Semiotic Review 4,

Prior, Arthur N. (1968) Papers on Time and Tense, revised edition ed. by P. Hasle, P. Øhrstrøm, T. Braüner, & B. J. Copeland, Oxford University Press, 2003.

Propp, Vladimir (1928) Morfologia Skazki, translated as Morphology of the Folktale, University of Texas Press, Austin, 1958.

Przymusinski, Teodor (1991) Three-valued nonmonotonic formalisms and semantics of logic programs, Artificial Intelligence 49:1-3, 309-343.

Pustejovsky, James (1991) The generative lexicon, Computational Linguistics 17:4, 409-441.

Pustejovsky, James, ed. (1993) Semantics and the Lexicon, Dordrecht: Kluwer.

Pustejovsky, James (1995) The generative lexicon, MIT Press, Cambridge, MA.

Pustejovsky, James, & Branimir Boguraev (1993) Lexical knowledge representation and natural language processing, Artificial Intelligence 63, 193-223.

Pustejovsky, James, Pierrette Bouillon, Hitoshi Isahara, & Kyoko Kanzaki, eds. (2013) Advances in Generative Lexicon Theory, Berlin: Springer.

Putnam, Hilary (1970) On properties, reprinted in Putnam (1975), pp. 305-322.

Putnam, Hilary (1975) Philosophical Papers, vol 1, Mathematics: Matter and Method, Chicago: University Press.

Putnam, Hilary (1982) Peirce the Logician, Historia Mathematica 9:290-301, reprinted in Putnam (1990) pp. 252-260.

Putnam, Hilary (1990) Realism with a Human Face, Cambridge, MA: Harvard University Press.

Putnam, Hilary (1999) The Threefold Cord: Mind, Body, and World, New York: Columbia University Press.


Quillian, M. Ross (1966) Semantic Memory, PhD dissertation, Carnegie Institute of Technology (now CMU). Abridged version in Minsky (1968) pp. 227-270.

Quine, Willard Van Orman (1933) Review of Collected Papers of Charles Sanders Peirce. Volume II: Exact Logic, Charles Hartshorne, Paul Weiss, Isis 19:1, 220-229.

Quine, Willard Van Orman (1934) Review of Collected Papers of Charles Sanders Peirce. Volume III: Exact Logic, Charles Hartshorne, Paul Weiss, Isis 22:1, 285-297.

Quine, Willard Van Orman (1948) On what there is, reprinted in Quine (1953) pp. 1-19.

Quine, Willard Van Orman (1951) Two dogmas of empiricism, reprinted in Quine (1953).

Quine, Willard Van Orman (1953) Reduction to a dyadic predicate, reprinted in Quine (1966), pp. 224-226.

Quine, Willard Van Orman (1953) From a Logical Point of View, Cambridge, MA: Harvard University Press, Second edition 1961.

Quine, Willard Van Orman (1960) Word and Object, MIT Press, Cambridge, MA.

Quine, Willard Van Orman (1966) Selected Logic Papers, enlarged edition, Cambridge, MA: Harvard University Press, 1995.

Quine, Willard Van Orman (1969) Ontological Relativity & Other Essays, Columbia University Press, New York.

Quine, Willard Van Orman (1972) Responding to Saul Kripke, reprinted in Quine (1981) pp. 173-174.

Quine, Willard Van Orman (1981) Theories and Things, Cambridge, MA: Harvard University Press.

Quine, Willard Van Orman (1995) Peirce’s logic, in Ketner (1995) pp. 23-31.


Ragni, Marco, & P. N. Johnson-Laird (2018) Reasoning about possibilities: human reasoning violates all normal modal logics,

Rahmstorf, Gerhard (1983) Die semantischen Relationen in nominalen Ausdrücken des Deutschen, Inaugural Dissertation, Fachbereich Philologie, Johannes Gutenberg University, Mainz.

Ralescu, Anca L., and Baldwin James F. (1989) Concept learning from examples and counter examples, International Journal of Man-Machine Studies, v. 30:3, 329-354.

Raskin, Victor, ed. (2008) The Primer of Humor Research, Berlin: Mouton de Gruyter.

Rassinoux, Anne-Marie (1994) Extraction et Représentation de la Connaissance tirée de Textes Médicaux, Éditions Systèmes et Information, Geneva.

Rassinoux, Anne-Marie, Robert H. Baud, Christian Lovis, Judith C. Wagner, Jean-Raoul Scherrer (1998) Tuning up conceptual graph representation for multilingual natural language processing in medicine, in M-L Mugnier & M. Chein, eds. (1998) Conceptual Structures: Theory, Tools, and Applications, Lecture Notes in AI 1453, Berlin: Springer, pp. 390-397

Rational Software (1997) UML Semantics,

Rauh, Sister Miriam Joseph (1937) The Trivium: The Liberal Arts of Logic, Grammar, and Rhetoric, Third edition 1948, reprinted by Paul Dry Books, 2002.

Rauh, Sister Miriam Joseph (1947) Shakespeare’s Use of the Arts of Language, reprinted by Paul Dry Books, 2005.

Ravin, Yael, & Claudia Leacock, eds. (2000) Polysemy: Theoretical and Computational Approaches, Oxford: Oxford University Press.

Redmond, Juan, Olga Pombo Martins, Ángel Nepomuceno Fernández (2016) Epistemology, Knowledge and the Impact of Interaction, Springer.

Reese, William (1952) Philosophic Realism: A Study in the Modality of Being in Peirce and Whitehead, in Philip P. Wiener & Frederic H. Young, eds., Studies in the Philosophy of Charles Sanders Peirce, Harvard University Press, pp. 225-237.

Regier, Terry (1996) The Human Semantic Potential: Spatial Language and Constrained Connectionism, MIT Press, Cambridge, MA.

Reiter, Raymond (1978) On closed world data bases, in Gallaire & Minker (1978) 55-76.

Reiter, Raymond (1980) A logic for default reasoning, Artificial Intelligence 13, 81-132.

Reiter, Raymond (2001) Knowledge in Action: Logical Foundations for Specifying and Implementing Dynamical Systems, MIT Press, Cambridge, MA.

Reiter, R., & G. Criscuolo (1981) On interacting defaults, Proc. IJCAI'81, 270-276.

Reitman, Walter R. (1965) Cognition and Thought, New York: Wiley.

Rescher, Nicholas (1962) The revolt against process, Journal of Philosophy, vol. 59, pp. 410-417. Revised version reprinted in Rescher (1969) pp. 181-190. Excerpts reprinted in Rescher (2000) pp. 33-34.

Rescher, Nicholas (1968) Topics in Philosophical Logic, Dordrecht: D. Reidel.

Rescher, Nicholas (1969) Essays in Philosophical Analysis, University of Pittsburgh Press, Pittsburgh.

Rescher, Nicholas (1975) A Theory of Possibility, Pittsburgh: University Press.

Rescher, Nicholas (1998) Complexity:  A Philosophical Overview, Transaction Publishers, New Brunswick, NJ.

Rescher, Nicholas (2000) Process Philosophy: A Survey of Basic Issues, University of Pittsburgh Press.

Rescher, Nicholas (2001) Cognitive Pragmatism: The theory of Knowledge in Pragmatic Perspective, University of Pittsburgh Press.

Reynolds, Andrew (2002) Peirce's Scientific Metaphysics: The Philosophy of Law, Chance, and Evolution, Nashville: Vanderbilt University Press.

Rhodes, James, Stephen Boyer, Jeffrey Kreulen, Ying Chen, & Patricia Ordonez (2007) Mining patents using molecular similarity search, Pacific Symposium on Biocomputing 12, 304-315.

Richards, Debbie (2004) Addressing the ontology acquisition bottleneck through reverse ontological envineering, Knowledge and Information Systems 6:4, 402-427.

Richards, Debbie (2004) Two decades of RDR research, Knowledge Engineering Review 24:2, 159-184.

Richardson, Stephen, William B. Dolan, & Lucy Vanderwende (1998) MindNet: acquiring and structuring semantic information from text, Proc. COLING-ACL'98, Montreal, pp. 1098-1102.

Reid, Thomas (1785) Essays on the Intellectual Power of Man, Edinburgh University Press, Edinburgh.

Richens, Richard H. (1956) Preprogramming for mechanical translation, Mechanical Translation 3:1, 20-25.

Rieger, Chuck (1976) An organization of knowledge for problem solving and language comprehension, Artificial Intelligence 7:2, 89-127.

Riesbeck, Christopher (1986) Review of Conceptual Structures by J. F. Sowa, ACM Computing Reviews 27:8, 392-393.

Roberts, Don D. (1973) The Existential Graphs of Charles S. Peirce, Mouton, The Hague.

Roberts, Lawrence D. (1993) How Reference Works, SUNY Press, Albany.

Riesbeck, Christopher K. & Roger C. Schank, (1989) Inside Case-Based Reasoning, Erlbaum, Hillsdale, NJ.

Robinson, Abraham (1965) Introduction to Model Theory and the Metamathematics of Algebra, Amsterdam: North Holland.

Robinson, Jane J. (1970) Dependency structures and transformational rules, Language 46:2, 259-285.

Robinson, John Alan (1965) A machine-oriented logic based on the resolution Principle, Journal of the ACM 12, 23-41.

Robinson, John Alan (1969) Mechanizing Higher Order Logic, in Meltzer & Michie, eds. (1969)&@ Machine Intelligence 4, New York: American Elsevier, pp. 151-170.

Rochester, Nathaniel, & John H. Holland (1956) Tests on a Cell Assembly Theory of the Action of the Brain, Using a Large Digital Computer. In J. A. Andersen & E. Rosenfeld, eds., Neurocomputing, MIT Press, Cambridge, MA, 1988.

Rorty, Richard (1961) Pragmatism, categories, and language, Philosophical Review 70, 197-223.

Rosch, Eleanor (1975) Cognitive representations of semantic categories, J. of Experimental Psychology, General 104, 192-253.

Rosch, Eleanor, & Carolyn B. Mervis (1975) Family resemblances: Studies in the internal structure of categories, Cognitive Psychology 7, 573-605.

Rosch, Eleanor, & Barbara B. Lloyd, eds. (1978) Cognition and Categorization, Lawrence Erlbaum Associates, Hillsdale, NJ.

Rosen, Robert (1985) Anticipatory Systems: Philosophical, Mathematical and Methodological Foundations, Oxford: Pergamon Press.

Rosenblatt, Frank (1958) The perceptron: a probabilistic model for information storage and organization in the brain, Psychological Review 65:6, 386-408.

Rosenstein, Michael T., & Paul R. Cohen (1998) Symbol Grounding with Delay Coordinates, Technical Report WS-98–06, The Grounding of Word Meaning: Data and Models, AAAI, 20–21.

Rosenthal, Sandra B. (1994) Charles Peirce’s Pragmatic Pluralism, SUNY Press: Albany.

Ruhl, Charles (1989) On Monosemy: A Study in Linguistic Semantics, State University of New York Press, Albany.

Rumelhart, David E., & Donald A. Norman (1978) Accretion, tuning, and restructuring: three modes of learning, in J. W. Cotton & R. L. Klatzky, eds., Semantic Factors in Cognition, Hillsdale, NJ: Lawrence Erlbaum, pp. 37-54.

Russell, Bertrand (1905) On denoting, Mind 14.

Russell, Bertrand (1918) The Philosophy of Logical Atomism, The Monist, reprinted in Russell (LA) pp. 35-155.

Russell, Bertrand (1924) Logical Atomism, in J. H. Muirhead, ed., Contemporary British Philosophy, London, reprinted in Russell (LA) pp. 157-181.

Russell, Bertrand (1969) Mr. Strawson on referring, in My Philosophical Development, Unwin Hyman Limited, London, pp. 238-245.

Russell, Bertran (1975) Autobiography of Bertrand Russell, Unwin Books, London.

Russell, Bertrand (LA) The Philosophy of Logical Atomism, Open Court, La Salle, IL, 1985.

Ryle, Gilbert (1949) The Concept of Mind, Barnes and Noble Books, New York.


Saint-Dizier, Patrick, & Evelyne Viegas, eds. (1995) Computational Lexical Semantics, Cambridge University Press, Cambridge.

Saint-Exupéry, Antoine de (1943) Le Petit Prince, translated by K. Woods as The Little Prince, Harcourt Brace Jovanovich, New York.

Samet, Hanan (2006) Foundations of Multidimensional and Metric Data Structures, Morgan Kaufmann, San Francisco.

Samuel, Arthur L. (1959) Some studies in machine learning using the game of checkers, IBM Journal of Research and Development 3, 211-229.

Samsonovich, Alexei V. (2010) Toward a unified catalog of implemented cognitive architectures, in A. V. Samsonovich et al., eds., Biologically Inspired Cognitive Architectures 2010, Amsterdam: IOS Press, pp. 195-244.

Sandewall, Erik (1990) Towards a logic of dynamic frames, Reprinted in Ford & Hayes (1991) pp. 201-217.

Sandewall, Erik (1994) Features and Fluents, Clarendon Press, Oxford.

Sandewall, Erik, & Yoav Shoham (1995) Nonmonotonic temporal reasoning, in Gabbay et al. (1995) pp. 439-498.

Sapir, Edward (1921) Language: An Introduction to Study of Speech, reprinted, New York: Dover, 2004.

Sarraf, Qusai, & Gerard Ellis (2006) Business Rules in Retail: The Story, Business Rules Journal 7:6.

Saussure, Ferdinand de (1916) Cours de Linguistique Générale, translated by W. Baskin as Course in General Linguistics, Philosophical Library, New York, 1959.

Savage-Rumbaugh, Sue, Stuart G. Shanker, & Talbot J. Taylor (1998) Aples, Language, and the Human Mind, New York: Oxford University Press.

Sawyer, Sarah, ed. (2010) New Waves in Philosophy of Language, New York: Palgrave Macmillan.

Sawyer, Sarah (2010) The modified predicate theory of proper names, in Sawyer (2010) pp.206-225.

Scarborough, Randolph G., & Harwood G. Kolsky (1980) Improved optimization of FORTRAN object programs, IBM Journal of Research and Development 24:6, 660-676.

Scha, Remko (1981) Distributive, collective, and cumulative quantification, reprinted in J.A.G. Groenendijk, T.M.V. Janssen, & M.B.J. Stockhof, eds., Truth, Interpretation, and Information, Foris, Dordrecht, 1984, pp. 131-158.

Schank, Roger C., ed. (1975) Conceptual Information Processing, North-Holland Publishing Co., Amsterdam.

Schank, R. C. (1982) Dynamic Memory, Cambridge University Press, New York.

Schank, Roger C., & Larry G. Tesler (1969) A conceptual parser for natural language, Proc. IJCAI'69, 569-578.

Schank, Roger C., & Robert P. Abelson (1977) Scripts, Plans, Goals and Understanding, Lawrence Erlbaum Associates, Hillsdale, NJ.

Schank, Roger C. (1990) Tell Me a Story, Northwestern University Press, Evanston, IL.

Schank, Roger C., Michael Lebowitz, & Lawrence Birnbaum (1980) An integrated understander, American Journal of Computational Linguistics 6, 13-30.

Schank, Roger C., & Christopher K. Riesbeck, eds. (1981) Inside Computer Understanding, Lawrence Erlbaum Associates, Hillsdale, NJ.

Schank, Roger C., Alex Kass, & Christopher K. Riesbeck (1994) Inside Case-Based Explanation, Lawrence Erlbaum Associates, Hillsdale, NJ.

Schiappa, Edward (2003) Defining Reality:  Definitions and the Politics of Meaning, Southern Illinois University Press, Carbondale.

Schlenoff, Craig, Michael Gruninger, Florence Tissot, John Valois, Josh Lubell, & Jintae Lee (1999) The Process Specification Language (PSL) Overview and Version 1.0 Specification, NIST Internal Report (NISTIR) 6459,

Schmidt, Arnold (1938) Über deduktive Theorien mit mehreren Sorten von Grunddingen, Mathematische Annalen 115:1, 485-506.

Schmidt, Arnold (1953) Review: Hao Wang, Logic of many-sorted theories, Journal of Symbolic Logic 18:1, 1-96.

Schmitt, Charles B., & Quentin Skinner, eds. (1988) The Cambridge History of Renaissance Philosophy, Cambridge: Cambridge University Press.

Schoenfield, Joseph R. (1967) Mathematical Logic, Reading, MA: Addison-Wesley.

Schönfinkel, Moses (1924) Über die Bausteine der mathematischen Logik, Mathematische Annalen 92, 305-316.

Schreiber, Guus, Hans Akkermans, Anjo Anjewierden, Robert de Hoog, Nigel Shadbot, Walter Van de Velde, & Bob Wielinga (1999) Knowledge Engineering and Management: The CommonKADS Methodology, MIT Press, Cambridge, MA.

Schröder, Ernst (1890-1895) Vorlesungen über die Algebra der Logik, 3 vols., Teubner, Leipzig.

Schröder, Martin (1994) Erwartungsgestützte Analyse medizinischer Befundungstexte: Ein wissensbasiertes Modell zur Sprachverarbeitung, Infix Verlag, Sankt Augustin.

Schubert, Lenhart K. (2000) The situations we talk about, in J. Minker, ed., Logic-Based Artificial Intelligence, Dordrecht: Kluwer, pp. 407-439.

Schwitter, Rolf (1998) Kontrolliertes Englisch für Anforderungsspezifikationen, Studentdruckerei, Zurich. Available from

Scott, Dana S. (1970) Advice on modal logic, in K. Lambert, ed., Philosophical Problems in Logic, Dordrecht: D. Reidel. pp. 143-173.

Scott, Dana S. (1980) Relating theories of the λ-calculus, in J. P. Seldin & J. R. Hindley, eds., To H. B. Curry: Essays on Combinatory Logic, Lambda Calculus and Formalism, Academic Press, New York, pp. 403-450.

Searle, John R. (1969), Speech Acts. An Essay in the Philosophy of Language, Cambridge University Press, Cambridge.

Searle, John R. (1980) Minds, brains, and programs, Behavioral and Brain Sciences 3, 417-424.

Searle, John R. (1983), Intentionality. An Essay in the Philosophy of Mind, Cambridge University Press, Cambridge.

Searle, John R. (1995), The Construction of Social Reality, New York: Free Press.

Searle, John R. (2001) Rationality in Action, Cambridge, MA: MIT Press.

Searle, John R. (2006) What is Language:  Some Preliminary Remarks,

Sebeok, Thomas A. (1976) Contributions to the Doctrine of Signs, University Press of America, Lanham, MD.

Sebeok, Thomas A. (2001) Global Semiotics, University of Indiana Press, Bloomington.

Seligman, Jerry, & Lawrence S. Moss (1997) Situation Theory, in van Benthem & ter Meulen (1997) pp. 239-309.

Sellars, Wilfrid (1969) Language as thought and as communication, Philosophy and Phenomenological Research 29:4, 506-527.

Selz, Otto (1913) Über die Gesetze des geordneten Denkverlaufs, Spemann, Stuttgart.

Selz, Otto (1922) Zur Psychologie des produktiven Denkens und des Irrtums, Friedrich Cohen, Bonn.

Selz, Otto (1991) Wahrnehmungsaufbau und Denkprozeß, selected writings edited by A. Métraux & T. Herrmann, Verlag Hans Huber, Bern.

Sextus Empiricus, Against the Logicians, translated and edited by Richard Bett, Cambridge: Cambridge University Press, 2005.

Shafer, Glenn, & Judea Pearl, eds. (1990) Readings in Uncertain Reasoning, Morgan Kaufmann Publishers, San Mateo, CA.

Shanahan, Murray (1997) Solving the Frame Problem, MIT Press, Cambridge, MA.

Shannon, Claude E. (1948) The mathematical theory of communication, Bell System Technical Journal. Reprinted in C. E. Shannon & W. Weaver, The Mathematical Theory of Information, University of Illinois Press, Urbana.

Shannon, Claude E. (1950) Programming a computer for playing chess, Philosophical Magazine, Ser.7, Vol. 41, No. 314.

Shanker, Stuart G. (1987) Wittgenstein and the Turning Point in the Philosophy of Mathematics, SUNY Press, Albany.

Shanker, Stuart G., & Stanley Greenspan (2005) The role of affect in language development, Theoria: Revista de Teoria, Historia y Fundamentos de la Ciencia 20, 54. Role_of_Affect_in_Language_Development/

Shapiro, Stewart (2098) Logical consequemce: models and modality, in Matthias Schirn (ed.), The Philosophy of Mathematics Today, Oxford: Clarendon, pp. 131-156.

Shapiro, Stewart (2006) Vagueness in Context, Oxford: Clarendon.

Shapiro, Stuart C. (1971) A net structure for semantic information storage, deduction and retrieval, Proc. IJCAI'71, 512-523.

Shapiro, Stuart C. (1979) The SNePS semantic network processing system, in Findler (1979) pp. 263-315.

Shapiro, Stuart C., & William J. Rapaport (1992) The SNePS family, in Lehmann (1992) pp. 243-275.

Shastri, Lokendra (1992) Structured connectionist models, in Lehmann (1992) 293-328.

Sheriff, John K. (1994) Charles Peirce’s Guess at the Riddle: Grounds for Human Significance, Indiana University Press, Bloomington.

Shields, Paul (1981) Charles S. Peirce on the Logic of Number, Boston: Docent Press.

Shin, Sun-Joo (2002) The Iconic Logic of Peirce’s Graphs, MIT Press, Cambridge, MA.

Schmahmann, Jeremy D. (2010) The Role of the Cerebellum in Cognition and Emotion: Personal Reflections Since 1982 on the Dysmetria of Thought Hypothes is, and Its Historical Evolution from Theory to Therapy, Neuropsychology Review 20:3, 236-260.

Short, T. L. (2007) Peirce’s Theory of Signs, Cambridge: Cambridge University Press.

Shortliffe, Edward H. (1976) Computer-Based Medical Consultations: MYCIN, American Elsevier, New York.

Siegelmann, Hava T. (1995) Computation beyond the Turing limit, Science 268, 545-548.

Siegelmann, Hava T. (1998) Neural Networks and Analog Computation: Beyond the Turing Limit, Basel: Birkhäuser.

Simon, Herbert A. (1981) Otto Selz and information-processing psychology, in Frijda & de Groot (1981).

Simon, Herbert A. (1989) Human experts and knowledge-based systems, in M. Tokoro, Y. Anzai, & A. Yonezawa, eds., Concepts and Characteristics of Knowledge-Based Systems, North-Holland Publishing Co., Amsterdam, pp. 1-21.

Simons, Peter (1987) Parts: A Study in Ontology, Oxford: Clarendon.

Simons, Peter (1992) Philosophy and Logic in Central Europe from Bolzano to Tarski, Dordrecht: Kluwer.

Simons, Peter (2000) Identity through time and trope bundles, Topoi 19:2, 147-155.

Simons, Peter (2004) Judging correctly:  Brentano and the reform of elementary logic, in Jacquette (2004) pp. 45-65.

Singh, Push (2003) Examining the society of mind, Computers and Artificial Intelligence 22:6, 521-543.

Singh, Push, & Marvin Minsky (2005) An architecture for cognitive diversity, in D. N. Davis, Visions of Mind: Architectures for Cognition and Affect, Hershey, PA: Information Science Publishing, pp. 312-331.

Skinner, Burrhus Frederic (1945) The operational analysis of psychological terms, Psychological Review 52, 270-77, 291-94.

Skinner, Burrhus Frederic (1957) Verbal Behavior, Appleton-Century-Crofts, New York.

Skuce, Doug, & Timothy Lethbridge (1995) CODE4: A unified system for managing conceptual knowledge, International J. of Human-Computer Studies, 42 413-451.

Skuce, Doug (1998) Intelligent knowledge management: integrating documents, knowledge bases, and linguistic knowledge, in Proceedings of KAW'98, Calgary.

Skuce, Doug (2000) Integrating web-based documents, shared knowledge bases, and information retrieval for user help, Computational Intelligence 16:1.

Slagle, J. R., Gardiner, D. A. and Han, K. (1990) Knowledge specification of an expert system, IEEE Expert 5:4, 29-38.

Slocombe, Katie (2012) Have we underestimated great ape vocal capacities? in M. Tallerman & K. R. Gibson, eds. (2012), pp. 90-95.

Small, Steven I. (1980) Word Expert Parsing, PhD Thesis, Department of Computer Science, University of Maryland.

Small, Steven I., Garrison W. Cottrell, & Michael K. Tannenhaus, eds. (1988) Lexical Ambiguity Resolution, Morgan Kaufmann Publishers, San Mateo, CA.

Smart, Paul, Robert Clowes and Richard Heersmink (2017) Minds online: The interface between web science, cognitive science and the philosophy of mind, Foundations and Trends in Web Science 6:1-2, 1-232.

Smith, Barry (1994) Austrian Philosophy: The Legacy of Franz Brentano, Chicago: Open Court.

Smith, Barry (1995) Formal ontology, common sense, and cognitive science, International J. of Human-Computer Studies 43, 641-668.

Smith, Barry (1998) Basic Concepts of Formal Ontology, in Guarino (1995) pp. 19-28.

Smith, Barry (1999) Les objets sociaux, Philosophiques 26:2, 315-347. English version at

Smith, Barry, & David Woodruff Smith, eds. (1995) The Cambridge Companion to Husserl, Cambridge University Press, Cambridge.

Smith, Barry, and Achille Varzi (2000) Fiat and bona fide boundaries, Philosophy and Phenomenological Research 60:2, 401-420.

Smith, Barry, and John Searle (2001) The construction of social reality: an exchange, American Journal of Economics and Sociology 60, available at

Smith, Brian Cantwell (1982) Prolog to Reflections and Semantics in a Procedural Language, reprinted in Brachman & Levesque (1985) pp. 31-39.

Smith, Brian Cantwell (1996) On the Origin of Objects, MIT Press, Cambridge, MA.

Smith, Carlotta S. (2003) Modes of Discourse: The Local Structure of Texts, Cambridge University Press, Cambridge.

Smith, David Woodruff (2004) Mind World: Essays in Phenomenology and Ontology, Cambridge University Press.

Smith, David Woodruff, & Amie L. Thomasson, eds. (2005) Phenomenology and Philosophy of Mind, Oxford: Clarendon Press.

Socher, Richard, Cliff Chiung-Yu Lin, Andrew Y. Ng, & Christopher D. Manning (2011) Parsing natural scenes and natural language with recursive neural networks, Proc. 28th International Conference on Machine Learning.

Somers, Harold L. (1987) Valency and Case in Computational Linguistics, Edinburgh University Press, Edinburgh.

Sommers, Fred (1982) The Logic of Natural Language, Oxford: Clarendon Press.

Sorabji, Richard (1988) Matter, Space, and Motion: Theories in Antiquity and Their Sequel, London: Duckworth.

Sosa, Ernest, & Michael Tooley, eds. (1993) Causation, Oxford University Press, Oxford.

Sowa, John F. (1976) Conceptual graphs for a data base interface, IBM Journal of Research and Development 20:4, 336-357.

Sowa, John F. (1979a) Definitional mechanisms for conceptual graphs, Graph Grammars and their Application to Computer Science and Biology, ed. by V. Claus, H. Ehrig, & G. Rozenberg, Springer Verlag, Berlin, pp. 426-439.

Sowa, John F. (1979b) Semantics of conceptual graphs, Proc. of the 17th Annual Meeting of the Association for Computational Linguistics, pp. 39-44, 1979.

Sowa, John F. (1981) A conceptual schema for knowledge based systems, Proceedings of the Workshop on Data Abstraction, Databases, and Conceptual Modeling, SIGMOD Record, ACM, 11:2, 193-195, 1981.

Sowa, John F. (1983) Generating language from conceptual graphs, Computers and Mathematics with Applications

Sowa, John F. (1984) Conceptual Structures: Information Processing in Mind and Machine, Addison-Wesley, Reading, MA.

Sowa, John F. (1984b) Interactive Language Implementation System (ILIS), IBM Journal of Research and Development 28:1, 28-39.

Sowa, John F. (1985) Una metodología para la tecnología de la informatión, Programación Informática: Sistemas Expertos, Instituto de Ciencias del Hombre, Madrid, pp. 23-38, 1985. (Spanish translation of an invited talk presented in November, 1984.)

Sowa, John F. (1987) Semantic networks, Encyclopedia of Artificial Intelligence, edited by S. C. Shapiro, Wiley, New York, 1987; revised and extended for the second edition, 1992.

Sowa, John F. (1988a) Using a lexicon of canonical graphs in a semantic interpreter, in M. Evens, ed., Relational Models of the Lexicon, Cambridge University Press, pp. 73-97.

Sowa, John F. (1988b) Knowledge Representation, Lecture notes for the AAAI-88 tutorial, co-authored with D. Skuce, AAAI, Menlo Park, CA, 1988.

Sowa, John F. (1988c) Conceptual graph notation, in J. W. Esch, ed., Proceedings of the Third Annual Workshop on Conceptual Graphs, AAAI, Menlo Park, CA, 1988, pp. 2-1 to 2-22.

Sowa, John F. (1989a) Knowledge acquisition by teachable systems, in J.P. Martins and E.M. Morgado, eds., EPIA 89, LNAI 390, Berlin: Springer, 1989, pp. 381-396.

Sowa, John F. (1989b) Review of Logical Foundations of Artificial Intelligence by Michael R. Genesereth & Nils J. Nilsson, Artificial Intelligence 38:1, 1989, 125-131.

Sowa, John F. (1989c) Knowledge Representation, Lecture notes for the IJCAI'89 tutorial, co-authored with N. Y. Foo, AAAI, Menlo Park, CA, 1989.

Sowa, John F. (1990a) Knowledge representation in databases, expert systems, and natural language, in R.A. Meersman, Zh. Shi, & C-H. Kung, Artificial Intelligence in Databases and Information Systems, North-Holland Publishing Co., New York, 1990, pp. 17-50.

Sowa, John F. (1990b) Definitional mechanisms for restructuring knowledge bases, in Z. W. Ras, M. Zemankova, & M. L. Emrich, eds., Methodologies for Intelligent Systems, 5, North-Holland Publishing Co., New York, 1990, pp. 194-211.

Sowa, John F. (1990c) Crystallizing theories out of knowledge soup, in Z. W. Ras & M. Zemankova, eds., Intelligent Systems: State of the Art and Future Directions, Ellis Horwood Ltd., London, 1990, pp. 456-487.

Sowa, John F. (1990d) Finding structure in knowledge soup, Proc. Info Japan '90, Information Processing Society of Japan, Tokyo, vol. 2, pp. 245-252, 1990.

Sowa, John F. (1990e) A prolog to Prolog, in Knowledge Systems and Prolog, by A. Walker (ed), M. McCord, J. Sowa, & W. Wilson, Addison-Wesley, Reading, MA, 1987; revised and extended for the second edition, 1990.

Sowa, John F. (1991a) Towards a reintegration of AI research, in Future Directions in AI, ed. by P. A. Flach & R. A. Meersman, North-Holland Publishing Co., Amsterdam, 1991, pp. 25-33.

Sowa, John F., ed. (1991b) Principles of Semantic Networks: Explorations in the Representation of Knowledge, Morgan Kaufmann Publishers, San Mateo, CA, 1991.

Sowa, John F. (1991c) Towards the expressive power of natural languages, in J. F. Sowa (1991b) pp. 157-189.

Sowa, John F. (1992a) Logical structures in the lexicon, in Lexical Semantics and Commonsense Reasoning, edited by James Pustejovsky and Sabine Bergler, LNAI 627, Berlin: Springer, 1992, pp. 39-60.

Sowa, John F. (1992b) Conceptual analysis as a basis for knowledge acquisition, in R. R. Hoffman, ed., The Cognition of Experts: Psychological Research and Empirical AI, Berlin: Springer.

Sowa, John F. (1992c) Conceptual graphs summary, in Nagle et al. (1992) pp. 3-51.

Sowa, John F. (1992d) Conceptual graphs as a universal knowledge representation, Computers and Mathematics with Applications, vol. 23, no 2-5, 1992. Reprinted in Lehmann (1992) pp. 75-93.

Sowa, John F. (1993a) Lexical structures and conceptual structures, in Pustejovsky (1993) pp. 223-262.

Sowa, John F. (1993b) Logical foundations for representing object-oriented systems, Journal of Experimental & Theoretical AI, vol. 5, nos. 2&3, 1993, pp. 237-261.

Sowa, John F. (1993c) Relating diagrams to logic, in G. Mineau, B. Moulin, & J. F. Sowa eds., Conceptual Graphs for Knowledge Representation, New York: Springer, 1993.

Sowa, John F. (1993d) Logic-based standards for the conceptual schema, in J. Cuena, ed., Knowledge Oriented Software Design, North-Holland Publishing Co., Amsterdam, 1993, pp. 251-280.

Sowa, John F. (1993e) Review of Building Large Knowledge-Based Systems: Representation and Inference in the Cyc Project by D. B. Lenat & R. V. Guha, Artificial Intelligence 61:1, 1993, 95-104.

Sowa, John F. (1995) Syntax, semantics, and pragmatics of contexts, in Ellis et al. (1995) Conceptual Structures: Applications, Implementation, and Theory, LNAI 954, Berlin: Springer, pp. 1-15.

Sowa, John F. (1996a) Top-level ontological categories, International J. of Human-Computer Studies, 43:5/6, 1996, 669-686.

Sowa, John F. (1996b) Processes and participants, in Eklund et al. (1996) pp. 1-22.

Sowa, John F. (1997a) Matching logical structure to linguistic structure, in Houser, Roberts, & Van Evra (1997).

Sowa, John F. (1997b) Peircean foundations for a theory of context, in D. Lukose et al., eds., Conceptual Structures: Fulfilling Peirce’s Dream, LNAI 1257, Berlin: Springer, 1997, pp. 41-64.

Sowa, John F. (1998a) Conceptual graph standard and extensions, in M-L Mugnier, & M. Chein, eds., Conceptual Structures: Theory, Tools, and Applications, LNAI 1453, Berlin: Springer, 1998, pp. 3-14.

Sowa, John F. (1998b) Conceptual Graphs, in P. Bernus, K. Mertins, & G. Schmidt, eds., Handbook on Architectures of Information Systems, Berlin: Springer, 1998, pp. 287-311.

Sowa, John F. (1998c) The infinite variety of logics, in O. Herzog & A. Günter, eds., KI-98: Advances in Artificial Intelligence, LNAI 1504, Berlin: Springer, pp. 31-53.

Sowa, John F. (1999a) Relating templates to logic and language, in Information Extraction: Towards Scalable, Adaptable Systems, ed. by M. T. Pazienza, LNAI 1714, Springer, pp. 76-94.

Sowa, John F. (1999b) Review of Philosophy in the Flesh: The Embodied Mind and its Challenge to Western Thought by George Lakoff and Mark Johnson, in Computational Linguistics, 25:4, December 1999.

Sowa, John F. (1999c) Ontological categories, in L. Albertazzi, ed., Shapes of Forms: From Gestalt Psychology and Phenomenology to Ontology and Mathematics, Kluwer Academic Publishers, Dordrecht, 1999, pp. 307-340.

Sowa, John F. (2000) Knowledge Representation: Logical, Philosophical, and Computational Foundations, Brooks/Cole Publishing Co., Pacific Grove, CA.

Sowa, John F. (2000b) Ontology, metadata, and semiotics, in B. Ganter & G. W. Mineau, eds., Conceptual Structures: Logical, Linguistic, and Computational Issues, LNAI 1867, Berlin: Springer, 2000, pp. 55-81.

Sowa, John F. (2001), Review of Construing Experience through Meaning: A Language-based Approach to Cognition by M. A. K. Halliday and Christian M. I. M. Matthiessen, in Computational Linguistics, 27:1, 140-142.

Sowa, John F. (2002) Architectures for intelligent systems, IBM Systems Journal 41:3, 331-349.

Sowa, John F. (2003) Laws, facts, and contexts: Foundations for multimodal reasoning, in Knowledge Contributors, edited by V. F. Hendricks, K. F. Jørgensen, and S. A. Pedersen, Kluwer Academic Publishers, Dordrecht, pp. 145-184.

Sowa, John F. (2004) Graphics and languages for the Flexible Modular Framework, in Wolff et al. (2004) pp. 31-51.

Sowa, John F. (2005) Review of Ontological Semantics by Nirenburg and Raskin, Computational Linguistics 31:1, 147-152.

Sowa, John F. (2006) The challenge of knowledge soup, in J. Ramadas & S. Chunawala, Research Trends in Science, Technology, and Mathematics Education, Homi Bhabha Centre, Mumbai, pp. 55-90.

Sowa, John F. (2006) Categorization in Cognitive Computer Science, in H. Cohen & C. Lefebvre, eds., Handbook of Categorization in Cognitive Science, Amsterdam: Elsevier, pp. 141-163.

Sowa, John F. (2006) Peirce’s contributions to the 21st Century, in H. Schärfe, P. Hitzler, & P. Øhrstrøm, eds., Conceptual Structures: Inspiration and Application, LNAI 4068, Berlin: Springer, pp. 54-69.

Sowa, John F. (2006) Worlds, Models, and Descriptions, Studia Logica, Special Issue Ways of Worlds II 84:2, 323-360.

Sowa, John F. (2006) A dynamic theory of ontology, in B. Bennett & C. Fellbaum, eds., Formal Ontology in Information Systems, IOS Press, Amsterdam, pp. 204-213.

Sowa, John F. (2006) Review of Language, Cohesion and Form by Margaret Masterman, Computational Linguistics, 32:4, 551-553.

Sowa, John F. (2007) Fads and fallacies about logic, IEEE Intelligent Systems, 22:2, 84-87.

Sowa, John F. (2008) Conceptual graphs, in F. van Harmelen, V. Lifschitz, and B. Porter, eds., Handbook of Knowledge Representation, Amsterdam: Elsevier, pp. 213-237.

Sowa, John F. (2009) Conceptual Graphs for Conceptual Structures, in P. Hitzler & H. Schärfe, eds., Conceptual Structures in Practice, Chapman & Hall/CRC Press, pp. 102-136.

Sowa, John F. (2010) Five questions on epistemic logic, in Epistemic Logic: 5 Questions edited by V. F. Hendricks & O. Roy, New York: Automatic Press, pp. 231-241.

Sowa, John F. (2010) The role of logic and ontology in language and reasoning, in R. Poli & J. Seibt, eds., Theory and Applications of Ontology: Philosophical Perspectives, Berlin: Springer, pp. 231-263.

Sowa, John F. (2011) Future directions for semantic systems, in A. Tolk & L. C. Jain, eds., Intelligence-Based Systems Engineering, ISRL 10, Berlin: Springer, pp. 24-47.

Sowa, John F. (2011) Peirce’s tutorial on existential graphs, Semiotica 186:1-4, 345-394.

Sowa, John F. (2013) From existential graphs to conceptual graphs, International Journal of Conceptual Structures 1:1, 39-72.

Sowa, John F. (2013b) What is the source of fuzziness? in On Fuzziness: Studies in Fuzziness and Soft Computing, vol. 2, edited by R. Seising, E. Trillas, C. Moraga, & S. Termini, Berlin: Springer, pp 645-652.

Sowa, John F. (2014) Why has AI failed? And how can it succeed? Computación y Sistemas 18:3, 1-5.

Sowa, John F. (2015) The cognitive cycle, Annals CSIS 5, IEEE, pp. 11-16.

Sowa, John F. (2015) Signs and Reality, Applied Ontology 10:3-4, 273-284.

Sowa, John F. (2016) Diagrammatic reasoning with EGs and EGIF, Cuadernos de Sistemática Peirceana No 8, Bogotá: Centro de Sistemática Peirceana, pp. 44-76.

Sowa, John F. (2018) Reasoning with diagrams and images, Journal of Applied Logics 5:5, 987-1059.

Sowa, John F. (2020) Natural logic is diagrammatic reasoning about mental models, Procedia Computer Science, Elsevier.

Sowa, John F., & Eileen C. Way (1986) Implementing a semantic interpreter using conceptual graphs, IBM Journal of Research and Development 30:1, 57-69.

Sowa, John F., & John A. Zachman (1992a) Extending and formalizing the Framework for Information Systems Architecture, IBM Systems Journal 31:3, 590-616.

Sowa, John F., & John A. Zachman (1992b) A logic-based approach to enterprise integration, in C. J. Petrie, ed., Enterprise Integration Modeling, MIT Press, Cambridge, MA, pp. 152-163.

Sowa, John F., & Arun K. Majumdar (2003) Analogical reasoning, in de Moor et al. (2003) pp. 16-36.

Spaanenburg, L., Alberts, R., Slump, C.H. and vanderZwaag, B.J. (2003) Natural learning of neural networks by reconfiguration, in Rodriguez-Vazquez, A., Abbott, D. and Carmona, R. (eds.), SPIE Int. Symp. On Microtechnologies for the new Millennium, Vol. 5119, pp. 273-284.

Spade, Paul Vincent, ed. (1999) The Cambridge Companion to Ockham, Cambridge University Press, Cambridge.

Spade, Paul Vincent (2002) Thoughts, Words, and Things: An Introduction to Late Medieval Logic and Semantic Theory,

Sperry, R. W. (1952) Neurology and the mind-body problem, American Scientist 40, 291-312.

Spinks, C. W. (1991) Peirce and Triadomania: A Walk in the Semiotic Wilderness, Berlin: Mouton de Gruyter.

Spinoza (1677) Ethica, Latin text with a French translation by Charles Appuhn, Paris: J. Vrin, 1977.

Spivey, J. Michael (1992) The Z Notation:  A Reference Manual, 2nd edition, Prentice Hall, Englewood Cliffs, NJ.

Stalnaker, Robert (1976) Propositions, in A. MacKay & D. Merrill, eds., Issues in the Philosophy of Language, Yale University Press, New Haven, CT, pp. 79-91.

Staddon, John (2014) The New Behaviorism, 2nd edition, Psychology Press.

Steele, James, ed. (1990) Meaning-Text Theory, University of Ottawa Press, Ottawa.

Steiner, George (1975) After Babel:  Aspects of Language and Translation, Oxford University Press, Oxford, third edition 1998.

Sterrett, Susan G. (2006) Wittgenstein Flies a Kite, Pi Press, New York.

Stewart, John (1996) Theorem Proving Using Existential Graphs, MS Thesis, Computer and Information Science, University of California at Santa Cruz.

Stjernfelt, Frederik (2007) Diagrammatology: An Investigation on the Borderlines of Phenomenology, Ontology, and Semiotics, Berlin: Springer.

Stjernfelt, Frederik (2014) Natural Propositions: The Actuality of Peirce’s Doctrine of Dicisigns, Boston: Docent Press.

Strausfeld, Nicholas James (2012) Arthropod Brains: Evolution, Functional Elegance, and Historical Significance, Cambrdge, MA: Harvard University Press.

Strawson, Peter F. (1950) On referring, Mind 59, 320-344.

Strawson, Peter F. (1959) Individuals: An Essay in Descriptive Metaphysics, Methuen and Co., London.

Strawson, Peter F. (1992) Analysis and Metaphysics: An Introduction to Philosophy, Oxford: Oxford University Press.

Suzuki, D. T. (1957) Mysticism: Christian and Buddhist, New York: George Allen & Unwinl

Swade, Doron (2001) The Difference Engine: Charles Babbage and the Quest to Build the First Computer, New York: Viking Penguin.

Swartz, Norman (2010) Definitions, Dictionaries, and Meanings, Simon Fraser University.

Bradley, Raymond, & Norman Swartz (1979) Possible Worlds: An introduction to logic and its philosophy, Indianapolis: Hackett.

Sweet, Albert M. (1988) The Pragmatics and Semiotics of Standard Languages, Pennsylvania State University Press, University Park.


Tallerman, Maggie, & Kathleen R. Gibson, eds. (2012) The Oxford Handbook of Language Evolution, Oxford: Oxford University Press.

Talmy, Leonard (1983) How languages structure space, in H. L. Pick & L. P. Acredolo, eds, Spatial Orientation: Theory, Research, and Application, New York: Plenum Press, pp. 225-282.

Talmy, Leonard (2000) Toward a Cognitive Semantics, Volume I:  Concept Structuring Systems, Volume II:  Typology and Process in Concept Structure, Cambridge, MA: MIT Press.

Tarski, Alfred (1929) Foundations of the geometry of solids, in Tarski (1982) pp. 24-29.

Tarski, Alfred (1933) Pojęcie prawdy w językach nauk dedukcynych, German version (1936) Der Wahrheitsbegriff in den formalisierten Sprachen, translated as “The concept of truth in formalized languages,” in Tarski (1982) pp. 152-278.

Tarski, Alfred (1936) Über den Begriff der logischen Folgerung, translated as On the concept of logical consequence in Tarski (1982) pp. 409-420.

Tarski, Alfred (1944) The semantic conception of truth and the foundations of semantics Philosophy and Phenomenological Research 4.

Tarski, Alfred (1982) Logic, Semantics, Metamathematics, Second edition, Indianapolis: Hackett.

Taylor, John R. (2012) The Mental Corpus: How Language is Represented in the Mind, Oxford: Oxford University Press.

Tenny, Carol L., & James Pustejovsky, eds. (2000) Events as Grammatical Objects: The Converging Perspectives of Lexical Semantics and Syntax, CSLI Publications, Stanford, CA.

Tesnière, Lucien (1959) Éléments de Syntaxe structurale, corrected edition, Paris: Librairie C. Klincksieck, 1988. Translated as Elements of Structural Syntax by T. Osborne & S. Kahane, Amsterdam: John Benjamins, 2015.

Thiele, Rüdiger (2003) Hilbert’s twenty-fourth problem, The American Mathematical Monthly 110, January 2003, 1-24.

Thom, René (1972) Stabilité structurelle et Morphogénèse, translated by D. H. Fowler as Structural Stability and Morphogenesis, Westview Press.

Thom, René (1974) Modèles mathématiques de la Morphogénèse. Recueil de textes sur la théorie des catastrophes et ses applications, Union Générale d’Éditions, Paris.

Thom, René (1988) Esquisse d’une Sémiophysique, Paris : InterEditions.

Thomason, Richmond H. (2001) Review of Formal Aspects of Context edited by Bonzon et al., Computational Linguistics 27:4, 598-600.

Thompson, Frederick B., & Bozena Henisz Thompson (1975) Practical natural language processing: the REL system as prototype, in M. Rubinoff & M. C. Yovits, eds., Advances in Computers 13, Academic Press, New York, 109-168.

Thorndike, Edward Lee (1932) The Fundamentals of Learning, New York: Teachers College Press.

Thue, Axel (1914) Probleme über Veränderungen von Zeichenreihen nach gegebenen Regeln, Skrifter utgit av Videnskapsselskapet i Kristiania 1:10.

Tolman, Edward C. (1948) Cognitive maps in rats and men, Psychological Review 55:4, 189-208.

Tomasello, Michael (2003) Constructing a Language:  A Usage-Based Theory of Language Acquisition, Cambridge, MA: Harvard University Press.

Tomasello, Michael (2008) Origins of Human Communication, Cambridge, MA: MIT Press.

Tomasello, Michael (2014) A Natural History of Human Thinking, Cambridge, MA: Harvard University Press.

Tomasello, Michael, & Malinda Carpenter (2007) Shared intentionality, Developmental Science 10:1, 121-125.

Tóth, Imre (1967) Das Parallelproblem im Corpus Aristotelicum, Archive for the History of Exact Sciences, 3:4-5, 249-422.

Tóth, Imre (1969) Non-euclidean geometry before Euclid, Scientific American, 221:5, November 1969, pp. 87-98.

Tóth, Imre (2010) Fragmente und Spuren nichteuklidischer Geometrie bei Aristoteles, Berlin: de Gruyter.

Troelstra, Anne Sjerp (1992) Lectures on Linear Logic, CSLI, Stanford, CA.

Tsichritzis, Dionysios C., & Anthony Klug, eds. (1978) The ANSI/X3/SPARC DBMS framework, Information Systems 3, 173-191.

Tufte, Edward R. (1997) Visual Explanations: Images and Quantities, Evidence and Narrative, Graphics Press.

Tulving, Endel (1972) Episodic and semantic memory, in E. Tulving & W. Donaldson, eds., Organization of Memory, Academic Press, New York.

Turing, Alan M. (1936) On computable numbers with an application to the EntscheidungsProblem, Proc. London Mathematical Society 2:2, 1936-37, pp. 230-265.

Turing, Alan M. (1939) Systems of logic based on ordinals, Proc. London Mathematical Society, Ser 2, Vol 45, pp. 161-228. Reprinted in Davis (1965) pp. 155-222.

Turing, Alan M. (1950) Computing machinery and intelligence, Mind 49 433-480.

Turing, Alan M. (1952 The chemical basis of morphogenesis, Philosophical transactions of the Royal Society B 37:641, 37-72.

Turing, Alan M. (1970) Intelligent machinery, in B. Meltzer and D. Michie, eds., Machine Intelligence 5, American Elsevier, NY, pp. 3-23. Originally written in 1947.

Turner, Raymond (1990) Truth and Modality for Knowledge Representation, MIT Press, Cambridge, MA.

Tversky, Amos (1972) Elimination by aspects: A theory of choice, Psychological Review 79, 281-299.

Tye, Michael (2018) Qualia, Stanford Encyclopedia of Philosophy, .


Uexküll, Jakob Johann von (1920) Theoretische Biologie, Berlin: Verlag von Gebrüder Paetel

Uexküll, Jakob Johann von (1934) Streifzüge durch die Umwelten von Tieren und Menschen, English translation in Uexküll (2010).

Uexküll, Jakob Johann von (1940) Bedeutungslehre, English translation in Uexküll (2010).

Uexküll, Jakob Johann von (2010) A Foray into the Worlds of Animals and Men with A Theory of Meaning, translated by J. D. O’Neil, Minneapolis: University of Minnesota Press.

Ungar, A. M. (1992) Normalization, Cut-Elimination, and the Theory of Proofs, CSLI, Stanford, CA.

Unger, Peter (2014) Empty Ideas: A Critique of Analytic Philosophy, Oxford University Press.

Urmson, J. O. (1990) The Greek Philosophical Vocabulary, London: Duckworth.


Vaihinger, Hans (1924) Die Philosophie des Als Ob, Felix Meinder Verlag, Leipzig. Translated by C. K. Ogden as The Philosophy of As If, second edition, Routledge & Kegan Paul, London, 1935.

van Benthem, Johan (1983) The Logic of Time, Dordrecht: Reidel, second edition 1991.

van Benthem, Johan (1995) Temporal logic, in Gabbay et al. (1995) pp. 241-350.

van Benthem, Johan (2006) A mini-guide to logic in action, in F. Stadler & M. Stoelzer, eds., Time and History, Frankfurt: Ontos Verlag, pp. 419-440.

van Benthem, Johan (2006) Where is logic going — and should it? Topoi 25, 117-122.

van Benthem, Johan (2007) Cognition as interaction, in G. Bouma, I. Krämer, & J. Zwarts, eds., Cognitive Foundations of Interpretation, Amsterdam: KNAW, pp. 27-38.

van Benthem, Johan (2007) Is there still logic in Bolzano’s key?

van Benthem, Johan (2008) A brief history of natural logic, In M Chakraborty, B Löwe, M. Nath Mitra & S. Sarukkai (eds.), Logic, Navya-Nyaya and Applications: Homage to Bimal Krishna Matilal, London: College Publications.

van Benthem, Johan (2011) Logical Dynamics of Information and Interaction, Cambridge University Press.

van Benthem, Johan, & Fernando R. Velázquez-Quesada (2010) The dynamics of awareness, Synthese 177, 5-27.

van Deemter, Kees, & Stanley Peters (1996) Semantic Ambiguity and Underspecification, CSLI, Stanford, CA.

van Deemter, Kees (2010) Not Exactly: In Praise of Vagueness, Oxford University Press.

Vandeloise, Claude (1986) L’espace en Français: Sémantique des Prépositions spatiales, translated by A. R. K. Bosch as Spatial Prepositions: A Case Study from French, Chicago: University of Chicago Press, 1991.

van den Berg, Martin H. (1996) Some Aspects of The Internal Structure of Discourse. The Dynamics of Nominal Anaphora, Ph.D. thesis, ILLC/Department of Computational Linguistics, Amsterdam.

van der Hoek, Wiebe, & Michael Wooldridge (2008) Multiagent systems, in van Harmelen et al., eds. (2008) pp. 887-928.

van der Veer, René, & Jaan Valsiner, eds. (1994) The Vygotsky Reader, Oxford: Blackwell.

van Frassen, Bas C. (1966) Singular terms, truth-value gaps, and free logic, Journal of Philosophy 63, 481-495.

van Harmelen, Frank, Vladimir Lifschitz, & Bruce Porter, eds. (2008) Handbook of Knowledge Representation, Amsterdam: Elsevier.

van Heijenoort, Jean (1967) From Frege to Gödel, Cambridge, MA: Harvard University Press.

van Inwagen, Peter (2001) Ontology, Identity, and Modality: Essays in Metaphysics, Cambridge University Press, Cambridge.

van Polanen Petel, Humphrey P. (2006) Universal grammar as a theory of notation, Axiomathes 61, 460-485.

van Polanen Petel, Humphrey P. (2007) A perceptual account of definitions; Axiomathes online, DOI 10.1007/s10516-006-9001-9.

Van Valin, Robert D., Jr., & Randy J. LaPolla (1997) Syntax: Structure, Meaning, and Function Cambridge: University Press.

Varela, Francisco J., Evan Thompson, & Eleanor Rosch (1991) The Embodied Mind: Cognitive Science and Human Experience, MIT Press, Cambridge, MA.

Velardi, Paola, Maria Teresa Pazienza, & Mario De’ Giovanetti (1988) Conceptual graphs for the analysis and generation of sentences, IBM J. of Research & Development 32:2, 251-267.

Velardi, Paola, Maria Teresa Pazienza, & M. Fasolo (1991) How to encode semantic knowledge: a method for learning representation, Computational Linguistics 17:2, 153-170.

Veltman, Frank C. (1996), Defaults in Update Semantics, Journal of Philosophical Logic 25, 221-261.

Venn, John (1881) Symbolic Logic, London: Macmillan.

Vertosick, Frank T., Jr. (2002) The Genius Within: Discovering the intelligence of every living thing, New York: Harcourt.

Vogt, Paul (2002) The physical symbol grounding problem, Cognitive Systems Research 3:3, 429-457.

Vygotsky, Lev Semenovich (1934) Thought and Language, MIT Press, Cambridge, MA, 1962.


Wagner, Christian (2006) Breaking the knowledge acquisition bottleneck through conversational knowledge management, Information Resources Management Journal 19:1, 70-83.

Wagner, Gerd (1994) Vivid Logic, LNAI 764, Berlin: Springer.

Wahlster, Wolfgang, Elisabeth André, Wolfgang Finkler, Hans-Jürgen Profitlich, & Thomas Rist (1993) Artificial Intelligence, vol. 63, pp. 387-427.

Waddington, C. H. (1957) The Strategy of the Genes, London: George Allen & Unwin.

Waismann, Friedrich (1952) Verifiability, in A. Flew, ed., Logic and Language, first series, Oxford: Blackwell.

Waismann, Friedrich (1979) Ludwig Wittgenstein and the Vienna Circle. Conversations Recorded by Friedrich Waismann, Oxford: Blackwell.

Walker, Adrian (ed), Michael McCord, John F. Sowa, & Walter Wilson (1990) Knowledge Systems and Prolog, second edition, Addison-Wesley, Reading, MA.

Walton, Douglas (2008) Informal Logic: A Pragmatic Approach, Second Edition, Cambridge: Cambridge University Press.

Waltz, David L., & Jordan B. Pollack (1985) Massively parallel parsing, Cognitive Science 9:1, 51-74.

Wang, Hao (1960) Toward mechanical mathematics, IBM Journal of Research and Development 4, 2-22.

Wang, Hao (1963) Mechanical mathematics and inferential analysis, in F. Braffort & D. Hirschberg, eds., Computer Progrmming and Formal Systems, Amsterdam: North Holland, pp. 1-20.

Wang, Hao (1974) From Mathematics to Philosophy, London: Routledge & Kegan Paul.

Wang, Hao (1986) Beyond Analytic Philosophy: Doing Justice to What We Know, MIT Press, Cambridge, MA.

Wang, Hao (1987) Reflections on Kurt Gödel, MIT Press, Cambridge, MA.

Warmer, Jos, & Anneke Kleppe (1999) The Object Constraint Language: Precise Modeling with UML, Addison-Wesley, Reading, MA.

Warren, David H.D., & Fernando C.N. Pereira (1982) An efficient easily adaptable system for interpreting natural language queries, Computational Linguistics, 8:3-4, 110-122.

Watson, John B. (1913) Psychology as the behaviorist views it, Psychological Review 20, 158-177.

Watson, John B. (1913) Is thinking merely the action of language mechanisms? British Journal of Psychology 11, 87-104.

Watson, Robert I. (1963) The Great Psychologists from Aristotle to Freud, New York: Lippencot, pp. 209-210.

Way, Eileen C. (1991) Knowledge Representation and Metaphor, Dordrecht: Kluwer.

Way, Eileen C., ed. (1992) Journal of Experimental and Theoretical Artificial Intelligence (JETAI), Special Issue on Conceptual Graphs, vol. 4, no. 2.

Weaver, Warren (1949) Translation, Memorandum, Rockefeller Foundation Archives.

Webb, Taylor W., & Michael S. A. Graziano (2015) The attention schema theory: a mechanistic account of subjective awareness, Frontiers in Psychology,

Webelhuth, Gert, ed. (1995) Government and Binding Theory and the Minimalist Program, Oxford: Blackwell.

Weber, Bruce H., & David J. Depew, eds. (2003) Evolution and Learning: The Baldwin Effect Reconsidered, Cambridge, MA: MIT Press.

Weinberg, Gabriel, & Lauren McCann (2019) Super Thinking: The Big Book of Mental Models, New York: Penguin.

Weinreich, Uriel (1963) Soviet Lexicology, in Weinreich (1980) pp. 315-358.

Weinreich, Uriel (1980) On Semantics, ed. by W. Labov & B. S. Weinreich, University of Pennsylvania Press, Philadelphia.

Wertheimer, Max (1925) Über Gestalttheorie translated as Gestalt Theory, by W. D. Ellis, Source Book of Gestalt Psychology, Harcourt, Brace and Co, New York 1938.

Wertheimer, Max (1945) Productive Thinking, enlarged edition, Chicago: University of Chicago Press, 1982.

West, Matthew (2010) Developing High Quality Data Models, Amsterdam: Elsevier.

Wettstein, Howard K. (1991) Has Semantics Rested on a Mistake? Stanford: Stanford University Press.

Whately, Richard (1855) Elements of Logic, ninth edition, Boston: James Munrow.

Wheeler, Samuel C., III (2000) Deconstruction as Analytic Philosophy, Stanford: Stanford University Press.

Whewell, William (1858) History of Scientific Ideas, London: J. W. Parker & Son.

White, A. R. (1975) Conceptual analysis, in C. J. Bontempo & S. J. Odell, eds., The Owl of Minerva, New York: McGraw-Hill, pp. 103-117.

Whitehead, Alfred North (1898) A Treatise on Universal Albebra, Cambridge: Cambridge University Press.

Whitehead, Alfred North (1901) Memoir on the algebra of symbolic logic, American Journal of Mathematics XXIII.

Whitehead, Alfred North (1911) An Introduction to Mathematics, H. Holt & Co., New York.

Whitehead, Alfred North (1916) The Organisation of Thought, Proceedings of the Aristotelian Society, New Series, Vol. 17, pp. 58-76.

Whitehead, Alfred North (1919) An Enquiry Concerning the Principles of Natural Knowledge, Cambridge University Press, Cambridge.

Whitehead, Alfred North (1920) The Concept of Nature, Cambridge University Press, Cambridge.

Whitehead, Alfred North (1925) Science and the Modern World, Mentor, New York.

Whitehead, Alfred North (1926) Religion in the Making, Fordham University Press, Bronx, NY, 1996.

Whitehead, Alfred North (1929) Process and Reality: An Essay in Cosmology, corrected edition edited by D. R. Griffin & D. W. Sherburne, Free Press, New York, 1978.

Whitehead, Alfred North (1933) Adventures of Ideas, New York: Macmillan.

Whitehead, Alfred North (1937) Analysis of Meaning, Philosophical Review, reprinted in A. N. Whitehead, Essays in Science and Philosophy, New York: Philosophical Library, pp. 122-131.

Whitehead, Alfred North (1938) Modes of Thought, Macmillan Co., New York.

Whitehead, Alfred North (1941) Immortality, in The Philosophy of Alfred North Whitehead, ed. by P. A. Schilpp, La Salle, IL: Open Court.

Whitehead, Alfred North, & Bertrand Russell (1910) Principia Mathematica, 2nd edition, Cambridge University Press, Cambridge, 1925.

Whorf, Benjamin Lee (1956) Language, Thought, and Reality, Cambridge, MA: MIT Press.

Wickens, Andrew P. (2015) A History of the Brain from Stone Age Surgery to Modern Neuroscience, London: Psychology Press.

Wielinga, Bob, Guus Schreiber, Wouter Jansweijer, Anjo Anewierden, & Frank van Harmelen (1994) Framework and formalism for representing ontologies, Report DO1b.1-Framework-1.1-UvA-BW+GS+WJ+AA, University of Amsterdam.

Wierzbicka, Anna (1980) Lingua Mentalis: the Semantics of Natural Language, Academic Press, New York.

Wierzbicka, Anna (1985) Lexicography and Conceptual Analysis, Karoma.

Wierzbicka, Anna (1987) English Speech Act Verbs, Academic Press, New York.

Wierzbicka, Anna (1988) The Semantics of Grammar, John Benjamins Publishing Co., Philadelphia.

Wierzbicka, Anna (1992) Semantics, Culture, and Cognition, Oxford: Oxford University Press.

Wierzbicka, Anna (1996) Semantics: Primes and Universals, Oxford: Oxford University Press.

Wierzbicka, Anna (2010) Experience, Evidence, Sense: The Hidden Cultural Legacy of English, Oxford University Press.

Wierzbicka, Anna (2014) Imprisoned in English: The Hazards of English as a Default Language, Oxford University Press.

Wigner, Eugene (1960) The unreasonable effectiveness of mathematics in the natural sciences, Communications in Pure and Applied Mathematics 13:1.

Wildgen, Wolfgang (1982) Catastrophe Theoretic Semantics:  An Elaboration and Application of René Thom’s Theory, John Benjamins Publishing Co., Amsterdam.

Wildgen, Wolfgang (1994) Process, Image, and Meaning:  A Realistic Model of the Meaning of Sentences and Narrative Texts, John Benjamins Publishing Co., Amsterdam.

Wildgen, Wolfgang, & Per Aage Brandt (2010) Semiosis and Catastrophes: René Thom’s Semiotic Heritage, Bern: International Academic Publishers.

Wilkins, John (1668) An Essay Towards a Real Character and a Philosophical Language. Reprinted by Scolar Press, Menston, England, 1968.

Wilkins, Wendy, ed. (1988) Syntax and Semantics: Thematic Relations, Academic Press, New York.

Wilks, Yorick A. (1972) Grammar, Meaning, and the Machine Analysis of Language, Routledge and Kegan Paul, London.

Wilks, Yorick A. (1975) A preferential pattern-seeking semantics for natural language inference, Artificial Intelligence, vol. 10, pp. 75-97.

Wilks, Yorick (1975) An intelligent analyzer and understander of English, Comm. ACM 18:5, 264-274.

Wilks, Yorick (1983) Deep and superficial parsing, in King (1983) 219-246.

Wilks, Yorick, & Dan Fass (1992) The preference semantics family, in Lehmann (1992) pp. 205-222.

Wilks, Yorick, & Christopher Brewster (2009) Natural language processing as a foundation for the semantic web, Foundations and Trends in Web Science 1:3-4, 199-327.

Wille, Rudolf (1992) Concept lattices and conceptual knowledge systems, Computers and Mathematics with Applications, vol. 23, pp. 493-515.

Williamson, Timothy (1994) Vagueness, Routledge, London.

Wilson, Aaron Bruce (2016) Peirce’s Empiricism: It’s Roots and Its Originality, Lanham, MD: Lexington Books.

Wilson, Walter (1990) Programming techniques in Prolog, in Walker et al. (1990).

Winograd, Terry (1972) Understanding Natural Language, New York: Academic Press.

Winograd, Terry (1983) Language as a Cognitive Process. Volume I: Syntax, Reading, MA: Addison-Wesley.

Winograd, Terry, & Fernando Flores (1986) Understanding Computers and Cognition, Norwood, NJ: Ablex.

Winston, Patrick Henry, (1975a) Learning structural descriptions from examples, in Winston (1975b) 157-209.

Winston, Patrick Henry, ed. (1975b) The Psychology of Computer Vision, New York: McGraw-Hill.

Wintraecken, J. J. (1990) The NIAM Information Analysis Method: Theory & Practice, Kluwer Academic Publishers, Dordrecht.

Witten, Ian H., Alistair Moffat, & Timothy C. Bell (1994) Managing Gigabytes: Compressing and Indexing Documents and Images, Van Nostrand Reinhold, New York.

Wittgenstein, Ludwig (1921) Tractatus Logico-Philosophicus, Routledge & Kegan Paul, London.

Wittgenstein, Ludwig (1953) Philosophische Untersuchungen, translated as Philosophical Investigations by G. E. M. Anscombe, P. M. S. Hacker, & Joachim Schulte, revised 4th edition, Oxford: Wiley-Blackwell, 2009.

Wittgenstein, Ludwig (1958) The Blue and Brown Books, Oxford: Blackwell.

Wittgenstein, Ludwig (1964) Philosophische Bemerkungen, ed. by Rush Rhees, translated as Philosophical Remarks by Raymond Hargreaves and Roger White, University of Chicago Press, Chicago, 1980.

Woods, William A. (1968) Procedural semantics for a question-answering machine, AFIPS Conference Proc., 1968 FJCC, 457-471.

Woods, William A., R. M. Kaplan, & B. L. Nash-Webber (1972) The LUNAR Sciences Natural Language System, Final Report, NTIS N72-28984.

Woods, William A. (1975) What’s in a link: foundations for semantic networks, in D. G. Bobrow & A. Collins, eds. (1975) Representation and Understanding, Academic Press, New York, pp. 35-82.

Woods, William A., & James G. Schmolze (1992) The KL-ONE Family, in Lehmann (1992) pp. 133-177.

Woods, John (2010) Making too much of possible worlds, in G. Imaguire & D. Jacquette, eds., Possible Worlds: Logic, Semantics, and Ontology, Munich: Philosophia Verlag.

Wooldridge, Michael J., & Nicholas R. Jennings (1995a) Agent theories, architectures, and languages: A survey, in Wooldridge & Jennings (1995b), pp. 1 ff.

Wooldridge, Michael J., & Nicholas R. Jennings, eds. (1995b) Intelligent Agents, LNAI 890, Berlin: Springer.

Wolff, Karl Erich, Heather D. Pfeiffer, & Harry S. Delugach (2004) Conceptual Structures at Work, Proceedings of ICCS 2004, LNAI 3127, Berlin: Springer.

Wos, Larry (1988) Automated Reasoning: 33 Basic Research Problems, Englewood Cliffs, NJ: Prentice Hall.

Wos, Larry (1998) Programs that offer fast, flawless, logical reasoning, Communications of the ACM 41:6, 87-95.

Wright, Crispin (1980) Wittgenstein on the Foundations of Mathematics, Cambridge, MA: Harvard University Press

Wright, J. R., E. S. Wexelbaum, G. T. Vesonder, K. E. Brown, S. R. Palmer, J. I. Berman, & H. H. Moore (1993) A knowledge-based configurator that supports sales, engineering, and manufacturing at AT&.T Network Systems, AI Magazine 14:3, 69-80.



Yager, Ronald R., Janusz Kacprzyk, & Mario Fedrizzi, eds. (1994) Advances in the Dempster-Shafer Theory of Evidence, Wiley & Sons, New York.

Yang, Charles D. (2004) Universal Grammar, statistics or both? Trends in Cognitive Sciences 8:10, 451-456.

Yates, Frances A. (1966) The Art of Memory, Chicago: University Press.

Yates, Frances A. (1982) Lull and Bruno, London: Routledge & Kegan Paul.

Yokoi, Toshio (1995) The EDR electronic dictionary, Communications of the ACM 38:11, 42-44.

Yourgrau, Palle (1999) Gödel Meets Einstein: Time Travel in the Gödel Universe, Open Court, Chicago.


Zachman, John A. (1987) A framework for information systems architecture, IBM Systems Journal 26:3, 276-292.

Zadeh, Lotfi A. (1965) Fuzzy sets, Information and Control 8, 338-353.

Zadeh, Lotfi A. (1975) Fuzzy logic and approximate reasoning, Synthese 30, 407-428.

Zadeh, Lotfi A. (1986) A simple view of the Dempster-Shafer theory of evidence and its implication for the rule of combination, AI Magazine 7:2, Summer 1986, pp. 85-90.

Zadrozny, W., & M. M. Kokar (1990) A logical model of machine learning: A study of vague predicates, in P. Benjamin, ed., Change of Representation and Inductive Bias, Dordrecht: Kluwer.

Zadrozny, Wlodek (1994) Reasoning with background knowledge — a three-level theory, Computational Intelligence, vol. 10, no. 2, pp. 150-184.

Zahar, Elie (2001) Poincaré’s Philosophy: From Conventionalism to Phenomenology, Open Court, Chicago.

Zalamea, Fernando (2012) Peirce’s Logic of Continuity, Boston: Docent Press.

Zarri, Gian Piero (2009) Representation and Management of Narrative Information: Theoretical Principles and Implementation, London: Springer.

Zeki, Semir (1993) A Vision of the Brain, Oxford: Blackwell.

Zeman, Daniel, & Zdeněk Žabokrtský (2005) Improving parsing accuracy by combining diverse dependency parsers, Proc. IWPT-05, ACL, pp. 171-178.

Zeman, Jay (1997) The tinctures and implicit quantification over worlds, in Brunning & Forster (1997) pp. 96-119.

Zimbel, Roland (1991) Graphische Spezifikationen: Ein graphik-adäquater, objektzentrierter Kalkül zur Entwicklung korrekter Programme, PhD Dissertation, University of Karlsruhe, Forschungszentrum Informatik.

Zipf, George K. (1932). Selective studies and the principle of relative frequency in language, Cambridge, MA: Harvard University Press.

Zipf, George K. (1949) Human Behavior and the Principle of Least Effort, Cambridge, MA: Harvard University Press.

Copyright ©2002, 2021 by John F. Sowa. Permission is hereby granted for anyone to make verbatim copies of this document for teaching, self-study, or other noncommercial purposes provided that the copies cite the author, the URL of this document, and this permission statement. Please send comments and corrections to

  Last Modified: