Two results for prioritized logic programming

DOI10.1017/S1471068402001552zbMath1111.68387OpenAlexW2056806607MaRDI QIDQ4452603

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

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

Related Items (2)

Executable specifications for hypothesis-based reasoning with Prolog and Constraint Handling Rules ⋮ Solving logic program conflict through strong and weak forgettings

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