Amelia Harrison
From MaRDI portal
Person:2851268
List of research outcomes
This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!
| Publication | Date of Publication | Type |
|---|---|---|
| Relating two dialects of answer set programming Theory and Practice of Logic Programming | 2020-05-04 | Paper |
| Abstract gringo Theory and Practice of Logic Programming | 2017-11-09 | Paper |
| On equivalence of infinitary formulas under the stable model semantics Theory and Practice of Logic Programming | 2017-11-09 | Paper |
| First-order modular logic programs and their conservative extensions Theory and Practice of Logic Programming | 2017-11-09 | Paper |
| Stable models for infinitary formulas with extensional atoms Theory and Practice of Logic Programming | 2017-11-09 | Paper |
| Proving infinitary formulas Theory and Practice of Logic Programming | 2017-11-09 | Paper |
| Program completion in the input language of GRINGO Theory and Practice of Logic Programming | 2017-11-08 | Paper |
| On Equivalent Transformations of Infinitary Formulas under the Stable Model Semantics Logic Programming and Nonmonotonic Reasoning | 2013-10-10 | Paper |
Research outcomes over time
This page was built for person: Amelia Harrison
