600 search results - page 24 / 120 » An Extended Interpreted System Model for Epistemic Logics |
ICLP
2003
Springer
15 years 3 months ago
2003
Springer
Logic programming is based on the idea that computation is controlled inference. The Extended Andorra Model provides a very powerful framework that supports both co-routining and p...
RV
2007
Springer
15 years 3 months ago
2007
Springer
When monitoring a system wrt. a property defined in some temporal logic, e. g., LTL, a major concern is to settle with an adequate interpretation of observable system events; that...
IEEEAMS
2003
IEEE
15 years 3 months ago
2003
IEEE
This paper describes a new approach to programming autonomic systems. Autonomic functions are integrated into element objects at design time using a special language called JSpoon...
EUSFLAT
2009
14 years 7 months ago
2009
The word Interpretability is becoming more and more frequent in the fuzzy literature. It is admitted as the main advantage of fuzzy systems and it should be given a main role in fu...
121
click to vote
CONCUR
2011
Springer
13 years 9 months ago
2011
Springer
Probabilistic nondeterministic processes are commonly modeled as probabilistic LTSs (PLTSs, a.k.a. probabilistic automata). A number of logical characterizations of the main behavi...