Two results for prioritized logic programming

DOI10.1017/S1471068402001552MaRDI QIDQ4452603zbMATHOpenAlexFDO

Authors Yan Zhang

Publication date 1 March 2004

Published in Theory and Practice of Logic Programming (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1017/s1471068402001552

zbMATH Keywords

nonmonotonic reasoningknowledge representation

Mathematics Subject Classification ID

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

Cited in

(5)

• Executable specifications for hypothesis-based reasoning with Prolog and Constraint Handling Rules
• Solving logic program conflict through strong and weak forgettings
• Prioritized logic programming and its application to commonsense reasoning
• scientific article; zbMATH DE number 1696794 (Why is no real title available?)
• scientific article; zbMATH DE number 2209386 (Why is no real title available?)

This page was built for publication: Two results for prioritized logic programming

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