Sciweavers

1071 search results - page 28 / 215
» Modal Logics, Description Logics and Arithmetic Reasoning
Sort
View
DLOG
2008
13 years 10 months ago
LTL over Description Logic Axioms
Franz Baader, Silvio Ghilardi, Carsten Lutz
DLOG
2003
13 years 9 months ago
Basic Description Logics
Franz Baader, Werner Nutt
DLOG
2003
13 years 9 months ago
An Introduction to Description Logics
Daniele Nardi, Ronald J. Brachman