Logics for the new AI spring

DOI10.1016/J.IJAR.2024.109199MaRDI QIDQ6577632zbMATH OpenFDO

Authors

Publication date 24 July 2024

Published in International Journal of Approximate Reasoning (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/J.IJAR.2024.109199

Mathematics Subject Classification ID

Collections of articles of miscellaneous specific interest (00B15) Proceedings, conferences, collections, etc. pertaining to computer science (68-06) Reasoning under uncertainty in the context of artificial intelligence (68T37)

Cites work

• A probabilistic analysis of selected notions of iterated conditioning under coherence
• A probabilistic modal logic for context-aware trust based on evidence
• Alien coding
• From undecidability of non-triviality and finiteness to undecidability of learnability
• MaxSAT resolution for regular propositional logic
• Moderated revision
• Morpho-logic from a topos perspective -- application to symbolic AI
• Reasoning about knowledge and conditional probability

This page was built for publication: Logics for the new AI spring

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6577632)