An order-sorted logic for knowledge representation systems

, , , &
Artificial Intelligence 55 (2-3):149-191 (1992)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/0004-3702(92)90055-3

Links

PhilArchive



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

External links

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

Through your library

My notes

Similar books and articles

A duality between Pawlak's knowledge representation systems and bi-consequence systems.Dimiter Vakarelov - 1995 - Studia Logica 55 (1):205 - 228.
Extending Metacompleteness to Systems with Classical Formulae.Ross T. Brady - 2011 - Australasian Journal of Logic 8:9-30.
Lattice logic as a fragment of (2-sorted) residuated modal logic.Chrysafis Hartonas - 2019 - Journal of Applied Non-Classical Logics 29 (2):152-170.
Quine’s conjecture on many-sorted logic.Thomas William Barrett & Hans Halvorson - 2017 - Synthese 194 (9):3563-3582.
Categorical Abstract Logic: Hidden Multi-Sorted Logics as Multi-Term π-Institutions.George Voutsadakis - 2016 - Bulletin of the Section of Logic 45 (2).
Semantic Vector Models and Functional Models for Pregroup Grammars.Anne Preller & Mehrnoosh Sadrzadeh - 2011 - Journal of Logic, Language and Information 20 (4):419-443.
Given the Web, What is Intelligence, Really?Selmer Bringsjord & Naveen Sundar Govindarajulu - 2012 - Metaphilosophy 43 (4):464-479.
Meta-relation and ontology closure in Conceptual Structure Theory.Philip H. P. Nguyen, Ken Kaneiwa, Dan R. Corbett & Minh-Quang Nguyen - 2009 - Artificial Intelligence and Law 17 (4):291-320.
A mechanization of sorted higher-order logic based on the resolution principle.Michael Kohlhase - unknown
First-order expressivity for s5-models: Modal vs. two-sorted languages.Holger Sturm & Frank Wolter - 2001 - Journal of Philosophical Logic 30 (6):571-591.
Knowledge in Action: Logical Foundations for Specifying and Implementing Dynamical Systems.Raymond Reiter - 2001 - Cambridge: Mass. : MIT Press.
Logical Options: An Introduction to Classical and Alternative Logics.John L. Bell, David DeVidi & Graham Solomon - 2001 - Peterborough, CA: Broadview Press.
The Logic of Knowledge Bases.Hector J. Levesque & Gerhard Lakemeyer - 2001 - MIT Press.
A Description Logic Based Knowledge Representation Model for Concept Understanding.Farshad Badie - 2017 - In Jasper van den Herik, A. Rocha & J. Filipe (eds.), Agents and Artificial Intelligence. Springer.
Aristotle's Many-sorted Logic.J. Corcoran - 2008 - Bulletin of Symbolic Logic 14 (1):155-156.

Analytics

Added to PP
2020-12-22

Downloads
9 (#1,245,240)

6 months
5 (#626,991)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Order-sorted logic programming with predicate hierarchy.Ken Kaneiwa - 2004 - Artificial Intelligence 158 (2):155-188.

Add more citations

References found in this work

Logic of many-sorted theories.Hao Wang - 1952 - Journal of Symbolic Logic 17 (2):105-116.
A theory of restricted quantification I.Theodore Hailperin - 1957 - Journal of Symbolic Logic 22 (1):19-35.

Add more references