A Knowledge Representation Scheme Using Ordinary Words and the Inference Mechanism on Order-sorted Logic

Abstract This article has no associated abstract. (fix it)
Keywords No keywords specified (fix it)
Categories (categorize this paper)
DOI 10.1527/tjsai.23.540
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

Our Archive

Upload a copy of this paper     Check publisher's policy     Papers currently archived: 43,759
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

Formal Ontology and Extensions of Order-Sorted Logic.Ken Kaneiwa & Riichiro Mizoguchi - 2005 - Transactions of the Japanese Society for Artificial Intelligence 20:387-395.

Add more references

Citations of this work BETA

No citations found.

Add more citations

Similar books and articles

Toward Discourse Representation Via Pregroup Grammars.Anne Preller - 2007 - Journal of Logic, Language and Information 16 (2):173-194.
Designing Visual Languages for Description Logics.Brian R. Gaines - 2009 - Journal of Logic, Language and Information 18 (2):217-250.
Model Theory of the Inaccessibility Scheme.Shahram Mohsenipour - 2011 - Archive for Mathematical Logic 50 (7-8):697-706.
Concurrent Inference Through Dual Transformation.G. Bittencourt - 1998 - Logic Journal of the IGPL 6 (6):795-833.
A Calculus for First Order Discourse Representation Structures.Hans Kamp & Uwe Reyle - 1996 - Journal of Logic, Language and Information 5 (3-4):297-348.
Aristotle's Many-Sorted Logic.J. Corcoran - 2008 - Bulletin of Symbolic Logic 14 (1):155-156.
A Comparison Between Tryavayava And Syllogism.Zuo-li Wang - 2009 - Philosophy and Culture 36 (1):169-181.
Semantic Vector Models and Functional Models for Pregroup Grammars.Anne Preller & Mehrnoosh Sadrzadeh - 2011 - Journal of Logic, Language and Information 20 (4):419-443.


Added to PP index

Total views
8 ( #825,996 of 2,264,821 )

Recent downloads (6 months)
1 ( #861,388 of 2,264,821 )

How can I increase my downloads?


My notes

Sign in to use this feature