Login: a logic programming language with built-in inheritance
From MaRDI portal
Publication:3735057
DOI10.1016/0743-1066(86)90013-0zbMath0599.68013OpenAlexW2035182234MaRDI QIDQ3735057
Publication date: 1986
Published in: The Journal of Logic Programming (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/0743-1066(86)90013-0
Related Items
Implementing specifications by dynamic inheritance ⋮ Hybrid reasoning using universal attachment ⋮ Resolution for label-based formulas in hierarchical representation ⋮ An algebraic semantics approach to the effective resolution of type equations ⋮ A set expression based inheritance system ⋮ Kernel-LEAF: A logic plus functional language ⋮ A rational reconstruction of the domain of feature structures ⋮ A FORMALISM FOR REPRESENTING AND REASONING WITH LINGUISTIC INFORMATION ⋮ Incremental constraint satisfaction for equational logic programming ⋮ On Skolemization in constrained logics ⋮ Inheritance hierarchies: Semantics and unifications ⋮ Horn clause programs with polymorphic types: Semantics and resolution ⋮ The substitutional framework for sorted deduction: Fundamental results on hybrid reasoning ⋮ A complete and recursive feature theory ⋮ An order-sorted logic for knowledge representation systems ⋮ A logic for programming with complex objects ⋮ Semantic networks ⋮ The KL-ONE family ⋮ Completing sort hierarchies ⋮ The descriptive component of a hybrid knowledge representation language ⋮ Attributive concept descriptions with complements ⋮ Ordering constraints over feature trees expressed in second-order monadic logic. ⋮ Fuzzy types: A framework for handling uncertainty about types of objects ⋮ Tractable reasoning via approximation ⋮ Well-founded semantics and stratification for ordered logic programs ⋮ A feature constraint system for logic programming with entailment ⋮ Order-sorted logic programming with predicate hierarchy
