A logic of ``black box classifier systems

DOI10.1007/978-3-031-15298-6_10arXiv2210.07161MaRDI QIDQ6103001

Emiliano Lorini, Xinghan Liu

Publication date: 2 June 2023

Published in: Logic, Language, Information, and Computation (Search for Journal in Brave)

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

Mathematics Subject Classification ID

Logic in computer science (03B70)

Cites Work

• Unnamed Item
• Propositional logics of dependence
• Dynamic epistemic logic
• Many-dimensional modal logics: theory and applications
• All normal extensions of S5-squared are finitely axiomatizable
• All proper normal extensions of S5-square have the polynomial size model property
• The effect of bounding the number of primitive propositions and the depth of nesting on the complexity of modal logic
• A simple logic of functional dependence
• Explanation in artificial intelligence: insights from the social sciences
• Logics of public communications
• A logic for binary classifiers and their explanation
• A Way to Simplify Truth Functions
• The Ceteris Paribus Structure of Logics of Game Forms

This page was built for publication: A logic of ``black box classifier systems