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: 93,774

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

7th International Conference on Automated Deduction: Proceedings.Robert Shostak - 1984 - Springer Verlag.
On a problem in algebraic model theory.Bui Huy Hien - 1982 - Bulletin of the Section of Logic 11 (3/4):103-107.
Order-sorted logic programming with predicate hierarchy.Ken Kaneiwa - 2004 - Artificial Intelligence 158 (2):155-188.
Mechanizing Mathematical Reasoning: Essays in Honor of Jörg Siekmann on the Occasion of His 60th Birthday.Dieter Hutter (ed.) - 2004 - Springer.
Maximal chains in the fundamental order.Steven Buechler - 1986 - Journal of Symbolic Logic 51 (2):323-326.
From Standard Logic to Logic Programming: Introducing a Logic Based Approach to Artificial Intelligence.André Thayse & Paul Gochet - 1988
Supermultiplicity and the relativistic Coulomb problem with arbitrary spin.M. Moshinsky, A. Del Sol Mesa & V. Riquer - 1997 - Foundations of Physics 27 (8):1139-1157.
Second-Order Differential Equation with Multiple Delays: Oscillation Theorems and Applications.Shyam Sundar Santra, Omar Bazighifan, Hijaz Ahmad & Shao-Wen Yao - 2020 - Complexity 2020:1-6.
Many-sorted Logic and Its Applications.K. Meinke & J. V. Tucker - 1993 - Wiley.
Knowledge Representation and Logic Programming.Michael Gelfond & Nicola Leone - 2002 - Artificial Intelligence 138 (1-2):1.

Analytics

Added to PP
2020-12-22

Downloads
10 (#395,257)

6 months
6 (#1,472,471)

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