Order-sorted logic programming with predicate hierarchy

DOI10.1016/j.artint.2004.05.001zbMath1086.68026OpenAlexW2027826324MaRDI QIDQ814621

Ken Kaneiwa

Publication date: 7 February 2006

Published in: Artificial Intelligence (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.artint.2004.05.001

zbMATH Keywords

Knowledge representationLinear resolutionOrder-sorted logicPredicate hierarchyTyped logic programming

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Knowledge representation (68T30) Logic programming (68N17)

Related Items

A logical and ontological framework for compositional concepts of objects and properties ⋮ Paraconsistent computation tree logic ⋮ A hybrid reasoning system for terminologies and first-order clauses in knowledge bases ⋮ Unnamed Item

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Investigations in many-sorted quantor logic
• Towards a general theory of action and time
• A mechanical solution of Schubert's steamroller by many-sorted resolution
• A more expressive formulation of many sorted logic
• Constructive predicate logic with strong negation and model theory
• The substitutional framework for sorted deduction: Fundamental results on hybrid reasoning
• An order-sorted logic for knowledge representation systems
• An order-sorted resolution in theory and practice
• Computational aspects of an order-sorted logic with term declarations
• Login: a logic programming language with built-in inheritance
• An Efficient Unification Algorithm
• Feature-constraint logics for unification grammars
• The Logic of Typed Feature Structures
• Logical foundations of object-oriented and frame-based languages
• Towards a meaning of life
• Logic of many-sorted theories