Folgen
Amelia Harrison
Amelia Harrison
Bestätigte E-Mail-Adresse bei cs.utexas.edu
Titel
Zitiert von
Zitiert von
Jahr
Abstract gringo
M Gebser, A Harrison, R Kaminski, V Lifschitz, T Schaub
Theory and Practice of Logic Programming 15 (4-5), 449-463, 2015
852015
The winograd schema challenge and reasoning about correlation
D Bailey, AJ Harrison, Y Lierler, V Lifschitz, J Michael
2015 AAAI Spring Symposium Series, 2015
512015
The semantics of Gringo and infinitary propositional formulas
AJ Harrison, V Lifschitz, F Yang
Fourteenth International Conference on the Principles of Knowledge …, 2014
252014
Infinitary equilibrium logic and strongly equivalent logic programs
A Harrison, V Lifschitz, D Pearce, A Valverde
Artificial Intelligence 246, 22-33, 2017
152017
On equivalence of infinitary formulas under the stable model semantics
A Harrison, V Lifschitz, M Truszczynski
Theory and Practice of Logic Programming 15 (1), 18-34, 2015
142015
Program completion in the input language of GRINGO
A Harrison, V Lifschitz, D Raju
Theory and Practice of Logic Programming 17 (5-6), 855-871, 2017
112017
Infinitary equilibrium logic and strong equivalence
A Harrison, V Lifschitz, D Pearce, A Valverde
International Conference on Logic Programming and Nonmonotonic Reasoning …, 2015
112015
First-Order Modular Logic Programs and their Conservative Extensions
A Harrison, Y Lierler
arXiv preprint arXiv:1608.02681, 2016
102016
University of Texas at Austin KBP 2013 Slot Filling System: Bayesian Logic Programs for Textual Inference.
Y Bentor, A Harrison, S Bhosale, RJ Mooney
TAC, 2013
72013
Relating two dialects of answer set programming
A Harrison, V Lifschitz
Theory and Practice of Logic Programming 19 (5-6), 1006-1020, 2019
62019
The winograd schema challenge and reasoning about correlation. In 2015 AAAI Spring Symposia
D Bailey, AJ Harrison, Y Lierler, V Lifschitz, J Michael
AAAI Press, 2015
52015
Infinitary equilibrium logic
A Harrison, V Lifschitz, D Pearce, A Valverde
Working Notes of Workshop on Answer Set Programming and Other Computing …, 2014
52014
On the semantics of gringo
A Harrison, V Lifschitz, F Yang
arXiv preprint arXiv:1312.6149, 2013
52013
On equivalent transformations of infinitary formulas under the stable model semantics
A Harrison, V Lifschitz, M Truszczynski
International Conference on Logic Programming and Nonmonotonic Reasoning …, 2013
42013
Formal methods for answer set programming
AJ Harrison
32017
Proving infinitary formulas
A Harrison, V Lifschitz, J Michael
Theory and Practice of Logic Programming 16 (5-6), 787-799, 2016
32016
Stable models for infinitary formulas with extensional atoms
A Harrison, V Lifschitz
Theory and Practice of Logic Programming 16 (5-6), 771-786, 2016
32016
Finite proofs for infinitary formulas
A Harrison, V Lifschitz, J Michael
Working Notes of the Workshop on Answer Set Programming and Other Computing …, 2015
22015
Guest editorial: special issue on answer set programming and other computing paradigms.
B Bogaerts, E Erdem, A Harrison
Ann. Math. Artif. Intell. 86 (1-3), 1-2, 2019
12019
A Direct Proof of Hosoi’s Theorem
A Harrison, V Lifschitz, D Pearce, A Valverde
Extended Abstract, Third St. Petersburg Days of LOGIC and COMPUTABILITY …, 2015
12015
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20