275 search results - page 15 / 55 » Operational and Logical Semantics for Polling Real-Time Syst... |
135
click to vote
AI
2001
Springer
15 years 3 months ago
2001
Springer
The stable semantics has become a prime candidate for knowledge representation and reasoning. The rules associated with propositional logic programs and the stable semantics are no...
109
click to vote
SEMWEB
2004
Springer
15 years 5 months ago
2004
Springer
Abstract. This paper addresses the problem of building scalable semantic overlay networks. Our approach follows the principle of data independence by separating a logical layer, th...
120
Voted
SDL
2007
15 years 1 months ago
2007
Abstract. OpenComRTOS is one of the few Real-Time Operating Systems (RTOS) for embedded systems that was developed using formal modeling techniques. The goal was to obtain a proven...
RSFDGRC
2005
Springer
15 years 5 months ago
2005
Springer
Abstract. In this paper, we propose a logical framework for reasoning about uncertain belief fusion. The framework is a combination of multi-agent epistemic logic and possibilistic...
AAI
2010
14 years 6 months ago
2010
In this paper, we propose a proof system for reasoning on certain specifications of secure authentication systems. For this purpose, a new logic, sequence-indexed linear-time temp...