1486 search results - page 203 / 298 » A Logically Saturated Extension of |
180
click to vote
EPIA
2007
Springer
16 years 11 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...
141
click to vote
FOSSACS
2007
Springer
16 years 11 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...
146
click to vote
ICTAC
2007
Springer
16 years 11 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...
160
click to vote
MODELS
2007
Springer
16 years 10 days ago
2007
Springer
Abstract. Time and timing features are an important aspect of modern electronic systems, often of embedded nature. We argue here that in early design phases, time is often of logic...
156
click to vote
ACSC
2006
IEEE
16 years 8 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...