Sciweavers

4573 search results - page 112 / 915
» Automated Reasoning
Sort
View
DLOG
2009
15 years 2 months ago
Adding Weight to DL-Lite
Alessandro Artale, Diego Calvanese, Roman Kontchak...
DLOG
2009
15 years 2 months ago
A Comparison of Query Rewriting Techniques for DL-lite
Héctor Pérez-Urbina, Boris Motik, Ia...
DLOG
2009
15 years 2 months ago
Concept Projection in Algebras for Computing Certain Answer Descriptions
Jeffrey Pound, David Toman, Grant E. Weddell, Jiew...
108
Voted
GIS
2010
ACM
15 years 2 months ago
Memory-efficient A*-search using sparse embeddings
Franz Graf, Hans-Peter Kriegel, Matthias Renz, Mat...
152
Voted
CSL
2011
Springer
14 years 11 months ago
Geometric representations of language taxonomies
Ph. Blanchard, Filippo Petroni, Maurizio Serva, D....