Skip to main navigation
Skip to search
Skip to main content
University of Edinburgh Research Explorer Home
Help & FAQ
Home
Research output
Profiles
Research Units
Projects
Datasets
Prizes
Activities
Press / Media
Equipment
Search by expertise, name or affiliation
The integration and interaction of multiple mathematical Reasoning Processes
Bundy, Alan
(Principal Investigator)
Aspinall, David
(Co-Investigator (External))
Colton, Simon
(Co-Investigator (External))
Fleuriot, Jacques
(Co-Investigator (External))
Gow, Jeremy
(Co-Investigator (External))
Grov, Gudmund
(Co-Investigator (External))
Ireland, Andrew
(Co-Investigator (External))
Jackson, Paul
(Co-Investigator (External))
Mcneill, Fiona
(Co-Investigator (External))
Michaelson, Greg
(Co-Investigator (External))
Smaill, Alan
(Co-Investigator (External))
School of Informatics
Laboratory for Foundations of Computer Science
Data Science and Artificial Intelligence
Foundations of Computation
Language, Interaction and Robotics
Overview
Fingerprint
Research output
(28)
Research output
Research output per year
2013
2015
2016
2017
2021
14
Conference contribution
7
Article
3
Chapter (peer-reviewed)
1
Chapter
3
More
1
Paper
1
Book/Film/Article review
1
Working paper
Research output per year
Research output per year
1 results
Publication Year, Title
(ascending)
Publication Year, Title
(descending)
Title
Type
Filter
Chapter
Search results
2018
Facilitating Interaction Between Virtual Agents through Negotiation over Ontological Representation
McNeill, F.
&
Bundy, A.
,
1 Nov 2018
,
Advanced Methodologies and Technologies in Digital Marketing and Entrepreneurship.
IGI Global
,
p. 143-154
12 p.
Research output
:
Chapter in Book/Report/Conference proceeding
›
Chapter
Ontology
100%
Repair
96%
Industry
51%