1902 search results - page 157 / 381 » Differential Dynamic Logics |
189
click to vote
AMAI
1999
Springer
15 years 6 months ago
1999
Springer
In this paper we present an extension of logic programming (LP) that is suitable not only for the "rational" component of a single agent but also for the "reactive&...
163
Voted
LORI
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. The aim of this work is propose a logical approach to intention dynamics based on the notion of assignment [7, 3]. The function of an assignment is to associate the truth...
194
click to vote
TNN
2010
15 years 1 months ago
2010
This paper provides a comprehensive framework for the state space approach to Boolean networks. First, it surveys the authors' recent work on the topic: Using semitensor produ...
201
click to vote
MEMOCODE
2007
IEEE
16 years 29 days ago
2007
IEEE
Due to the rapidly growing speed and the decreasing size of gates in modern chips, the probability of faults caused by the production process grows. Already small variations lead ...
209
click to vote
KI
1998
Springer
15 years 11 months ago
1998
Springer
The control of mobile robots acting autonomously in the real world is one of the long-term goals of the field of artificial intelligence. So far the field lacks methods bridging th...