142 search results - page 29 / 29 » Simultaneous SAT-Based Model Checking of Safety Properties |
221
Voted
AAAI
2006
15 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 ...
198
Voted
CP
2004
Springer
16 years 26 days ago
2004
Springer
In real-life temporal scenarios, uncertainty and preferences are often essential, coexisting aspects. We present a formalism where temporal constraints with both preferences and un...