On the relationship between TMS and logic programs

DOI10.1007/BF02939505MaRDI QIDQ1333372zbMATH OpenFDO

Authors Xianchang Wang, Huowang Chen, Quinping Zhao

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)

Recommendations

• scientific article; zbMATH DE number 1407682
• scientific article; zbMATH DE number 67479
• Publication:5750424
• scientific article; zbMATH DE number 910717
• Relating logic programs via program maps
• Logic programs and connectionist networks
• Some relationships between logics of programs and complexity theory
• The relation between logic programming and logic specification
• scientific article; zbMATH DE number 176721
• Publication:3476794

Cites work

• scientific article; zbMATH DE number 43398 (Why is no real title available?)
• scientific article; zbMATH DE number 67479 (Why is no real title available?)
• scientific article; zbMATH DE number 4185060 (Why is no real title available?)
• A logic for default reasoning
• The Semantics of Predicate Logic as a Programming Language

Cited in

(1)

• scientific article; zbMATH DE number 4185058 (Why is no real title available?)

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

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