Consequence-based axiom pinpointing

DOI10.1007/978-3-030-00461-3_13zbMath1517.68362arXiv1805.10250OpenAlexW2803476906MaRDI QIDQ6109615

Rafael Peñaloza, Ana Ozaki

Publication date: 28 July 2023

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

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

zbMATH Keywords

nonstandard reasoningconsequence managementconsequence-based reasoning

Mathematics Subject Classification ID

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

This page was built for publication: Consequence-based axiom pinpointing