522 search results - page 9 / 105 » Real-time Logics: Complexity and Expressiveness |
AAAI
2006
13 years 9 months ago
2006
Description Logics (DLs) are the formal foundations of the standard web ontology languages OWL-DL and OWL-Lite. In the Semantic Web and other domains, ontologies are increasingly ...
COCO
1997
Springer
14 years 18 days ago
1997
Springer
LICS
1990
IEEE
14 years 14 days ago
1990
IEEE
JAR
2008
13 years 8 months ago
2008
IJAR
2008
13 years 8 months ago
2008
Linear constraints occur naturally in many reasoning problems and the information that they represent is often uncertain. There is a difficulty in applying AI uncertainty formalis...