An order-sorted logic for knowledge representation systems
From MaRDI portal
model-theoretic semanticsinference systemssorted logicassertional informationclausal knowledge basededuction calculusknowledge representation language \(L_{\text{LILOG}}\)logic-based reasoningnatural language understanding project for Germanorder-sorted predicate logictaxonomic informationtaxonomic reasoning
Recommendations
Cites work
- scientific article; zbMATH DE number 4176512 (Why is no real title available?)
- scientific article; zbMATH DE number 3888893 (Why is no real title available?)
- scientific article; zbMATH DE number 4164128 (Why is no real title available?)
- scientific article; zbMATH DE number 4168655 (Why is no real title available?)
- scientific article; zbMATH DE number 3784848 (Why is no real title available?)
- scientific article; zbMATH DE number 43237 (Why is no real title available?)
- scientific article; zbMATH DE number 67452 (Why is no real title available?)
- scientific article; zbMATH DE number 67965 (Why is no real title available?)
- scientific article; zbMATH DE number 67966 (Why is no real title available?)
- scientific article; zbMATH DE number 3568056 (Why is no real title available?)
- scientific article; zbMATH DE number 1988959 (Why is no real title available?)
- scientific article; zbMATH DE number 3241262 (Why is no real title available?)
- scientific article; zbMATH DE number 3349331 (Why is no real title available?)
- scientific article; zbMATH DE number 3415409 (Why is no real title available?)
- A Machine-Oriented Logic Based on the Resolution Principle
- A mechanical solution of Schubert's steamroller by many-sorted resolution
- A more expressive formulation of many sorted logic
- A theory of restricted quantification I
- An Efficient Unification Algorithm
- An order-sorted logic for knowledge representation systems
- Automated deduction by theory resolution
- Calculi of constructive logic with subordinate variables
- Computational aspects of an order-sorted logic with term declarations
- Die Zulässigkeit der Behandlung mehrsortiger Theorien mittels der üblichen einsortigen Prädikatenlogik
- Investigations in many-sorted quantor logic
- Logic of many-sorted theories
- Login: a logic programming language with built-in inheritance
- Reasoning and revision in hybrid representation systems
- Unification theory
Cited in
(20)- Comparison of Scoring and Order Approach in Description Logic $\mathcal{EL(D)}$
- An order-sorted logic for knowledge representation systems
- An order-sorted resolution in theory and practice
- Automated Reasoning with Analytic Tableaux and Related Methods
- scientific article; zbMATH DE number 516982 (Why is no real title available?)
- Order-sorted logic programming with predicate hierarchy
- Resolution for label-based formulas in hierarchical representation
- Ordering-based representations of rational inference
- Fuzzy types: A framework for handling uncertainty about types of objects
- scientific article; zbMATH DE number 3887106 (Why is no real title available?)
- Minimal model semantics for sorted constraint representation
- A FORMALISM FOR REPRESENTING AND REASONING WITH LINGUISTIC INFORMATION
- Unification in sort theories and its applications
- scientific article; zbMATH DE number 67965 (Why is no real title available?)
- A hybrid reasoning system for terminologies and first-order clauses in knowledge bases
- scientific article; zbMATH DE number 67968 (Why is no real title available?)
- Tableau methods for a logic with term declarations
- scientific article; zbMATH DE number 67962 (Why is no real title available?)
- Completing sort hierarchies
- On Skolemization in constrained logics
This page was built for publication: An order-sorted logic for knowledge representation systems
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1193487)
