`Travelled to:`

1 × Austria

`Collaborated with:`

U.Hustadt C.Dixon B.Konev C.Lutz F.Wolter

`Talks about:`

logic (2) lightweight (1) descript (1) theorem (1) ontolog (1) tempor (1) metric (1) prove (1) natur (1) learn (1)

## Person: Ana Ozaki

### DBLP: Ozaki:Ana

### Contributed to:

### Wrote 2 papers:

- KR-2014-KonevLOW #learning #lightweight #logic #ontology
- Exact Learning of Lightweight Description Logic Ontologies (BK, CL, AO, FW).
- CADE-2017-HustadtOD #logic #metric #proving #theorem proving
- Theorem Proving for Metric Temporal Logic over the Naturals (UH, AO, CD), pp. 326–343.