Dr Renate Schmidt

Reader

Affiliations:
Links:
Full contact details
ORCID: 0000-0002-6673-3333
View graph of relations

Research Networks and Beacons

Related information

Publications

Upwardly Abstracted Definition-Based Subontologies

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

Signature-Based Abduction for Expressive Description Logics

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

A Practical Approach to Forgetting in Description Logics with Nominals

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

View all (97)

Projects

Centre for Robotics and Artificial Intelligence

Project: Research

View all (1)

Activities

Artificial Intelligence Journal (Journal)

Activity: Publication peer-review and editorial work › Editorial work

Dagstuhl Seminar "SAT and Interactions"

Activity: Participating in or organising event(s) › Participating in a conference, workshop, exhibition, performance, inquiry, course etc

Member of EPSRC ICT Prioritisation Panel

Activity: Consultancy, spin-outs, CPD & licensing › Consultancy & Services

View all (19)

Datasets

Data and tools for: Tracking Logical Difference in Large-Scale Ontologies: A Forgetting-Based Approach

Dataset

SPASS-Yarralumla

Dataset

View all (2)

Student Theses

Computing Spaces of Independent Explanations via Abductive Reasoning

UoM administered thesis: Phd

An Interval Approach for Stability Analysis

UoM administered thesis: Phd

Automated Semantic Forgetting for Expressive Description Logics

UoM administered thesis: Phd

View all (9)