Where fail-safe default logics fail

DOI10.1145/1227839.1227842zbMath1367.68284arXivcs/0403032OpenAlexW2951291273WikidataQ126254877 ScholiaQ126254877MaRDI QIDQ5277775

Paolo Liberatore

Publication date: 12 July 2017

Published in: ACM Transactions on Computational Logic (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/cs/0403032

zbMATH Keywords

default logicpolynomial-time translations

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27)

Related Items (2)

Redundancy in logic. III: Non-monotonic reasoning ⋮ Seminormalizing a default theory

This page was built for publication: Where fail-safe default logics fail