Travelled to:1 × Austria
1 × Canada
1 × Italy
Collaborated with:J.Lee
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: Bartholomew:Michael
Contributed to:
2014
201320122010Wrote 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).