Harrison, Amelia
154  results:
Search for persons X
?
 
?
6

Guest editorial: special issue on answer set programming an..:

Bogaerts, Bart ; Erdem, Esra ; Harrison, Amelia
Annals of Mathematics and Artificial Intelligence.  86 (2019)  1-3 - p. 1-2 , 2019
 
?
7

Relating Two Dialects of Answer Set Programming:

HARRISON, AMELIA ; LIFSCHITZ, VLADIMIR
Theory and Practice of Logic Programming.  19 (2019)  5-6 - p. 1006-1020 , 2019
 
?
9

Program completion in the input language of GRINGO:

HARRISON, AMELIA ; LIFSCHITZ, VLADIMIR ; RAJU, DHANANJAY
Theory and Practice of Logic Programming.  17 (2017)  5-6 - p. 855-871 , 2017
 
?
11

Proving infinitary formulas:

HARRISON, AMELIA ; LIFSCHITZ, VLADIMIR ; MICHAEL, JULIAN
Theory and Practice of Logic Programming.  16 (2016)  5-6 - p. 787-799 , 2016
 
?
12

Stable models for infinitary formulas with extensional atom:

HARRISON, AMELIA ; LIFSCHITZ, VLADIMIR
Theory and Practice of Logic Programming.  16 (2016)  5-6 - p. 771-786 , 2016
 
?
13

First-order modular logic programs and their conservative e..:

HARRISON, AMELIA ; LIERLER, YULIYA
Theory and Practice of Logic Programming.  16 (2016)  5-6 - p. 755-770 , 2016
 
?
14

Abstract gringo:

GEBSER, MARTIN ; HARRISON, AMELIA ; KAMINSKI, ROLAND..
Theory and Practice of Logic Programming.  15 (2015)  4-5 - p. 449-463 , 2015
 
?
 
1-15