Amelia Harrison
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
3
Active years
2013–2017
Best venue rank
A*
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2017 | IJCAI | First-Order Modular Logic Programs and their Conservative Extensions (Extended Abstract). | Amelia Harrison, Yuliya Lierler |
| 2015 | ICLP | Formal Methods for Answer Set Programming. | Amelia Harrison |
| 2015 | LPNMR | Infinitary Equilibrium Logic and Strong Equivalence. | Amelia Harrison, Vladimir Lifschitz, David Pearce, Agustn Valverde |
| 2013 | LPNMR | On Equivalent Transformations of Infinitary Formulas under the Stable Model Semantics. | Amelia Harrison, Vladimir Lifschitz, Miroslaw Truszczynski |