3244 search results - page 469 / 649 » Extensions to Description Logics |
123
click to vote
INFOCOM
2007
IEEE
16 years 26 days ago
2007
IEEE
Abstract— Reliability is critical to a variety of network applications. Unfortunately, due to lack of QoS support across ISP boundaries, it is difficult to achieve even two 9s (...
184
click to vote
EPIA
2007
Springer
16 years 22 days ago
2007
Springer
Recently, the logics of minimal knowledge and negation as failure MKNF [12] was used to introduce hybrid MKNF knowledge bases [14], a powerful formalism for combining open and clos...
145
click to vote
FOSSACS
2007
Springer
16 years 22 days ago
2007
Springer
ATL is a temporal logic geared towards the specification and verification of properties in multi-agents systems. It allows to reason on the existence of strategies for coalitions...
155
click to vote
ICTAC
2007
Springer
16 years 22 days ago
2007
Springer
LTL cannot express the whole class of ω-regular languages and several extensions have been proposed. Among them, Quantified propositional Linear Temporal Logic (QLTL), proposed b...
171
click to vote
ACSC
2006
IEEE
16 years 19 days ago
2006
IEEE
Code obfuscation is a relatively new technique of software protection and it works by deterring reverse engineering attempts by malicious users of software. The objective of obfus...