On the relationship between TMS and logic programs

DOI10.1007/BF02939505zbMATH Open0814.68122MaRDI QIDQ1333372FDOQ1333372

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)

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

zbMATH Keywords

logic programstruth maintenance systems

Mathematics Subject Classification ID

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

Cites Work

• The Semantics of Predicate Logic as a Programming Language
• Title not available (Why is that?)
• A logic for default reasoning
• Title not available (Why is that?)
• Title not available (Why is that?)

Cited In (1)

• Title not available (Why is that?)

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)