Title | Journal | Journal Categories | Citations | Publication Date |
---|---|---|---|---|
Automated argument adjudication to solve ethical problems in multi-agent environments | Paladyn, Journal of Behavioral Robotics |
| 2 | 2021 |
Attention and consciousness in intentional action: steps toward rich artificial agency | Journal of Artificial Intelligence and Consciousness | 2020 | ||
Logical Formalizations of Commonsense Reasoning: A Survey | Journal of Artificial Intelligence Research | 11 | 2017 | |
Proof verification and proof discovery for relativity | Synthese |
| 5 | 2015 |
A Vindication of Program Verification | History and Philosophy of Logic |
| 5 | 2015 |