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 × Australia
1 × Canada
1 × Denmark
1 × Estonia
1 × France
1 × USA
1 × United Kingdom
2 × Austria
3 × Italy
Collaborated with:
F.Wolter R.Kontchakov S.Kikot V.V.Podolskii C.Lutz I.Pratt-Hartmann B.Konev O.Kutz I.M.Hodkinson H.Sturm E.Botoeva V.Ryzhikov D.Toman
Talks about:
logic (6) queri (5) descript (4) tempor (4) ontolog (2) rewrit (2) answer (2) decid (2) lite (2) base (2)

Person: Michael Zakharyaschev

DBLP DBLP: Zakharyaschev:Michael

Contributed to:

KR 20142014
CSL-LICS 20142014
ICALP (2) 20122012
KR 20122012
KR 20102010
KR 20082008
CADE 20052005
KR 20022002
LICS 20022002
IJCAR 20012001
KR 20002000
KR 19981998

Wrote 13 papers:

KR-2014-BotoevaKRWZ #knowledge base #logic #query
Query Inseparability for Description Logic Knowledge Bases (EB, RK, VR, FW, MZ).
LICS-CSL-2014-KikotKPZ #on the #ontology #query
On the succinctness of query rewriting over shallow ontologies (SK, RK, VVP, MZ), p. 10.
ICALP-v2-2012-KikotKPZ #bound #exponential #query
Exponential Lower Bounds and Separation for Query Rewriting (SK, RK, VVP, MZ), pp. 263–274.
KR-2012-KikotKZ #owl #query
Conjunctive Query Answering with OWL 2 QL (SK, RK, MZ).
KR-2010-KontchakovLTWZ #approach #query
The Combined Approach to Query Answering in DL-Lite (RK, CL, DT, FW, MZ).
KR-2010-KontchakovPZ #logic
Interpreting Topological Logics over Euclidean Spaces (RK, IPH, MZ).
KR-2008-KontchakovWZ #difference #ontology #question
Can You Tell the Difference Between DL-Lite Ontologies? (RK, FW, MZ), pp. 285–295.
CADE-2005-KonevWZ #logic #transitive
Temporal Logics over Transitive States (BK, FW, MZ), pp. 182–203.
Connecting Abstract Description Systems (OK, FW, MZ), pp. 215–226.
LICS-2002-HodkinsonWZ #branch #decidability #first-order #logic
Decidable and Undecidable Fragments of First-Order Branching Temporal Logics (IMH, FW, MZ), pp. 393–402.
IJCAR-2001-LutzSWZ #constant #logic
Tableaux for Temporal Description Logic with Constant Domains (CL, HS, FW, MZ), pp. 121–136.
KR-2000-WolterZ #reasoning #representation
Spatio-temporal representation and reasoning based on RCC-8 (FW, MZ), pp. 3–14.
KR-1998-WolterZ #decidability #logic #on the
On the Decidability of Description Logics with Modal Operators (FW, MZ), pp. 512–523.

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.