BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Austria
1 × Canada
1 × Italy
Collaborated with:
Talks about:
stabl (4) model (4) function (3) formula (3) intension (2) groundabl (1) partial (1) general (1) versus (1) theori (1)

Person: Michael Bartholomew

DBLP DBLP: Bartholomew:Michael

Contributed to:

KR 20142014
ICLP 20132013
KR 20122012
KR 20102010

Wrote 4 papers:

KR-2014-BartholomewL #modelling #multi
Stable Models of Multi-Valued Formulas: Partial versus Total Functions (MB, JL).
ICLP-J-2013-BartholomewL #on the #semantics
On the stable model semantics for intensional functions (MB, JL), pp. 863–876.
KR-2012-BartholomewL #modelling
Stable Models of Formulas with Intensional Functions (MB, JL).
KR-2010-BartholomewL #decidability #modelling
A Decidable Class of Groundable Formulas in the General Theory of Stable Models (MB, JL).

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.