Amelia Harrison

Available identifiers

zbMath Open harrison.ameliaMaRDI QIDQ2851268

List of research outcomes

Publication	Date of Publication	Type
Relating Two Dialects of Answer Set Programming	2020-05-04	Paper
Abstract gringo	2017-11-09	Paper
On equivalence of infinitary formulas under the stable model semantics	2017-11-09	Paper
First-order modular logic programs and their conservative extensions	2017-11-09	Paper
Stable models for infinitary formulas with extensional atoms	2017-11-09	Paper
Proving infinitary formulas	2017-11-09	Paper
Program completion in the input language of GRINGO	2017-11-08	Paper
On Equivalent Transformations of Infinitary Formulas under the Stable Model Semantics	2013-10-10	Paper

Research outcomes over time

This page was built for person: Amelia Harrison