Research Output 1970 2018

Filter
Book
2016

Social Coordination Frameworks for Social Technical Systems

Aldewereld, H. (ed.), Boissier, O. (ed.), Dignum, V. (ed.), Noriega, P. (ed.) & Padget, J. (ed.), 18 Jul 2016, Springer International Publishing. (Law, Governance and Technology Series; vol. 30)

Research output: Book/ReportBook

2012

Mobile context awareness

Lovett, T. (ed.) & O'Neill, E. (ed.), 2012, London: Springer. 186 p.

Research output: Book/ReportBook

2011

Intelligent Computer Mathematics - 18th Symposium, Calculemus 2011 and 10th International Conference, MKM 2011, Proceedings

Davenport, J. H. (ed.), Farmer, W. (ed.), Urban, J. (ed.) & Rabe, F. (ed.), 2011, Heidelberg: Springer. (Lecture Notes in Computer Science)

Research output: Book/ReportBook

mathematics
artificial intelligence
knowledge management
deduction
event
7 Citations

Modelling Natural Action Selection

Seth, A. K. (ed.), Prescott, T. J. (ed.) & Bryson, J. J. (ed.), Nov 2011, Cambridge: Cambridge University Press. 560 p.

Research output: Book/ReportBook

2005

Modelling Natural Action Selection: Proceedings of an International Workshop

Seth, A. K. (ed.), Prescott, T. J. (ed.) & Bryson, J. J. (ed.), 2005, Sussex: AISB.

Research output: Book/ReportBook

2004
4 Citations

Open ontologies - The need for modeling heterogeneous knowledge

Froehner, T., Nickles, M. & Weiss, G., 2004, Unkown Publisher. (Ike '04: Proceedings of the International Conference on Information and Knowledge Engnineering)

Research output: Book/ReportBook

Ontology
Communication
Semantic Web
Processing

Reductive Logic and Proof-Search: Proof Theory, Semantics, and Control

Pym, D. J. & Ritter, E., 2004, Oxford: Clarendon Press.

Research output: Book/ReportBook

2003

Mathematical Knowledge Management: 2nd International Conference, MKM 2003, Bertorino, Italy: Proceedings

Asperti, A. (ed.), Buchberger, B. (ed.) & Davenport, J. H. (ed.), 2003, Berlin: Springer. (Lecture Notes in Computer Science; vol. 2594)

Research output: Book/ReportBook

People and computers XVII - design for society: proceedings of HCI 2003

O'Neill, E., Palanque, P. & Johnson, P., 2003, Springer. (BCS conference series)

Research output: Book/ReportBook

People and Computers XVIII: Conference Companion

Gray, P. & Johnson, H., 2003, Cambridge: Cambridge University Press.

Research output: Book/ReportBook

2002

The Semantics and Proof Theory of the Logic of Bunched Implications

Pym, D. J., 2002, Kluwer Academic Publishers. (Applied Logic Series)

Research output: Book/ReportBook

2001

User-developer cooperation in software development: building common ground and usable systems

O'Neill, E., 2001, London, UK: Springer. (Distinguished dissertations)

Research output: Book/ReportBook

1993

Design and Implementation of Symbolic Computation Systems

Fitch, J. P. (ed.), Sep 1993, Heidelberg, Germany: Springer. (Lecture Notes in Computer Science)

Research output: Book/ReportBook

1989

Computer Algebra and Parallelism

Della-Dora, J. (ed.) & Fitch, J. P. (ed.), 1989, Academic Press.

Research output: Book/ReportBook

1984

Proceedings of EUROSAM 84

Fitch, J. P. (ed.), 1984, Germany: Springer. (Lecture Notes in Computer Science)

Research output: Book/ReportBook

1981

On the Integration of Algebraic Functions

Davenport, J. H., 1981, Berlin, Germany: Springer. (Lecture Notes in Computer Science; vol. 102)

Research output: Book/ReportBook