The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of Amelia Harrison Amelia J. Harrison ( http://dblp.L3S.de/Authors/Amelia_Harrison )

  Author page on DBLP  Author page in RDF  Community of Amelia Harrison in ASPL-2

Publication years (Num. hits)
2013-2016 (18) 2017-2019 (7)
Publication types (Num. hits)
article(17) inproceedings(7) proceedings(1)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
No Growbag Graphs found.

Results
Found 26 publication records. Showing 25 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Amelia Harrison, Vladimir Lifschitz Relating Two Dialects of Answer Set Programming. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
1Bart Bogaerts 0001, Esra Erdem 0001, Amelia Harrison Guest editorial: special issue on answer set programming and other computing paradigms. Search on Bibsonomy Ann. Math. Artif. Intell. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Amelia Harrison, Vladimir Lifschitz, David Pearce 0001, Agustín Valverde Infinitary equilibrium logic and strongly equivalent logic programs. Search on Bibsonomy Artif. Intell. The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Amelia Harrison, Vladimir Lifschitz, Dhananjay Raju Program Completionin the Input Language of GRINGO. Search on Bibsonomy CoRR The full citation details ... 2017 DBLP  BibTeX  RDF
1Amelia Harrison, Vladimir Lifschitz, Dhananjay Raju Program completion in the input language of GRINGO. Search on Bibsonomy TPLP The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Bart Bogaerts 0001, Amelia Harrison (eds.) Proceedings of the 10th Workshop on Answer Set Programming and Other Computing Paradigms co-located with the 14th International Conference on Logic Programming and Nonmonotonic Reasoning, ASPOCP@LPNMR 2017, Espoo, Finland, July 3, 2017. Search on Bibsonomy ASPOCP@LPNMR The full citation details ... 2017 DBLP  BibTeX  RDF
1Amelia Harrison, Yuliya Lierler First-Order Modular Logic Programs and their Conservative Extensions (Extended Abstract). Search on Bibsonomy IJCAI The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Amelia Harrison, Vladimir Lifschitz, Julian Michael Proving Infinitary Formulas. Search on Bibsonomy CoRR The full citation details ... 2016 DBLP  BibTeX  RDF
1Amelia Harrison, Yuliya Lierler First-Order Modular Logic Programs and their Con: set servative Extensions. Search on Bibsonomy CoRR The full citation details ... 2016 DBLP  BibTeX  RDF
1Amelia Harrison, Vladimir Lifschitz Stable Models for Infinitary Formulas with Extensional Atoms. Search on Bibsonomy CoRR The full citation details ... 2016 DBLP  BibTeX  RDF
1Amelia Harrison, Vladimir Lifschitz, Julian Michael Proving infinitary formulas. Search on Bibsonomy TPLP The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Amelia Harrison, Vladimir Lifschitz Stable models for infinitary formulas with extensional atoms. Search on Bibsonomy TPLP The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Amelia Harrison, Yuliya Lierler First-order modular logic programs and their conservative extensions. Search on Bibsonomy TPLP The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Martin Gebser, Amelia Harrison, Roland Kaminski, Vladimir Lifschitz, Torsten Schaub Abstract Gringo. Search on Bibsonomy CoRR The full citation details ... 2015 DBLP  BibTeX  RDF
1Amelia Harrison, Vladimir Lifschitz, Miroslaw Truszczynski On equivalence of infinitary formulas under the stable model semantics. Search on Bibsonomy TPLP The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Martin Gebser, Amelia Harrison, Roland Kaminski, Vladimir Lifschitz, Torsten Schaub Abstract gringo. Search on Bibsonomy TPLP The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Amelia Harrison, Vladimir Lifschitz, David Pearce 0001, Agustín Valverde Infinitary Equilibrium Logic and Strong Equivalence. Search on Bibsonomy LPNMR The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Amelia Harrison Formal Methods for Answer Set Programming. Search on Bibsonomy ICLP (Technical Communications) The full citation details ... 2015 DBLP  BibTeX  RDF
1Daniel Bailey, Amelia J. Harrison, Yuliya Lierler, Vladimir Lifschitz, Julian Michael The Winograd Schema Challenge and Reasoning about Correlation. Search on Bibsonomy AAAI Spring Symposia The full citation details ... 2015 DBLP  BibTeX  RDF
1Amelia Harrison, Vladimir Lifschitz, Miroslaw Truszczynski On Equivalence of Infinitary Formulas under the Stable Model Semantics. Search on Bibsonomy CoRR The full citation details ... 2014 DBLP  BibTeX  RDF
1Amelia J. Harrison, Vladimir Lifschitz, Fangkai Yang The Semantics of Gringo and Infinitary Propositional Formulas. Search on Bibsonomy KR The full citation details ... 2014 DBLP  BibTeX  RDF
1Amelia Harrison, Vladimir Lifschitz, Fangkai Yang On the Semantics of Gringo. Search on Bibsonomy CoRR The full citation details ... 2013 DBLP  BibTeX  RDF
1Amelia Harrison The Semantics of Gringo and Proving Strong Equivalence. Search on Bibsonomy TPLP The full citation details ... 2013 DBLP  BibTeX  RDF
1Amelia Harrison, Vladimir Lifschitz, Miroslaw Truszczynski On Equivalent Transformations of Infinitary Formulas under the Stable Model Semantics. Search on Bibsonomy LPNMR The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Yinon Bentor, Amelia Harrison, Shruti Bhosale, Raymond J. Mooney University of Texas at Austin KBP 2013 Slot Filling System: Bayesian Logic Programs for Textual Inference. Search on Bibsonomy TAC The full citation details ... 2013 DBLP  BibTeX  RDF
Displaying result #1 - #25 of 25 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license