Concepedia

Amelia Harrison

AH

Statistics

Publications

5

Citations

159

H-Index

5

Active since

2014

Affiliations

The University of Texas at Austin(Current)

Amelia Harrison is an author at The University of Texas at Austin specializing in computer science, logic, and logic programming.

Publications per year

2014–2017

5

Publications

5

Abstract gringo

Martin Gebser, Amelia Harrison, Roland Kaminski et al. · Theory and Practice of Logic Programming · 2015 · 69 citations · Full text

Computing, Computer Science, Knowledge Representation +10

The Winograd Schema Challenge and Reasoning about Correlation

Daniel Bailey, Amelia Harrison, Yuliya Lierler et al. · National Conference on Artificial Intelligence · 2015 · 45 citations

Language Studies, Computer Science, Computational Linguistics +12

Infinitary equilibrium logic and strongly equivalent logic programs

Amelia Harrison, Vladimir Lifschitz, David Pearce et al. · Artificial Intelligence · 2017 · 19 citations

Humanities, Mathematics, Formal Methods +6

The semantics of Gringo and infinitary propositional formulas

Amelia Harrison, Vladimir Lifschitz, Fangkai Yang · 2014 · 15 citations

Computing, Computer Science, Formal Methods +8

On equivalence of infinitary formulas under the stable model semantics

Amelia Harrison, Vladimir Lifschitz, Mirosław Truszczyński · Theory and Practice of Logic Programming · 2014 · 11 citations · Full text

Humanities, Computer Science, Logic +10

1–5 of 5