Sciweavers

DLOG
2008
15 years 8 months ago
Towards Higher-Order DL-Lite
Giuseppe De Giacomo, Maurizio Lenzerini, Riccardo ...
156
Voted
ICIA
2007
15 years 8 months ago
Why and How to Model Multi-Modal Interaction for a Mobile Robot Companion
Verbal and non-verbal interaction capabilities for robots are often studied isolated from each other in current research trend because they largely contribute to different aspects...
Shuyin Li, Britta Wrede
DLOG
2008
15 years 8 months ago
A Proof-Theoretic Subsumption Reasoner for Hybrid EL-TBoxes
Hybrid EL-TBoxes combine general concept inclusions (GCIs), which are interpreted with descriptive semantics, with cyclic concept definitions, which are interpreted with greatest f...
Franz Baader, Novak Novakovik, Boontawee Suntisriv...
ICIA
2007
15 years 8 months ago
An Intelligent Discussion-Bot for Guiding Student Interactions in Threaded Discussions
Although there are high expectations for collaborative discussion and on-line learning, existing systems for on-line discussion and chat facilities are not fully effective in prom...
Jihie Kim, Erin Shaw, Grace Chern, Donghui Feng
DLOG
2008
15 years 8 months ago
Taming the Infinite Chase: Query Answering under Expressive Relational Constraints
Answering queries posed over knowledge bases is a central problem in knowledge representation and database theory. In databases, query containment is one of the important query op...
Andrea Calì, Georg Gottlob, Michael Kifer