|
Open Knowledge |
A platform for open, peer-to-peer knowledge sharing. |
|
Advanced Knowledge Technologies |
Developing foundations of large-scale, distributed knowledge engineering. |
|
Sustainable Lifecycles for Information Ecosystems |
Modelling large scale multi-agent systems. |
|
Frameworks for Reasoning in Safety Cases |
Using formal methods to represent and reason about safety requirements. |
|
Indigenous Knowledge |
Evidence-based decision support in ecological systems. |
|
Techniques Editor |
Structured design systems for logic programs. |
|
Intelligent Authoring Project |
Argumentation systems for reasoning about legal regulatory requirements. |
|
ECO |
Domain specific program synthesis for ecological modellers. |