About this Journal Submit a Manuscript Table of Contents
Advances in Artificial Intelligence
Volume 2013 (2013), Article ID 920157, 10 pages
http://dx.doi.org/10.1155/2013/920157
Research Article

Conservative Intensional Extension of Tarski's Semantics

International Society for Research in Science and Technology, P.O. Box 2464, Tallahassee, FL 32316-2464, USA

Received 30 May 2012; Revised 12 October 2012; Accepted 23 October 2012

Academic Editor: Konstantinos Lefkimmiatis

Copyright © 2013 Zoran Majkić. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.

Linked References

  1. J. Pustejovsky and B. Boguraev, “Lexical knowledge representation and natural language processing,” Artificial Intelligence, vol. 63, no. 1-2, pp. 193–223, 1993. View at Scopus
  2. M. Fitting, “First-order intensional logic,” Annals of Pure and Applied Logic, vol. 127, no. 1–3, pp. 171–193, 2004. View at Publisher · View at Google Scholar · View at Scopus
  3. T. Braüner, “Adding intensional machinery to hybrid logic,” Journal of Logic and Computation, vol. 18, no. 4, pp. 631–648, 2008. View at Publisher · View at Google Scholar · View at Scopus
  4. T. Braüner and S. Ghilardi, “First-order modal logic,” in Handbook of Modal Logic, pp. 549–620, Elsevier, 2007.
  5. S. Bond and M. Denecker, “I-logic: an intensional logic of informations,” in Proceedings of the 19th Belgian-Dutch Conference on Artificial Intelligence, pp. 49–56, Utrecht, The Netherlands, November 2007.
  6. M. A. Orgun and W. W. Wadge, “Towards a unified theory of intensional logic programming,” The Journal of Logic Programming, vol. 13, no. 4, pp. 413–440, 1992. View at Scopus
  7. G. Bealer, “Universals,” The Journal of Philosophy, vol. 90, no. 1, pp. 5–32, 1993. View at Publisher · View at Google Scholar
  8. G. Bealer, “Theories of properties, relations, and propositions,” The Journal of Philosophy, vol. 76, no. 11, pp. 634–648, 1979. View at Publisher · View at Google Scholar
  9. E. F. Codd, “Relational completeness of data base sublanguages,” in Data Base Systems: Courant Computer Science Symposia Series 6, Prentice Hall, Englewood Cliffs, NJ, USA, 1972.
  10. D. K. Lewis, On the Plurality of Worlds, Blackwell, Oxford, UK, 1986.
  11. R. Stalnaker, Inquiry, The MIT Press, Cambridge, Mass, USA, 1984.
  12. R. Montague, “Universal grammar,” Theoria, vol. 36, no. 3, pp. 373–398, 1970. View at Publisher · View at Google Scholar
  13. R. Montague, “The proper treatment of quantification in ordinary English,” in Approaches to Natural Language, J. Hintikka, P. Suppes, J. M. E. Moravcsik, et al., Eds., pp. 221–242, Reidel, Dordrecht, The Netherlands, 1973.
  14. R. Montague, Formal Philosophy. Selected Papers of Richard Montague, Yale University Press, London, UK, 1974.
  15. Z. Majkić, “First-order logic: modality and intensionality,” http://arxiv.org/abs/1103.0680v1.
  16. Z. Majkić, “Intensional first-order logic for P2P database systems,” in Journal on Data Semantics 12, vol. 5480 of Lecture Notes in Computer Science, pp. 131–152, Springer, Berlin, Germany, 2009.
  17. Z. Majkić, “Intensional semantics for RDF data structures,” in Proceedings of the 12th International Symposium on Database Engineering & Applications Systems (IDEAS '08), pp. 69–77, Coimbra, Portugal, September, 2008. View at Publisher · View at Google Scholar
  18. G. Bealer, Quality and Concept, Oxford University Press, New York, NY, USA, 1982.
  19. Z. Majkić, “Weakly-coupled ontology integration of P2P database systems,” in Proceedings of the 1st International Workshop on Peer-to-Peer Knowledge Management (P2PKM '04), Boston, Mass, USA, August 2004.
  20. Z. Majkić, “Intensional P2P mapping between RDF ontologies,” in Proceedings of the 6th International Conference on Web Information Systems (WISE '05), M. Kitsuregawa, Ed., vol. 3806 of Lecture Notes in Computer Science, pp. 592–594, New York, NY, USA, November 2005.
  21. Z. Majkić, “Intensional semantics for P2P data integration,” in Journal on Data Semantics 6, vol. 4090 of Lecture Notes in Computer Science, Special Issue on ‘Emergent Semantics’, pp. 47–66, 2006.
  22. Z. Majkić, “Non omniscient intensional contextual reasoning for query-agents in P2P systems,” in Proceedings of the 3rd Indian International Conference on Artificial Intelligence (IICAI '07), Pune, India, December 2007.
  23. Z. Majkić, “Coalgebraic specification of query computation in intensional P2P database systems,” in Proceedings of the International Conference on Theoretical and Mathematical Foundations of Computer Science (TMFCS '08), pp. 14–23, Orlando, Fla, USA, July 2008.
  24. Z. Majkić, “RDF view-based interoperability in intensional FOL for Peer-to-Peer database systems,” in Proceedings of the International Conference on Enterprise Information Systems and Web Technologies (EISWT '08), pp. 88–96, Orlando, Fla, USA, July 2008.
  25. L. Henkin, J. D. Monk, and A. Tarski, Cylindic Algebras I, North-Holland, Amsterdam, The Netherlands, 1971.
  26. A. Pirotte, “A precise definition of basic relational notions and of the relational algebra,” ACM SIGMOD Record, vol. 13, no. 1, pp. 30–45, 1982. View at Publisher · View at Google Scholar
  27. G. Frege, “Über Sinn und Bedeutung,” Zeitschrift für Philosophie und philosophische Kritik, vol. 100, pp. 22–50, 1892.
  28. B. Russell, “On Denoting,” in Logic and Knowledge, vol. 14 of Mind, Reprinted in Russell, pp. 479–493, 1905.
  29. A. N. Whitehead and B. Russell, Principia Mathematica, vol. 1, Cambridge, Mass, USA, 1910.
  30. R. Carnap, Meaning and Necessity, Chicago, Ill, USA, 1947.