Sciweavers

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