The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Michael Bartholomew" ( http://dblp.L3S.de/Authors/Michael_Bartholomew )

  Author page on DBLP  Author page in RDF  Community of Michael Bartholomew in ASPL-2

Publication years (Num. hits)
2010-2019 (12)
Publication types (Num. hits)
article(4) inproceedings(7) phdthesis(1)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
No Growbag Graphs found.

Results
Found 13 publication records. Showing 12 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Michael Bartholomew, Joohyung Lee First-order stable model semantics with intensional functions. Search on Bibsonomy Artif. Intell. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Michael Bartholomew Answer Set Programming Modulo Theories. Search on Bibsonomy 2016   RDF
1Michael Bartholomew, Joohyung Lee System aspmt2smt: Computing ASPMT Theories by SMT Solvers. Search on Bibsonomy JELIA The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Michael Bartholomew, Joohyung Lee Stable Models of Multi-Valued Formulas: Partial versus Total Functions. Search on Bibsonomy KR The full citation details ... 2014 DBLP  BibTeX  RDF
1Michael Bartholomew, Joohyung Lee A Functional View of Strong Negation in Answer Set Programming. Search on Bibsonomy CoRR The full citation details ... 2013 DBLP  BibTeX  RDF
1Michael Bartholomew The Role of Functions in the Stable Model Semantics. Search on Bibsonomy TPLP The full citation details ... 2013 DBLP  BibTeX  RDF
1Michael Bartholomew, Joohyung Lee On the stable model semantics for intensional functions. Search on Bibsonomy TPLP The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Michael Bartholomew, Joohyung Lee Functional Stable Model Semantics and Answer Set Programming Modulo Theories. Search on Bibsonomy IJCAI The full citation details ... 2013 DBLP  BibTeX  RDF
1Michael Bartholomew, Joohyung Lee Stable Models of Formulas with Intensional Functions. Search on Bibsonomy KR The full citation details ... 2012 DBLP  BibTeX  RDF
1Michael Bartholomew, Joohyung Lee, Yunsong Meng First-Order Semantics of Aggregates in Answer Set Programming Via Modified Circumscription. Search on Bibsonomy AAAI Spring Symposium: Logical Formalizations of Commonsense Reasoning The full citation details ... 2011 DBLP  BibTeX  RDF
1Michael Bartholomew, Joohyung Lee, Yunsong Meng First-Order Extension of the FLP Stable Model Semantics via Modified Circumscription. Search on Bibsonomy IJCAI The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Michael Bartholomew, Joohyung Lee A Decidable Class of Groundable Formulas in the General Theory of Stable Models. Search on Bibsonomy KR The full citation details ... 2010 DBLP  BibTeX  RDF
Displaying result #1 - #12 of 12 (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