Annotated revision specification programs

DOI10.1007/3-540-59487-6_11zbMath1496.68333OpenAlexW1524723632MaRDI QIDQ5101447

Melvin Fitting

Publication date: 30 August 2022

Published in: Logic Programming and Nonmonotonic Reasoning (Search for Journal in Brave)

Full work available at URL: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.40.5260

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Knowledge representation (68T30) Logic programming (68N17)

Related Items (2)

Natural dualities through product representations: bilattices and beyond ⋮ Annotated revision programs

Cites Work

• Bilattices and the semantics of logic programming
• The family of stable models
• Unnamed Item
• Unnamed Item

This page was built for publication: Annotated revision specification programs