BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Ozaki:Ana

Contributed to:

KR 20142014
CADE 20172017

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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.