Minimal model semantics for sorted constraint representation

DOI10.1007/BF02948339zbMath0845.68072OpenAlexW2052327616MaRDI QIDQ1907066

Zhongzhi Shi, Lejian Liao

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

constraint networksclass hierarchies

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55)

Cites Work

• A mathematical treatment of defeasible reasoning and its implementation.
• Constraint propagation with interval labels
• A logical framework for default reasoning
• A logic for default reasoning
• A skeptical theory of inheritance in nonmonotonic semantic networks
• Towards a meaning of life
• Hierarchical constraint logic programming
• Unnamed Item
• Unnamed Item
• Unnamed Item

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