research
∙
09/16/2020
Are Interpretations Fairly Evaluated? A Definition Driven Pipeline for Post-Hoc Interpretability
Recent years have witnessed an increasing number of interpretation metho...
share
research
∙
07/20/2017
Representing Hybrid Automata by Action Language Modulo Theories
Both hybrid automata and action languages are formalisms for describing ...
research
∙
01/16/2014
First-Order Stable Model Semantics and First-Order Loop Formulas
Lin and Zhaos theorem on loop formulas states that in the propositional ...
research
∙
01/08/2013