Two results for prioritized logic programming

DOI10.1017/S1471068402001552MaRDI QIDQ4452603zbMATH OpenOpenAlexFDO

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

knowledge representationnonmonotonic reasoning

Mathematics Subject Classification ID

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

Cited in

(6)

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

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)