909 search results - page 76 / 182 » Temporal Logic Case Study |
ICLP
2004
Springer
14 years 2 months ago
2004
Springer
Abstract. In this paper we consider a logic programming framework for reasoning about imprecise probabilities. In particular, we propose a new semantics, for the Probabilistic Logi...
ICRA
2002
IEEE
14 years 1 months ago
2002
IEEE
– A two-layer fuzzy logic controller has been designed for 2-D autonomous navigation of a skid steering vehicle in an obstacle filled environment. The first layer of the fuzzy co...
COMPSAC
2008
IEEE
13 years 10 months ago
2008
IEEE
The formal specification of design patterns is widely recognised as being vital to their effective and correct use in software development. It can clarify the concepts underlying ...
CADE
2006
Springer
14 years 9 months ago
2006
Springer
Abstract. Inspired by the Curry-Howard correspondence, we study normalisation procedures in the depth-bounded intuitionistic sequent calculus of Hudelmaier (1988) for the implicati...
FUZZIEEE
2007
IEEE
14 years 3 months ago
2007
IEEE
— We propose a fuzzy-based decision-making mechanism for selecting data dissemination protocols in wireless sensor networks (WSNs). Its goal is to select the most efficient proto...