On the relationship between TMS and logic programs

DOI10.1007/BF02939505zbMath0814.68122MaRDI QIDQ1333372

Quinping Zhao, Huowang Chen, Xianchang Wang

Publication date: 17 October 1994

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

zbMATH Keywords

logic programstruth maintenance systems

Mathematics Subject Classification ID

Knowledge representation (68T30) Logic programming (68N17)

Cites Work

• A logic for default reasoning
• The Semantics of Predicate Logic as a Programming Language
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: On the relationship between TMS and logic programs