Login / Signup
Alexandra Silva
Publication Activity (10 Years)
Years Active: 2023-2023
Publications (10 Years): 1
Top Topics
Knowledge Representation Formalisms
Abductive Reasoning
Derivation Rules
Human Reasoning
Top Venues
CoRR
</>
Publications
</>
Noam Zilberstein
,
Derek Dreyer
,
Alexandra Silva
Outcome Logic: A Unifying Foundation for Correctness and Incorrectness Reasoning.
CoRR
(2023)