1814 search results - page 101 / 363 » Extended First-Order Logic |
118
click to vote
ATVA
2009
Springer
15 years 7 months ago
2009
Springer
We present specification languages that naturally capture exactly the regular and -regular properties that are stutter invariant. Our specification languages are variants of the cl...
118
click to vote
AML
2006
15 years 3 months ago
2006
We study the formal rst order system Tind in the standard language of Gentzen's LK. Tind extends LK by the purely logical rule of term-induction, that is a restricted inductio...
111
click to vote
IPMU
2010
Springer
15 years 1 months ago
2010
Springer
Controlled Query Evaluation (CQE) is a logical framework for the protection of secrets in databases. In this article, we extend the CQE framework to possibilistic logic: knowledge ...
119
click to vote
AINA
2007
IEEE
15 years 9 months ago
2007
IEEE
In the near future, homes are envisioned to be equipped with numerous intelligent communicating devices. Such smart home needs to exhibit highly adaptive behavior to meet the inha...
157
click to vote
ADBIS
2006
Springer
15 years 7 months ago
2006
Springer
Among the most important expected benefits of a global service oriented architecture leveraging web service standards is an increased level of automation in the discovery, composit...