[1] BARBIERO, D.: Tacit knowledge (May 11, 2004) En: Eliasmith, C. (ed.):Dictionary of Philosophy of Mind [en línea] St. Louis, MO: Washington University in St. Louis. [Consultado el 7 oct. 2004]. Disponible en http://www.artsci.wustl.edu/~philos/MindDict/tacitknowledge.html
[2] BASDEN, A.: The Knowledge Level – The First Twenty Years [en línea] 22 Feb. 2002 [Consultado el 15 sep. 2004] Disponible en http://www.isi.salford.ac.uk/dooy/papers/levels/kl20f.html
[3] BASDEN, A.: The Knowledge Level – A Philosophical Enrichment for the Next Twenty Years [en línea] 22 Feb. 2002 [Consultado el 15 sep. 2004] Disponible en http://www.isi.salford.ac.uk/dooy/papers/levels/kl20p.html
[4] BOOLE, G.: An Investigation of the Laws of Thought on Which are Founded the Mathematical Theories of Logic and Probabilities. McMillan, Londres, 1854. Reimpr: Dover, New York, 1958.
[5] BORST, W.N.: Construction of Engineering Ontologies for Knowledge Sharing and Reuse [en línea]. PhD Thesis. University of Twente. Enschede, 1997. [Consultado el 21 oct. 2004]. Disponible en http://doc.utwente.nl/fid/1392
[6] BRACHMAN, R.J. Y LEVESQUE, H.J. (EDS.): Readings in Knowledge Representation. Morgan Kaufmann, Los Altos, Ca., 1985
[7] BRATKO, I.: Prolog. Programming for Artificial Intelligence (3rd. ed.) Addison–Wesley, Reading, Mass, 2001.
[8] BUNGE, M.: Epistemología. Ariel, Barcelona, 1980.
[9] BYRNE, A.: Intentionality [en línea]. En J. Pfeifer y S. Sarkar (eds.): Philosophy of Science: An Encyclopedia Routledge, en prensa. [Consultado el 20 oct. 2004]. Disponible en http://mit.edu/abyrne/www/intentionality.html
[10] CHANG, C.L. Y LEE, R.C.T.: Simbolic Logic and Mechanical Theorem Proving. Academic Press, London, 1973.
[11] CHANDRASEKARAN, B.: Generic tasks in knowledge-based reasoning: High level building blocks for expert system design. IEEE Expert, 1, 3 (1986), pp.23–30.
[12] CHANDRASEKARAN, B.: Task-structure analysis for knowledge modelling. Communications of the ACM, 35, 9 (Sep. 1992), pp .124–137.
[13] CHANDRASEKARAN, B., JOSEPHSON, J.R. Y BENJAMINS, V.R.: What are ontologies, and why do we need them?. IEEE Intelligent Systems, 14, 1 (1999), pp. 20–26.
[14] CHARNIAK, E. Y MCDERMOTT, D.: Introduction to Artificial Intelligence. Addison–Wesley, Reading, Mass, 1985.
[15] CHOMSKY, N.: Syntactic Structures. Mouton, La Haya, 1957.
[16] CLANCEY, W.J.: The epistemology of rule–based expert systems — a framework for explanation. Artificial Intelligence, 20 (1983), pp. 215–251.
[17] CLANCEY, W.J.: Model Construction Operators. Artificial Intelligence, 7, 53 (1992), pp.1–115.
[18] COLMERAUER, A., KANONI, H., PASERO, R. Y ROUSSEL, P.: Un système de communication homme–machine en français. Groupe d’intelligence artificielle. Université d’Aix–Marseille. Luminy, 1973.
[19] COLMERAUER, A., Y ROUSSEL, P.: The birth of Prolog [en línea] November 1992 [Consultado el 4 oct. 2004]. Disponible en http://www.lim.univ-mrs.fr/~colmer/ArchivesPublications/HistoireProlog/19november92.pdf
[20] COLLINS, A. M. Y LOFTUS, E. F.: A Spreading Activation Theory of Semantic Processing. Psychological Review, 82 (1975), pp. 407-428.
[21] COLLINS, A. M. Y QUILLIAN, M.R.: Retrieval Time from Semantic Memory. Journal of Verbal Learning and Verbal Behaviour, 8 (1969), pp 240–247.
[22] DAVIS, M. Y PUTNAM, H.: A computing procedure for quantification theory. Journal of the ACM, 7, 3 (Jul. 1960), pp. 201–215.
[23] DEAñO, A.: Introducción a la lógica formal. Alianza, Madrid, 1974. Reeditado en la colección «Manuales, Filosofía y Pensamiento» , 2002.
[24] DEGEN, W., HELLER, B. Y HERRE, H.: Contributions to the Ontological Foundation of Knowledge Modelling [en línea]. Report Nr. 02. Institute fiir Informatik, Universit/it Leipzig, 2001. [Consultado el 21 oct. 2004]. Disponible en http://www.informatik.uni-leipzig.de/~herre/papers/onto_mod.ps
[25] DENNETT, D.: The Intentional Stance. M.I.T. Press, Cambridge, Mass., 1987.
[26] DEVEDZIC, V.: Understanding Ontological Engineering [en línea]. Communications of the ACM, 45, 4 (April 2002), pp. 136–144. [Consultado el 21 oct. 2004]. Disponible en http://fon.fon.bg.ac.yu/~devedzic/CACM2002.pdf
[27] DIAZ, D.: The GNU Prolog web site, 2003 [en línea].[Consultado el 24 nov. 2004]. Disponible en http://pauillac.inria.fr/~diaz/gnu-prolog/
[28] DUBOIS, D. Y PRADE, H.: Possibility theory. An approach to computerized processing of uncertainty. Plenum Press, New York, 1988. (Traducido de Théorie des possibilités. Application à la représentation des connaissances en informatique. Masson, París, 1985).
[29] ENNALS, J.R.: Beginning micro–PROLOG. Ellis Horwood, Chichester, U.K., 1984. (Traducción de G. Fernández: Micro–Prolog: la lógica como lenguaje para la alfabetización informática. Díaz de Santos, Madrid, 1987).
[30] FOLDOC: Knowledge [en línea]. 1994–10–19 [Consultado el 13 sep. 2004). Disponible en http://foldoc.doc.ic.ac.uk/foldoc/foldoc.cgi?query=knowledge
[31] FREGE, G.: Die Grundlagen der Arithmetik, eine logisch–mathematische Untersuchung über den Begriff der Zahl. Breslau, 1884. Versión traducida al inglés en van Heijenoort (1967), pp. 508–524.
[32] GARCíA MORENTE, M. Y ZARAGüETA, J.: Fundamentos de filosofía e historia de los sistemas filosóficos, sexta ed. Espasa–Calpe, Madrid, 1967.
[33] GARRIDO, M.: Lógica simbólica. Tecnos, Madrid, 1977.
[34] GENESERETH, M.R. Y NILSSON, N.J.: Logical Foundations of Artificial Intelligence. Morgan Kaufmann, Los Altos, Calif., 1987.
[35] GETTIER, E.L.: Is Justified True Belief Knowledge? Analysis, 23 (1963), pp. 121-123. [Consultado el 12 sep. 2004]. Disponible en http://www.ditext.com/gettier/gettier.html
[36] A. GóMEZ-PéREZ: Ontological Engineering: A State Of The Art [en línea]. Expert Update 2, 3 (1999). British Computer Society. [Consultado el 21 oct. 2004]. Disponible en http://www.csc.liv.ac.uk/~frans/ExpertUpdate/ontologies.ps
[37] GRUBER, T.R.: Toward principles for the design of ontologies used for knowledge sharing [en línea]. En N. Guarino y R. Poli (eds.): Formal Ontology in Conceptual Analysis and Knnowledge Representation. Kluwer, 1993. [Consultado el 21 oct. 2004]. Disponible en ftp://ftp.ksl.stanford.edu/pub/KSL_Reports/KSL-93-04.ps.gz
[38] GUARINO N. Y GIARETTA P.: Ontologies and knowledge bases [en línea]. En Mars, N.J.I. (ed.): Towards Very Large Knowledge Bases. IOS Press, Amsterdam, 1995, pp. 25–32. [Consultado el 13 oct. 2004]. Disponible en http://www.loa-cnr.it/Papers/KBKS95.pdf
[39] HANSON, S. Y BAUER, M.: Conceptual clustering, categorization, and polymorphy. Machine Learning, 3, 4 (1989), pp. 343-372.
[40] HARMON, P. Y KING, D.: Expert systems: artificial intelligence in business. John Wiley, Nueva York, 1985. Traducción de G. Fernández: Sistemas expertos: aplicaciones de la inteligencia artificial en la actividad empresarial. Díaz de Santos, Madrid, 1988.
[41] HAYES, P.J.: In defense of logic. Proc. 5th Int. Joint Conf. Artif. Intell. (1977), pp. 559-565.
[42] HAYES, P.J.: The logic of frames. En The Frame Reader. De Guyter, Berlín, 1979.
[43] HEIJENOORT, J. VAN (ED.): From Frege to Gödel. Harvard University Press, 1967
[44] HINTZMAN, D. L.: The psychology of learning and memory. Freeman, San Francisco, 1978. (Citado por Roediger et al., 2002).
[45] HOBBS, J.R.: Ontological Promiscuity [en línea]. Proceedings, 23rd Annual Meeting of the Association for Computational Linguistics, pp. 61-69. Chicago, Illinois, July 1985. [Consultado el 13 nov. 2004]. Disponible en http://www.isi.edu/~hobbs/op-acl85.pdf
[46] I.S.O.: ISO Prolog Standard (1996). Información disponible en http://www.sju.edu/~jhodgson/wg17/wg17web.html
[47] JAFFAR, J. Y LASSEZ, J.L: Constraint Logic Programming. En Principles of Programming Languages Munich, 1987.
[48] KANAL, L.N. Y LEMMER, J.F. (EDS.): Uncertainty in artificial intelligence. Elsevier, New York, 1986.
[49] KLIR, G. Y FOLGER, N.: Fuzzy sets, uncertainty, information. Prentice Hall, Englewood Cliffs, N.J., 1988.
[50] KOWALSKI, R.A.: The predicate calculus as a programming language. Proceedings of the International Symposium and Summer School on Mathematical Foundations of Computer Science. Jablonna near Warsaw, Polonia, 1972.
[51] KOWALSKI, R.A.: Predicate logic as a programming language. Proc. IFIP 74. North Holland, Amsterdam, 1974, pp. 569–574.
[52] KOWALSKI, R.A.: Algorithm = Logic + Control. Comm. ACM, 22, 7 (1979a), pp. 424–436
[53] KOWALSKI, R.A.: Logic for problem solving. North–Holland, New York, 1979b.(Traducción de J.A. Calle: Lógica, programación e inteligencia artificial. Díaz de Santos, Madrid, 1986).
[54] KUHN, T.: The Structure of Scientific Revolutions. Univ. Chicago Press, 1962. Traducción de A. Contín: La estructura de las revoluciones científicas. Fondo de Cultura Económica, Madrid, 1979.
[55] LEWIS, C.I. Y LANGFORD, C.H.: Symbolic logic. The Century Comp., N.Y., 1932 (2nd. ed., Dover Publ., N.Y., 1959).
[56] LLOYD, J.W.: Foundations of Logic Programming. Springer Verlag, New York, 1981.
[57] LóPEZ DE MáNTARAS, R.: Approximate reasoning models. Ellis Hardwoord, Chichester, England, 1990.
[58] LOVELAND, D.W.: Automated Theorem Proving: A Logical Basis. North Holland, New York, 1978.
[59] LUKASIEWICZ, J.: On 3-valued logic. (1920). Reproducido en McCall, S. (ed.): Polish logic. Oxford University Press, 1967.
[60] LUKASIEWICZ, J.: Many-valued systems of propositional logic. (1930). Reproducido en McCall, S. (ed.): Polish Logic. Oxford University Press, 1967.
[61] MAIER, D. Y WARREN, D.S.: Computing with Logic. Logic Programming with Prolog. Benjamin–Cummings, Menlo Park, Calif., 1988.
[62] MALHOTRA, Y.: Deciphering the Knowledge Management Hype, The Journal for Quality & Participation, July/August 1998 (Special issue on Knowledge Management). [En línea] [Consultado el 23 sep. 2004]. Disponible en http://www.kmnetwork.com/whatis.htm
[63] MCCABE, F.G.: Micro–PROLOG Programmers Reference Manual. Logic Programming Associates, Londres, 1981.
[64] MCCARTHY, J.: Ascribing mental qualities to machines. Technical report, Stanford University AI Lab., Stanford, CA 94305, 1978.
[65] MILLER, G.A.: The Magical Number Seven, Plus or Minus Two: Some Limits on Our Capacity for Processing Information [en línea]. The Psychological Review 63 (1956), pp. 81–97. [Consultado el 11 oct. 2004]. Disponible en http://www.well.com/user/smalin/miller.html
[66] MINSKY, M.: A Framework for Representing Knowledge [en línea]. Memo 306, MIT AI Lab, June 1974. Publicado como Capítulo 6 en P. H. Winston (ed.): The Psychology of Computer Vision, McGraw-Hill, 1975. [Consultado el 14 sep. 2004] Disponible en http://web.media.mit.edu/~minsky/papers/Frames/frames.html
[67] MORGAN, A. DE: Formal logic; or the Calculus of Inference, Necessary, and Probable. Londres, 1847.
[68] MOURA, P.: Logtalk. Open source object-oriented extension to Prolog [en línea]. November 2, 2004. [Consultado el 9 nov. 2004]. Disponible en http://www.logtalk.org/
[69] NEWELL, A.: Production systems: models of control structures. En Chase, W.G. (ed.): Visual Information Processing. Academic Press, New York, 1973, pp. 463–526.
[70] NEWELL, A: The knowledge level. AI Magazine, 2 (1981), pp. 1–20.
[71] NEWELL, A: The knowledge level. Artificial Intelligence, 18 (1982), pp. 87-127.
[72] NEWELL, A., Y SIMON, H. A.: Human problem solving. Prentice-Hall, Englewood Cliffs, NJ., 1972.
[73] NEWELL, A. Y SIMON, H.A.: Computer science as empirical inquiry: symbols and search [en línea]. Communications of the ACM, 19, 3 (Mar. 1976), pp. 113–126. [Consultado el 2 oct. 2004]. Disponible en http://www.rci.rutgers.edu/~cfs/472_html/AI_SEARCH/PSS/PSSH1.html
[74] NILSSON, J.J.: Principles of Artificial Intelligence. Springer Verlag, Berlin, 1982. (Traducción de J. Fernández–Biarge: Principios de inteligencia artificial. Díaz de Santos, Madrid, 1987).
[75] NOY, N.F. Y MCGUINNESS, D.L.: Ontology Development 101: A Guide to Creating Your First Ontology [en línea]. Stanford Knowledge Systems Laboratory Technical Report KSL-01-05 and Stanford Medical Informatics Technical Report SMI-2001-0880, March 2001. [Consultado el 21 oct. 2004]. Disponible en http://www.ksl.stanford.edu/people/dlm/papers/ontology-tutorial-noy-mcguinness.pdf
[76] PEARL, J.: Probabilistic reasoning in intelligent systems. Morgan Kaufmann, Palo Alto, Calif., 1988.
[77] POLANYI, M.: Personal knowledge: towards a post-critical philosophy. University of Chicago Press, 1958. Citado, entre otros, por Wilson (2002) [109] y Barbiero (2004) [1].
[78] POST, E.: Formal reduction of the general combinatorial problem. American Journal of Mathematics, 65 (1943), pp. 197-268.
[79] QUILLIAN, M.R. Semantic memory. En M. Minsky (ed.): Semantic Information Processing. MIT Press, Cambridge, Mass., 1968, pp. 354–402.
[80] RAAIJMAKERS, J. G. W. Y SHIFFRIN, R. M.: Models of memory [en línea]. En H. Pashler y D. Medin (eds.): Stevens’ Handbook of Experimental Psychology, 3rd. ed., vol. 2: Memory and Cognitive Processes. Wiley, New York, 2002, pp. 43-76. [Consultado el 22 oct. 2004]. Disponible en http://www.psych.nwu.edu/~ej/IntroCogSci/JRmodelsofmemory.pdf
[81] RAMSAY, A.: Formal methods in Artificial Intelligence. Cambridge Univ. Press, Cambridge, 1988.
[82] RANDALL, D., SHROBE, H. Y SZOLOVITS, P.: What is A Knowledge Representation? AI Magazine 14, 1 (1993), pp. 17–33. [En línea] [Consultado el 14 sep. 2004]. Disponible en http://medg.lcs.mit.edu/ftp/psz/k-rep.html
[83] RICH, E. Y KNIGHT, K.: Artificial Intelligence, 2nd. ed. McGraw-Hill, New York, 1991.
[84] ROBINSON, J.A.: A machine–oriented logic based on the resolution principle. Journal of the ACM, 12, 1 (Jan. 1965), pp. 23–41.
[85] ROEDIGER, H. L., MARSH, E. J. Y LEE, S. C.: Kinds of memory [en línea]. En H. Pashler y D. Medin (eds.): Stevens’ Handbook of Experimental Psychology, 3rd. ed., vol. 2: Memory and Cognitive Processes. Wiley, New York, 2002, pp. 43-76. [Consultado el 22 oct. 2004]. Disponible en http://media.wiley.com/product_data/excerpt/0X/04713803/047138030X.pdf
[86] RUSSELL, S. Y NORVIG, P.: Artificial Intelligence. A Modern Approach, 2nd. ed.. Prentice Hall, Englewood Cliffs, N.J., 2004. (Traducción de la primera edición por R. Bautista: Inteligencia artificial: un enfoque moderno. Prentice Hall Hispanoamericana, Méjico, 1996).
[87] SACRISTáN, M.: Introducción a la lógica y al análisis formal. Ariel, Barcelona, 1970.
[88] SHANNON: A symbolic analysis of relay and switching circuits. Trans. AIEE, 57 (1938), pp. 713–723.
[89] SHASTRI, L. (guest ed.): Fuzzy logic symposium. IEEE Expert, 9, 4 (Aug. 1994), pp. 2-49 (incluye 17 contribuciones de 23 autores).
[90] SHOHAM, Y.: Agent-Oriented Programming. Artificial Intelligence, 60, 1 (1993), pp. 51-92.
[91] SKOLEM, T.: Uber die mathematishe logik. Norsk matematisk tidsskrift, 10 (1928), pp. 125–142. Versión traducida al inglés en van Heijenoort, J. (ed.): From Frege to Gödel. Harvard University Press, 1967, pp. 508–524.
[92] SOWA, J.F.: Conceptual Structures: Information Processing in Mind and Machine. Addison-Wesley, Reading, Mass., 1984.
[93] SMITH, B.C.: Reflection and Semantics in a Procedural Language. PhD Thesis. MIT Laboratory for Computer Science, 1982. Prólogo reproducido en R.J. Brachman and H.J. Levesque (eds.): Readings in Knowledge Representation. Morgan Kaufmann, 1985, pp. 31–40.
[94] SNOWDEN, D.: A Framework for Creating a Sustainable Knowledge Management Program. The Knowledge Management Yearbook 1999–2000. Butterworth Heinemann, 2000.
[95] SOWA, J.F.: Semantic Networks [en línea]. 12 Aug. 2002. [Consultado el 12 sep. 2004]. Disponible en http://www.jfsowa.com/pubs/semnet.htm
[96] SOWA, J.F.: Ontology [en línea]. 8 Jun. 2003. [Consultado el 21 oct. 2004]. Disponible en http://www.jfsowa.com/ontology/
[97] STEELS, L.: Components of expertise. AI Magazine, 11, 2 (1990), pp .29-49.
[98] STERLING, L. Y SHAPIRO, E.: The Art of Prolog. MIT Press, Cambridge, Mass., 1986.
[99] STUDER, R., BENJAMINS, V.R. Y FENSEL, D.: Knowledge engineering: principles and methods [en línea]. IEEE Transactions on Data and Knowledge Engineering, 25 (1998), pp. 161–197. [Consultado el 21 oct. 2004]. Disponible en http://www.ubka.uni-karlsruhe.de/vvv/1997/wiwi/33/33.ps.gz
[100] TULVING, E.: How many memory systems are there? American Psychologist, 40 (1985), pp. 385–398. (Citado por Roediger et al., 2002).
[101] VAN DE VELDE, W.: Issues in Knowledge Level Modelling [en línea]. En David, J.-M., Krivine, J.-P., y Simmons, R. (eds.) Second Generation Expert Systems, pp. 211-231. Springer Verlag, Berlin, 1993. [Consultado el 3 oct. 2004]. Disponible en http://arti4.vub.ac.be/memos/AI-Memo-93-09/memo.html
[102] VAN HENTENRYCK, P.: Constraint Satisfaction in Logic Programming. The MIT Press, Cambridge, Mass., 1989.
[103] WALKER, A., MCCORD, M., SOWA, J.F. Y WILSON, W.G.: Knowledge Systems and Prolog. Addison–Wesley, Reading, Mass, 1987.
[104] WARREN, D.H.D., PEREIRA, L.M. Y PEREIRA, F.C.N.: Prolog. The language and its implementation compared with Lisp. SIGPLAN Notices, 12, 8 (1977), pp. 109–115.
[105] WHITEHEAD, A.N. Y RUSSEL, B.: Principia Mathematica. Cambridge, 1910 (vol. I), 1912 (vol. II), 1913 (vol. III). Segunda edición en Cambridge Univ. Press, 1950.
[106] WIELINGA, B.J., SCHREIBER, A.T. Y BREUKER, J.A.: KADS: A modelling approach to knowledge engineering. Knowledge Adquisition, 4, 1 (1992), pp. 5-53.
[107] WIELINGA, B.J., VAN DE VELDE, W. SCREIBER, G. Y AKKERMANS. H.: Towards a unification of knowledge modelling approaches. En J.-M. David, J.-P. Krivine y R. Simmons (eds.): Second Generation Expert Systems. Springer-Berlag, Berlin, 1993, pp. 299–335.
[108] WIKIPEDIA: Knowledge [en línea]. 3 sep. 2004 [Consultado el 13 sep. 2004). Disponible en http://en.wikipedia.org/wiki/Knowledge
[109] WILSON, T.D.: The nonsense of ‘knowledge management’. Information Research, 8, 1 (2002), paper no. 144. [En línea][Consultado el 23 sep. 2004]. Disponible en http://InformationR.net/ir/8-1/paper144.html
[110] WINOGRAD, T. Y FLORES, F.: Understanding Computers and Cognition. Ablex, 1986
[111] WOOLRIDGE, M.: An Introduction to Multiagent Systems. John Wiley, Chichester, England), 2002.
[112] YOURDON, E.: Modern Structured Analysis. Prentice-Hall, Englewood Cliffs, NJ, 1988.
[113] ZADEH, L.A.: Fuzzy sets. Information and Control, 8 (1965), pp. 338-353.
[114] ZADEH, L.A.: Fuzzy algorithms. Information and control, 12 (1968), pp. 94-102.
[115] ZADEH, L.A.: Biological applications of the theory of fuzzy sets and systems. En L.D. Proctor (ed.): Biocybernetics of the central nervous system. Little, Brown and Co., Boston, Mass., 1969, pp. 199-212.
[116] ZADEH, L.A.: Outline of a new approach to the analysis of complex systems and decision process. IEEE Trans. Systems, Man, and Cyb., SMC-3 (1973), pp. 28-44.
[117] ZADEH, L.A.: Fuzzy logic and its applications to approximate reasoning. Proc. IFIP Congress Information Processing 74, North- Holland, Amsterdam, 1974, pp. 591-594.
[118] ZADEH, L.A.: Fuzzy sets as a basis for a theory of possibility. Fuzzy sets and systems, 1 (1978), pp. 3-28.
[119] ZADEH, L.A.: A theory of approximate reasoning. Machine Intelligence, 9. John Wiley, New York, 1979, pp. 149-194.
[120] ZADEH, L.A.: The calculus of fuzzy if-then rules. AI Expert, 7, 3 (1992), pp. 22-27.