Brave nonmonotonic inference and its kinds

DOI10.1023/A:1024456630690zbMath1053.68096OpenAlexW1515361955MaRDI QIDQ1397238

Alexander Bochman

Publication date: 27 July 2003

Published in: Annals of Mathematics and Artificial Intelligence (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1023/a:1024456630690

zbMATH Keywords

epistemic stateuniform semantic representation

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27)

Related Items (1)

Conflicting imperatives and dyadic deontic logic

This page was built for publication: Brave nonmonotonic inference and its kinds