SOCIAM: the theory and proctice of social machines

Robertson, David (Principal Investigator)
Buneman, Peter (Co-investigator)

Status	Finished
Effective start/end date	1/06/12 → 31/05/17

Funding

EPSRC: £1,841,029.00

11 Conference contribution
7 Article
2 Chapter
1 Chapter (peer-reviewed)

#Deathbedlive: the end-of-life trajectory, reflected in a cancer patient's tweets
Taylor, J. & Pagliari, C., 22 Jan 2018, In: BMC palliative care. 17, 1, p. 17
Research output: Contribution to journal › Article › peer-review

Open Access
File
WorkflowFM: A Logic-Based Framework for Formal Process Specification and Composition
Papapanagiotou, P. & Fleuriot, J., 11 Jul 2017, Automated Deduction – CADE 26. Springer, p. 357-370 14 p. (Lecture Notes in Computer Science ; vol. 10395).
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Open Access
File
Towards mathematical AI via a model of the content and process of mathematical question and answer dialogues
Corneli, J., Martin, U., Murray-Rust, D. & Pease, A., 28 Jun 2017, Intelligent Computer Mathematics 10th International Conference, CICM 2017. Geuvers, H., England, M., Hasan, O., Rabe, F. & Teschke, O. (eds.). Springer, p. 132-146 14 p. (Lecture Notes in Computer Science; vol. 10383).
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Open Access
File

1 Participation in conference
1 Oral presentation

The Meaning and Misuse of Identity in the Social Machine Age
Claudia Pagliari (Speaker)
27 May 2018
Activity: Academic talk or presentation types › Oral presentation
CEPE/ETHICOMP 2017
Claudia Pagliari (Member of programme committee)
2017
Activity: Participating in or organising an event types › Participation in conference