Minimal model semantics for sorted constraint representation

DOI10.1007/BF02948339MaRDI QIDQ1907066zbMATH OpenOpenAlexFDO

Authors Lejian Liao, Zhongzhi Shi

Publication date 28 January 1996

Published in Journal of Computer Science and Technology (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/bf02948339

zbMATH Keywords

class hierarchiesconstraint networks

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55)

Recommendations

• The substitutional framework for sorted deduction: Fundamental results on hybrid reasoning
• Representability of default logic in artificial intelligence
• A Default Approach to Semantics of Logic Programs with Constraint Atoms
• A perspective of constraint-based reasoning. An introductory tutorial
• An order-sorted logic for knowledge representation systems

Cites work

• A logic for default reasoning
• A logical framework for default reasoning
• A mathematical treatment of defeasible reasoning and its implementation.
• A skeptical theory of inheritance in nonmonotonic semantic networks
• Constraint propagation with interval labels
• Hierarchical constraint logic programming
• scientific article; zbMATH DE number 67480 (Why is no real title available?)
• scientific article; zbMATH DE number 67505 (Why is no real title available?)
• scientific article; zbMATH DE number 3559037 (Why is no real title available?)
• Towards a meaning of life

Cited in

(2)

• The substitutional framework for sorted deduction: Fundamental results on hybrid reasoning
• scientific article; zbMATH DE number 1822452 (Why is no real title available?)

This page was built for publication: Minimal model semantics for sorted constraint representation

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1907066)