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.
Index: A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V, W, X, Y, Z.
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, Kluwer Academic Publishers, Dordrecht.
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, Harvard University Press, Cambridge, MA.
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.
Allerton, D. J. (1982) Valency and the English Verb, Academic Press, New York.
Almog, Joseph, John Perry, & Howard Wettstein (1989) Themes from Kaplan, Oxford University Press, Oxford.
Allwein, Gerard, & Jon Barwise (1996) "Logical Reasoning with Diagrams," Oxford University Press, Oxford.
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.
Anderson, Alan Ross, & Nuel D. Belnap, Jr. (1975) Entailment: The Logic of Relevance and Necessity, Princeton University Press, Princeton.
Anderson, John R., & Gordon H. Bower (1980) Human Associative Memory: A Brief Edition, Lawrence Erlbaum Associates, Hillsdale, NJ.
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.
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
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., A. J. Kfoury, & Robert N. Moll (1981)
A Basis for Theoretical Computer Science,
Springer-Verlag, New York.
Arens, Hans (1984) Aristotle's Theory of Language and its
Tradition, John Benjamins Publishing Co., Amsterdam.
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,
Harvard University Press, Cambridge, MA.
Aristotle, Metaphysics,
Harvard University Press, Cambridge, MA.
Aristotle, Posterior Analytics, Topica,
Harvard University Press, Cambridge, MA.
Aristotle, On the Soul, Parva Naturalia, On Breath, Harvard
University Press, Cambridge, MA.
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,
Duckworth Publishers, London.
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.
Baader, Franz, Bernhard Hollunder, Bernhard Nebel,
Hans-Jürgen Profitlich, & Enrico Franconi (1992)
"An empirical analysis of optimization techniques for terminological
representation systems," Proceedings of the 3rd International
Conference on Principles of Knowledge Representation and Reasoning,
Cambridge, MA.
Baader, Franz, Diego Calvanese, Deborah McGuinness, Daniele Nardi,
Peter Patel-Schneider (2003) Description Logic Handbook,
Cambridge University Press, Cambridge.
Bach, Emmon (1989) Informal Lectures on Formal Semantics,
SUNY Press, Albany.
Bachman, C. 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.
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.
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.
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.
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.
Bartlett, Frederic C. (1932) Remembering,
Cambridge University Press, Cambridge.
Barwise, Jon, & John Perry (1983) Situations and Attitudes,
MIT Press, Cambridge, MA.
Barwise, J., J. M. Mark Gawron, G. Plotkin, & S. Tutiya, eds. (1991)
Situation Theory and its Applications, CSLI, Stanford, CA.
Barwise, Jon, & John Etchemendy (1987) The Liar: An Essay
on Truth and Circularity, Oxford University Press, New York.
Barwise, Jon, & John Etchemendy (1993) Tarski's World,
CSLI Publications, Stanford, CA.
Barwise, Jon, & Jerry Seligman (1997) Information Flow: The
Logic of Distributed Systems, Cambridge University Press, Cambridge.
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.
Beiser, Frederick C. (1987) The Fate of Reason: German Philosophy
from Kant to Fichte, Harvard University Press, Cambridge, MA.
Bennett, Maxwell R., & Peter M. S. Hacker (2003)
Philosophical Foundations of Neuroscience, Blackwell, Oxford.
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.
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,
http://www.w3.org/DesignIssues/Toolbox.html.
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,
Springer-Verlag, London.
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.
Binnick, Robert I. (1991) Time and the Verb,
Oxford University Press, Oxford.
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, Springer-Verlag, Berlin.
Bledsoe, Woody W. (1977) "Non-resolution theorem proving,"
Artificial Intelligence 9, pp. 1-35.
Bloomfield, Leonard (1914) An Introduction to Language,
reprinted by J. Benjamins, Amsterdam, 1983.
Bloomfield, Leonard (1933) Language,
Holt, Rinehart, & Winston, New York.
Blum, Lenore, Felipe Cucker, Michael Shub, Steve Smale (1998)
Complexity and Real Computation, Springer-Verlag, Berlin.
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, Chelsea Publishing Co., New York, 1970.
Bod, Rens (1998) Beyond Grammar: An Experience-Based Theory
of Language, CSLI, Stanford, CA.
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, Springer-Verlag, Berlin.
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.
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, Kluwer, Boston.
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,
Harvard University Press, Cambridge, MA.
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.
Born, Max (1949) Natural Philosophy of Cause and Chance,
Dover Publications, New York.
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, vol. 16, no. 10, pp. 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.
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, Harvard University Press, Cambridge, MA.
Bray, Tim (1998) "RDF and Metadata,"
http://www.xml.com/xml/pub/98/06/rdf.html.
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,
Clarendon Press, Oxford.
Brentano, Franz (1862) Von der mannigfachen Bedeutung des
Seienden nach Aristoteles, translated as On the Several
Senses of Being in Aristotle, University of California Press,
Berkeley, 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, Routledge, London.
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.
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, pp. 139-159.
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.
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.
Buchanan, Bruce G., & Edward H. Shortliffe, eds. (1984)
Rule-Based Expert Systems, Addison-Wesley, Reading, MA.
Buchholz, Werner, ed. (1962) Planning a Computer System,
McGraw-Hill, New York.
Bundy, Alan, & Fiona McNeill (2006) "Representation as a fluent:
An AI challenge for the next half century,"
IEEE Intelligent Systems 21:3, pp. 85-87.
Bunt, Harry (1985) Mass Terms and Model-Theoretic Semantics,
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.
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.
Bylander, Tom, Dean Allemang, Michael C. Tanner,
& John R. Josephson (1991) "The computational complexity
of abduction," Artificial Intelligence, vol. 49, pp. 25-60.
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.
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,
English translation The Logical Structure of the World,
University of California Press, Berkeley, 1967.
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,
University of Chicago Press, Chicago. 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, Open Court Press,
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.
Carriero, Nicholas, & David Gelernter (1992) How to Write
Parallel Programs, MIT Press, Cambridge, MA.
Carstairs-McCarthy, Andrew (1999) The Origins of Complex Language,
Oxford University Press, Oxford.
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.
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, pp. 9-36.
Chen, Weidong, Michael Kifer, & David S. Warren (1993)
"Hilog: A Foundation for Higher-Order Logic Programming,"
Journal of Logic Programming 15:3, pp. 187-230.
Cherry, E. Colin (1962) "Why we have two ears,"
Advancement of Science, Sept. 1962, 218-221.
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 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,
MIT Press, Cambridge, MA.
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.
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 (1958) The ontological status of women and abstract
entities, Lecture presented at Harvard University on April 18, 1958,
available at http://www.jfsowa.com/church.htm
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.
Codd, Edgar F. (1970) "A relational model of data for large shared
data banks," Comm. ACM 13:6, 377-387.
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, pp. 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 University Press, Cambridge.
Cohen, Philip R., & Hector J. Levesque (1990) "Intention is
choice with commitment," Artificial Intelligence
42:3, 213-261.
Cohn, Anthony G. (1997) "Qualitative spatial representation and
reasoning techniques," in Brewka et al. (1997) pp. 1-30.
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, 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.
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. (1952) 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.
Cresswell, M. J. (1990) Entities and Indices,
Kluwer Academic Publishers, Dordrecht.
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 University Press, Oxford.
Croft, William, & D. Alan Cruse (2004) Cognitive Linguistics,
Cambridge University Press, Cambridge.
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 University Press, Oxford.
Culicover, Peter W., & Ray Jackendoff (2005) Simpler Syntax,
Oxford University Press, Oxford.
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, Springer-Verlag, Berlin, 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. (1999) The Feeling of What Happens: Body and
Emotion in the Making of Consciousness, Harcourt, Brace & Co., New York.
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.
Davidson, Donald (1967) "The logical form of action sentences,"
reprinted in D. Davidson (1980) Essays on Actions and Events,
Clarendon Press, Oxford, pp. 105-148.
Davis, Ernest (1990) Representations of Commonsense Knowledge,
Morgan Kaufmann Publishers, San Mateo, CA.
Davis, Randall, Howard Schrobe, & Peter Szolovits (1993)
"What is a knowledge representation?" AI Magazine,
14:1, 17-33.
Deacon, Terrence W. (1997) The Symbolic Species: The Co-evolution
of Language and the Brain, W. W. Norton, New York.
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.
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.
de Groot, Adriaan D. (1965) Thought and Choice in Chess,
Mouton, The Hague.
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.
de Moor, Aldo, Wilfried Lex, & Bernhard Ganter, eds. (2003)
Conceptual Structures for Knowledge Creation and Communication,
LNAI 2746, Springer-Verlag, Berlin.
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,
Basic Books, New York.
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, & Duska Rosenberg (1996) Language at Work,
CSLI Publications, Stanford, CA.
de Waal, Frans (2005) Our Inner Ape: Power, Sex, Violence,
Kindness, and the Evolution of Human Nature, Penguin Group, New York.
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, Springer-Verlag, Berlin.
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.
Donald, Merlin (1991) Origins of the Modern Mind: Three Stages in the
Evolution of Culture and Cognition, Harvard University Press,
Cambridge, MA.
Doyle, Jon (1979) "A truth-maintenance system,"
Artificial Intelligence 12:3, 231-272.
Donnellan, Keith (1966) "Reference and definite descriptions,"
Philosophical Review 75, 281-304.
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,
MIT Press, Cambridge, MA.
Dreyfus, Hubert L. (1992) What Computers Still Can't Do:
A Critique of Artificial Reason, MIT Press, Cambridge, MA.
Dummet, Michael (1981) The Interpretation of Frege’s Philosophy,
Duckworth, London.
Dummett, Michael (1993) Origins of Analytical Philosophy,
Harvard University Press, Cambridge, MA.
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,
North-Holland, Amsterdam, pp. 87-100.
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.
Eddington, Arthur Stanley (1928) The Nature of the Physical
World, Cambridge University Press, Cambridge.
Einstein, Albert (1905) "Zur Elektrodynamik bewegter Körper,"
"On the electrodynamics of moving bodies,"
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, Springer-Verlag, Berlin,
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.
Engel, Joshua (1999) Programming for the Java Virtual Machine,
Addison-Wesley, Reading, MA.
Englebretsen, George (1990) Essays on the Philosophy of
Fred Sommers, Edwin Mellen Press, Lewiston, NY.
Semantic Principles, Oxford University Press, New York.
Erdmann, Michael (1998)
"Formal concept analysis to learn from Sisyphus-III Material,"
Proceedings of KAW'98, Calgary.
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, Springer-Verlag, Berlin, 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.
Evans, Thomas G. (1963) A Heuristic Program to Solve Geometric-Analogy
Problems, abridged version in Minsky (1968), pp. 271-353.
Fahlman, Scott E. (1979) NETL: A System for Representing and Using
Real-World Knowledge, MIT Press, Cambridge, MA.
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, Anita, & Soloman Feferman (2004)
Alfred Tarski: Life and Logic, Cambridge University Press.
Fellbaum, Christiane, ed. (1998)
WordNet:
An Electronic Lexical Database, MIT Press, Cambridge, MA.
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,
Academic Press, New York.
Fodor, Jerry A. (1975) The Language of Thought,
Harvard University Press, Cambridge, MA.
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.
Förster, Eckart (2000) Kant's Final Synthesis: An Essay on the
Opus postumum, Harvard University Press, Cambridge, MA.
Fox, Chris, & Shalom Lappin (2005) Foundations of Intensional
Semantics, Blackwell, Oxford.
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,
Harvard University Press, Cambridge, MA, pp. 1-82.
Frege, Gottlob (1884) Die Grundlagen der Arithmetik,
tr. by J. L. Austin as The Foundations of Arithmetic,
Blackwell, Oxford, 1953.
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,
Harvard University Press, Cambridge, MA.
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,
WGBH Educational Foundation, Boston.
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.
Gabbay, Dov M. (1994) What is a Logical System,
Clarendon Press, Oxford.
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, Clarendon Press, Oxford.
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, Springer-Verlag, Berlin.
Gärdenfors, Peter (1988) Knowledge in Flux: Modeling the
Dynamics of Epistemic States, MIT Press, Cambridge, MA.
Gärdenfors, Peter (2000) Conceptual Spaces: The Geometry
of Thought, MIT Press, Cambridge, MA.
Gärdenfors, Peter, & Mary Anne Williams (2001) "Reasoning about
categories in conceptual spaces," Proc. IJCAI'01, pp. 385-392.
Gärdenfors, Peter (2003) How Homo Became Sapient: The Evolution
of Thought, Oxford University Press, Oxford.
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 (199x) "Nonmonotonic inference
based on exceptions," Artificial Intelligence
65, pp. 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,
McGraw-Hill Book Co., New York.
Garner, Brian J., & Tsui, Eric (1988) "General purpose inference engine
for canonical graph models," Knowledge Based
Systems 1:5, pp. 266-278.
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.
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 http://logic.stanford.edu/kif/dpans.html.
Gentzen, Gerhard (1935) "Untersuchungen über das logische
Schließen," translated as "Investigations into logical
deduction" in The Collected Papers of Gerhard Gentzen,
ed. and translated by M. E. Szabo, 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, Springer-Verlag, Berlin.
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, Springer-Verlag, Berlin, 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,
Springer-Verlag, Berlin, 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, Springer-Verlag, Berlin.
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,
vol. 9, no. 4, pp. 309-333.
Glasgow, Janice, N. Hari Narayanan, & B. Chandrasekaran, eds. (1995)
Diagrammatic Reasoning: Cognitive and Computational
Perspectives, MIT Press, Cambridge, MA.
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 University Press, Oxford.
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,
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,
Open Court, La Salle, IL, 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
http://www-psych.stanford.edu/~jbt/224/Gopnik_1.html
Grandin, Temple (1995) Thinking in Pictures and Other Reports
from my Life with Autism, Vintage Books, New York.
Grandin, Temple, & Catherine Johnson (2004) Animals in Translation:
Using the Mysteries of Autism to Decode Animal Behavior,
Scribner, New York.
Gray, J. Glenn (1977) "Heidegger on remembering and remembering
Heidegger," Man and World, vol. 10, pp. 77
Greenspan, Stanley I., & Stuart G. Shanker (2004) The First Idea:
How Symbols, Language, and Intelligence Evolved from Our Primate Ancestors
to Modern Humans, Da Capo Press, Cambridge, MA.
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, pp. 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 http://www.research.ibm.com/iagents/.
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, http://www.research.ibm.com/people/g/grosof/.
Grosz, Barbara J., & Candace L. Sidner (1986) "Attention, intentions,
and the structure of discourse," Computational Linguistics,
12:3, pp. 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, Springer-Verlag, Berlin, pp. 159-170.
Extended presentation available in Technical Report INS-R9701,
ftp://ftp.cwi.nl/pub/pdg/R9701.ps.Z.
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. http://www.w3.org/2002/06/lbase/
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.
Haas, Norman, & Gary G. Hendrix (1983) "Learning by being told,"
in R. S. Michalski, J. G. Carbonell, & T. M. Mitchell,
Machine Learning, Tioga Publishing Co., Palo Alto, 405-427.
Hadamard, Jacques (1945)
The Psychology of Invention in the Mathematical Field,
Princeton University Press, Princeton.
Hallaq, Wael B. (1993) Ibn Taymiyya Against the Greek
Logicians, Clarendon Press, Oxford.
Halliday, M.A.K. (1978) Language as Social Semiotic:
The Social Interpretation of Language and Meaning,
University Park Press, Baltimore.
Halliday, M.A.K. & R. Hasan (1976) Cohesion in English,
Longman, London.
Halliday, M.A.K. & Christian M.I.M. Matthiessen (1999) Construing
Experience Through Meaning: A Language-Based Approach to Cognition,
Cassell, London.
Hamlyn, D. W. (1968) "Translation, introduction, and notes to
Aristotle's De Anima," Clarendon Press, Oxford.
Second edition 1993.
Hamming, Richard (1962) Numerical Methods for Scientists and
Engineers, McGraw-Hill, New York.
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-Verlag.
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 (1989) The Philosophies of Science,
Oxford University Press, Oxford.
Harris, Randy Allen (1993) The Linguistics Wars,
Oxford University Press, New York.
Harris, Roy (1987) Reading Saussure, Duckworth, London.
Harris, Roy (1988) Language, Saussure, and Wittgenstein:
How to Play Games with Words, Routledge, London.
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.
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,
Open Court, La Salle, IL.
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, Henry Holt & Co., New York.
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.
http:reliant.teknowledge.com/IJCAI01/HayesMenzel-SKIF-IJCAI2001.pdf
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.
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.
Hendrick, Vincent F. (2001) The Convergence of Scientific Knowledge:
A View from the Limit, Kluwer, Dordrecht.
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.
Henkin, Leon (1961) "Some remarks on infinitely long formulas,"
in Infinitistic Methods: Proc. Symposium on Foundations of
Mathematics, Pergamon Press, London, pp. 176-183.
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.
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, Springer-Verlag, Berlin.
Hewitt, Carl (1971) Description and Theoretical Analysis
(using Schemata) of PLANNER, PhD dissertation,
AI Memo 258, MIT, Cambridge, MA.
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.
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 University Press, Oxford.
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, Clarendon Press, Oxford.
Hintikka, Jaakko (1997) The place of C. S. Peirce in the history
of logical theory, in Brunning & Forster (1997) pp. 13-33.
Hintikka, Jaakko, & Jack Kulas (1985) The Game of Language:
Studies in Game-Theoretical Semantics and its Applications,
D. Reidel, Dordrecht.
Hirota, K., ed. (1993) Industrial Applications of Fuzzy
Technology, Springer-Verlag, New York.
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
http://www.cs.toronto.edu/pub/gh/Hirst-MeanNeg-2002.pdf
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, pp. 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.
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.
Holland, John H. (1995) Hidden Order: How Adaptation Builds
Complexity, Basic Books, NY.
Hoopes, James, ed. (1991) Peirce on Signs,
University of North Carolina Press, Chapel Hill.
Paul Hopper (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,
http://www.daml.org/2001/03/daml+oil-index
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.
Hughes, G. E., & M. J. Cresswell (1968) An Introduction to
Modal Logic, Methuen, London.
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.
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.
Husserl, Edmund (1900-01) Logische Untersuchungen,
second edition translated by J. N. Findlay as Logical
Investigations, Routledge & Kegan Paul, London, 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, Kluwer, Dordrecht, 1982.
Hutchins, W. John (1986)
Machine Translation: Past, Present, Future,
Ellis Horwood, Chichester, England.
Ifrah, Georges (2000) The Universal History of Numbers
from Prehistory to the Invention of the Computer,
Wiley & Sons, New York.
ISO/IEC (1997)
High-Level Petri Nets — Concepts, Definitions, and Graphical
Notation, Committee Draft ISO/IEC 15909, version 3.4.
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 University Press, Oxford.
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.
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.
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.
Janik, Allan, & Stephen Toulmin (1973) Wittgenstein's Vienna,
Elephant Paperbacks, Chicago, 1996.
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,
Kluwer, Boston, 1993.
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,
Springer-Verlag, Berlin.
Johnson, David E., & Shalom Lappin (1999) Local constraints
vs. Economy, CSLI Publications, Stanford, CA.
Johnson, Mark (1987) The Body in the Mind,
University of Chicago Press, Chicago.
Johnson, Stephen B. (1997)
"Conceptual graph grammar — a simple formalism for sublanguage,"
Methods of Information 37, 345-352.
Joseph, Sister Miriam (1937) The Trivium: The Liberal Arts of
Logic, Grammar, and Rhetoric, Third edition 1948, reprinted
by Paul Dry Books, 2002.
Kahn, Charles H. (1979) The Art and Thought of Heraclitus,
Cambridge University Press, Cambridge.
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, & Uwe Reyle (1993) From Discourse to Logic,
Kluwer, Dordrecht.
Kamp, Hans (2001) "Levels of linguistic meaning and the logic
of natural language," http://www.illc.uva.nl/lia/farewell_kamp.html
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 Publications, 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, 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.
Kehler, Andrew (2002) Coherence, Reference, and the Theory of
Grammar, CSLI Publications, Stanford, CA.
Kempson, Ruth, Wilfried Meyer-Viol, & Dov Gabbay (2001)
Dynamic Syntax: The Flow of Language Understanding,
Blackwell, Oxford.
Kent, Stuart, Andy Evans, & Bernhard Rumpe, eds. (1999)
UML Semantics FAQ, available at
http://www.cs.ukc.ac.uk/pubs/1999/977/content.pdf
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,
Texas Tech University, Lubbock.
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.
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.
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.
Knowlson, James (1975) Universal Language Schemes in England and
France, 1600-1800, University of Toronto Press, Toronto.
Konolige, Kurt (1997) "COLBERT: A language for adaptive control
in SAPHIRA," in Brewka et al. (1997) pp. 31-52.
Kolodner, Janet L. (1993) Case-Based Reasoning,
Morgan Kaufmann Publishers, San Mateo, CA.
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.
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. (1963a) "Semantical considerations on modal logic,"
Acta Philosophica Fennica, Modal and Many-valued Logics,
pp. 83-94.
Kripke, Saul A. (1963b) "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.
Kuipers, Benjamin J. (1984) "Commonsense reasoning about causality:
deriving behavior from structure," Artificial Intelligence
24, 169-203.
Kuhl, Patricia K. (2004)
"Early language acquisition: Cracking the speech code,"
Nature Reviews, Neuroscience 5:11, 831-843.
Kuipers, Benjamin (1994) Qualitative Reasoning: Modeling and
Simulation with Incomplete Knowledge, MIT Press, Cambridge, MA.
For related information, see http://www.cs.utexas.edu/users/qr.
Kuntz, Paul Grimley (1984) Alfred North Whitehead,
Twayne Publishers, Boston.
Lakoff, George (1987) Women, Fire, and Dangerous Things,
University of Chicago Press, Chicago.
Lakoff, George, and Mark Johnson (1980) Metaphors We Live By,
University of Chicago Press, Chicago.
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.
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.
Langacker, Ronald W. (1999) Grammar and Conceptualization,
de Gruyter, Berlin.
Lao-Tzu, Te Tao Ching, translated by R. G. Henricks,
Ballantine Books, New York, 1989.
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, Kluwer, Dordrecht.
Lappin, Shalom, ed. (1996) The Handbook of Contemporary Semantic
Theory, Blackwell Publishers, Oxford.
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, Georg Olms,
Hildesheim.
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.
Leonard, H. S., & N. Goodman (1940) "The calculus of individuals
and its uses," Journal of Symbolic Logic 5,
45-55.
Lenat, Douglas B. (1995)
"Cyc: A large-scale investment in knowledge infrastructure,"
Communications of the ACM 38:11, 33-38.
Lenat, D. B., & R. V. Guha (1990) Building Large Knowledge-Based
Systems, Addison-Wesley, Reading, MA.
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, Blackwell, Oxford.
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, pp. 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.
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, & C. H. Langford (1932)
Symbolic Logic, Dover, New York.
Lewis, David K. (1986) On the Plurality of Worlds,
Basil Blackwell, Oxford.
Lewis, David K. (1991) Parts of Classes, Basil Blackwell, Oxford.
Lewis, Frank A. (1991) Substance and Predication in
Aristotle, Cambridge University Press, Cambridge.
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.
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,
Harvard University Press, Cambridge, MA.
Lounesto, Pertti (1997) Clifford Algebras and Spinors,
Cambridge University Press, Second edition 2001.
Lucas, George R., Jr. (1989) The Rehabilitation of Whitehead,
State University of New York Press, Albany.
Łukasiewicz, Jan (1930) "Many-valued systems of propositional
logic," reprinted in S. McCall, ed., Polish Logic,
Oxford University Press, Oxford, 1967.
Lukose, Dickson, Harry Delugach, Mary Keeler, Leroy Searle,
& John Sowa, eds. (1997) Conceptual Structures:
Fulfilling Peirce's Dream,
LNAI 1257, Springer-Verlag, Berlin.
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, Basic Books, New York.
Luria, Alexandr Romanovich (1968) The Mind of a Mnemonist,
Basic Books, New York.
Luria, Alexandr Romanovich (1973) The Working Brain, Basic Books, New York.
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.
Mach, Ernst (1886) Beiträge zur Analyse der Empfindungen,
translated as The Analysis of Sensations
by C. M. Williams and Sydney Waterlow, Dover, New York.
Mackie, John L. (1974)
The Cement of the Universe: A Study of Causation,
Clarendon Press, Oxford, second edition 1980.
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.
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 University Press, Oxford.
Mann, William C., & Sandra A. Thompson (1987) "Relational Propositions in
Discourse," Discourse Processes 9:1, pp. 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, Springer-Verlag, New York.
Manning, Christopher D., & Hinrich Schütze (1999)
Foundations of Statistical Natural Language Processing,
MIT Press, Cambridge, MA.
Manzano, María (1996) Extensions of First-Order Logic,
Cambridge University Press, Cambridge.
Marcus, Ruth Barcan (1993) Modalities: Philosophical Essays,
Oxford University Press, Oxford.
Markov, Andrei Andreyevich (1954) Theoriya Algorifmov,
translated as The Theory of Algorithms,
National Science Foundation, Washington, DC, 1961.
Martins, Joao P., & Stuart C. Shapiro (1988) "A model for belief
revision," Artificial Intelligence 35:1, 25-79.
Marty, Robert (1997) "76 Definitions of The Sign by C. S. Peirce,"
available at
http://www.door.net/arisbe/menu/library/rsources/76defs/76defs.htm
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, Chohesion and Form,
edited by Yorick Wilks, Cambridge University Press, Cambridge.
Matilal, Bimal Krishna (1998) The Character of Logic in India,
Oxford University Press, New Delhi.
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," http://www-formal.stanford.edu/jmc/elephant.html
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),"
http://cogprints.soton.ac.uk/documents/disk0/00/00/04/19/
McCord, Michael C. (1980) "Slot grammars,"
American Journal of Computational Linguistics 6:1, 31-43.
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. (1987) "AI, logic, and the frame problem,"
in Brown (1987) pp. 105-118.
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, Wiley & Sons, New York.
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. (1988) Dependency Syntax:
Theory and Practice, SUNY Press, Albany.
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. (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, Cambridge.
Minsky, Marvin (1965) "Matter, mind and models," Proc. IFIP
Congress 65, pp. 45-49.
Minsky, Marvin, ed. (1968) Semantic Information Processing,
MIT Press, Cambridge, MA.
Minsky, Marvin (1975) "A framework for representing knowledge,"
in P. Winston, ed., The Psychology of Computer Vision,
McGraw-Hill, New York, 211-280.
Minsky, Marvin (1987) The Society of Mind,
Simon & Schuster, New York.
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,
Simon & Schuster, New York.
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, Robert C. (1995) Logic and Representation,
CSLI Publications, Stanford, CA.
Morris, Charles W. (1938) Foundations of the Theory of Signs,
Chicago University Press, Chicago.
Morris, Charles W. (1946) Signs, Language, and Behavior,
Prentice-Hall, New York.
Mylopoulos, John (1992) "The PSN tribe," in Lehmann (1992) 223-241.
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.
Neisser, Ulrich (1967) Cognitive Psychology,
Appleton Century Crofts, New York.
Newell, Allen (1990) Unified Theories of Cognition,
Harvard University Press, Cambridge, MA.
Newell, Allen, J. C. 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)
279-293.
Newell, Allen, & Herbert A. Simon (1972) Human Problem Solving,
Prentice-Hall, Englewood Cliffs, NJ.
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, pp. 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.
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, pp. 569-620.
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 University Press, Oxford.
Reprinted in H. Putnam, Words and Life,
Harvard University Press, Cambridge, MA, pp. 22-61.
Oakley, Todd (2004)
"Image schema," in D. Geeraerts & H. Cuyckens, eds.,
Handbook of Cognitive Linguistics, Oxford University Press, Oxford.
Ockham, William of (1323) Summa Logicae,
Johannes Higman, Paris, 1488; the edition owned by C. S. Peirce.
Also volume 1 of Opera Philosophica, ed. by P. Boehner,
G. Gál, & S. Brown, Franciscan Institute,
St. Bonaventure, NY, 1974.
Ockham, William of (T)
Ockham's Theory of Terms
translation of Part I of Ockham (1323) by M. J. Loux,
University of Notre Dame Press, Notre Dame, IN, 1974.
Ockham, William of (P) Ockham's Theory of Propositions
translation of Part II of Ockham (1323) by A. J. Freddoso &
H. Schuurman, University of Notre Dame Press, Notre Dame, IN, 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.
O'Keefe, J., & L. Nadel (1979) "The hippocampus as a cognitive map,"
Behavioral and Brain Sciences 2:4.
Osinga, Frans P. B. (2006) Science, Strategy, and War:
The Strategic Theory of John Boyd, Routledge, London.
Palmer, Frank R. (1994) Grammatical Roles and Relations,
Cambridge University Press, Cambridge.
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.
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, 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," reprinted in W 2:359-429.
Peirce, Charles Sanders (1878) "How to Make Our Ideas Clear,"
Popular Science Monthly 12, January 1878, 286-302.
http://www.peirce.org/writings/p119.html
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 http://www.existentialgraphs.com/
Peirce, Charles Sanders (1898) Reasoning and the Logic of Things,
The Cambridge Conferences Lectures of 1898, ed. by K. L. Ketner,
Harvard University Press, Cambridge, MA, 1992.
Peirce, Charles S. (1902) Logic, Considered as Semeiotic, MS L75,
edited by Joseph Ransdell,
http://members.door.net/arisbe/menu/library/bycsp/l75/l75.htm
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) "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 http://www.jfsowa.com/peirce/ms514.htm
Peirce, Charles Sanders (CP) Collected Papers of C. S. Peirce,
ed. by C. Hartshorne, P. Weiss, & A. Burks, 8 vols.,
Harvard University Press, Cambridge, MA, 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 Sanders (NEM) New Elements of Mathematics,
ed. by Carolyn Eisele, 4 vols., Mouton, The Hague, 1976.
Peirce, Charles Sanders (W)
Writings of Charles S. Peirce, vols. 1-6,
Indiana University Press, Bloomington, 1982-1993.
Peirce, Charles Sanders (1953) Letters to Lady Welby,
edited by B
C
D
E
F
G
H
I
J
K
L
M
N
O
P