Sciweavers

4617 search results - page 12 / 924
» Automation of Diagrammatic Reasoning
Sort
View
84
Voted
DLOG
2004
15 years 1 months ago
Towards Implementing Finite Model Reasoning in Description Logics
Marco Cadoli, Diego Calvanese, Giuseppe De Giacomo