A
B
- Bayesian Optimization Bayesian Optimization and Bandits
C
- Computer Vision Image search and recognition
E
- ENFRame ENFrame: A Programming Framework for Probabilistic Data
F
- FDB FDB: Factorised Databases
G
M
- Model-driven software development Booster: Model-driven software development
P
- PDQ Proof-Driven Querying
- Probabilistic Graphical Models
R
- Reinforcement Learning Sequential decision making and reinforcement learning
S
- SPROUT Scalable Query Processing in Probabilistic Databases
A
- ALIGNED ALIGNED: Quality-Centric Software and Data Engineering
- AnaLOG Datalog Extensions for the Analysis of Static and Streaming Data
C
- Choreographing Complex Services
- ConDOR Consequence-Driven Ontology Reasoning
- Constraint Satisfaction for Configuration: Logical Fundamentals, Algorithms, and Complexity
D
- DBOnto DBOnto: Bridging Databases and Ontologies
- DIADEM DIADEM: Domain-centric Intelligent Automated Data Extraction Methodology
E
- e-Infrastructure Use Cases and Usage Models eIUS: e-Infrastructure Use Cases and Service Usage Models
- ED3 Enabling analytics over Diverse Distributed Datasources
- ExODA ExODA: Integrating Description Logics and Database Technologies for Expressive Ontology-Based Data Access
- ExtraLytics ExtraLytics: Big Data Analytics for Real Estate
F
- FOX FOX: Foundations of XML - Safe Processing of Dynamic Data over the Internet
G
H
- HermiT HermiT: Reasoning with Large Ontologies
L
- LogMap LogMap: Logic-based Methods for Ontology Mapping
- LOGO Logics for Ontologies (EPSRC Senior Research Fellowship)
M
- MaSI3 A Massively Scalable Intelligent Information Infrastructure
- MayBMS MayBMS: A Database Management System for Uncertain and Probabilistic Data
O
- Optique Optique: Scalable End-user Access to Big Data
P
- Parsing of Biomedical Text Accurate and Efficient Parsing of Biomedical Text
- Privacy in Ontology-Based Information Systems
Q
- Quantitative Logic-based Games Combining Qualitative and Quantitative Reasoning for Logic-based Games
- QueRe Query Rewriting for Expressive Ontology Languages
- Query-driven Data Acquisition from Web-based Data Sources
R
- REQUIEM REQUIEM: Resolution-based Query rewrIting for Expressive Models
- RInO Reasoning Infrastructure for Ontologies and Instances
- RoboCup RoboCup International Robot Competitions
- Robot Football OxBlue, Oxford's Robot Football teams at RoboCup
- Robotic Search and Rescue
S
- Schema Mappings and Automated Services for Data Integration and Exchange
- Score! Score!: Scalable and Complete Reasoning with Incomplete Ontology Reasoners
- SEALS SEALS: Semantic Evaluation at Large Scale
- Semantic Frameworks Semantic Frameworks for e-Government
- sif service-oriented interoperability framework
- Switched Lightpaths for e-Science Applications Exploitation of Switched Lightpaths for e-Science Applications
W
- Wolfson Award Royal Society Wolfson Research Merit Award
- Workflow interoperability A framework for workflow interoperability