Search Results - AAAI Press / The MIT Press :: UTM Library Massive Scholar Tracking

1

Status QIO: Conjunctive Query Entailment is Decidable by Glimm, B, Rudolph, S

Published 2010
“…AAAI Press/The MIT Press…”

Conference item
2

Unions of Conjunctive Queries in SHOQ by Glimm, B, Horrocks, I, Sattler, U

Published 2008
“…AAAI Press/The MIT Press…”

Conference item
3

Generalized Link Properties for Expressive E−connections of Description Logics. by Parsia, B, Cuenca Grau, B

Published 2005
“…AAAI Press / The MIT Press…”

Conference item
4

Reasoning−Supported Interactive Revision of Knowledge Bases by Nikitina, N, Rudolph, S, Glimm, B

Published 2011
“…AAAI Press/The MIT Press…”

Conference item