MRG home page
Research
Publications
Software
People
AKT Goal
This is an appropriate goal to test the ontology with. It can be reached, after some refinements have been performed, from the original ontology. This is the goal that has been used to produced the results detailed.
'memberOrganization(researchAgent,refinementSig)'
Links
Main Project Page
The Mathematical Reasoning Group
Funding
The project is funded by
EPSRC
.
Webpage maintained by Fiona McNeill
