2012 search results - page 274 / 403 » CORAL - Control, Relations and Logic |
156
click to vote
AINA
2007
IEEE
16 years 24 days 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...
183
click to vote
EPIA
2007
Springer
16 years 19 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...
143
click to vote
FOSSACS
2007
Springer
16 years 19 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...
154
click to vote
ICTAC
2007
Springer
16 years 18 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...
158
click to vote
ADC
2006
Springer
16 years 13 days ago
2006
Springer
The World Wide Web revolutionized the use of forms in everyday private and business life by allowing a move away from paper forms to easily accessible digital forms. Data captured...