Separating Fairness and Well-Foundedness for the Analysis of Fair Discrete Systems.

Amir Pnueli Andreas Podelski Andrey Rybalchenko

Published in: TACAS (2005)

Keyphrases

statistical analysis
distributed systems
information systems
data sets
information technology
complex systems
learning systems
computer systems
intelligent systems
software engineering
image analysis
expert systems
digital libraries
multimedia
knowledge base
decision making
artificial intelligence