Undecidability of subsumption in NIKL

Artificial Intelligence 39 (2):263-272 (1989)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,219

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

Explanation and Subsumption.Robert C. Cummins - 1978 - PSA: Proceedings of the Biennial Meeting of the Philosophy of Science Association 1978:163 - 175.
Undecidable theories.Alfred Tarski - 1953 - Amsterdam,: North-Holland Pub. Co.. Edited by Andrzej Mostowski & Raphael M. Robinson.
Off-line parsability and the well-foundedness of subsumption.Shuly Wintner & Nissim Francez - 1999 - Journal of Logic, Language and Information 8 (1):1-16.
Subsumption and relative identity.P. Garbacz - 2004 - Axiomathes 14 (4):341-360.

Analytics

Added to PP
2020-12-22

Downloads
6 (#1,389,828)

6 months
6 (#431,022)

Historical graph of downloads
How can I increase my downloads?