Two results for prioritized logic programming

DOI10.1017/S1471068402001552zbMATH Open1111.68387OpenAlexW2056806607MaRDI QIDQ4452603FDOQ4452603

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

Recommendations

• scientific article; zbMATH DE number 2209386
• scientific article; zbMATH DE number 1222413
• scientific article; zbMATH DE number 1249652
• Publication:4940929
• scientific article; zbMATH DE number 1748571

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
• Title not available (Why is that?)
• Title not available (Why is that?)
• Prioritized logic programming and its application to commonsense reasoning
• Solving logic program conflict through strong and weak forgettings

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)