2307 search results - page 301 / 462 » Dynamic Fuzzy Logic |
125
click to vote
AI
2001
Springer
15 years 8 months ago
2001
Springer
The situation calculus is a logical formalism that has been extensively developed for planning. We apply the formalism in a complex multi-agent domain, modelled on the game of Clue...
131
click to vote
FLAIRS
2008
15 years 6 months ago
2008
In Artificial Intelligence, a crucial requirement is the ability to reason about actions and their effects on the environment. Traditional approaches which rely on classical logic...
145
click to vote
CAV
2012
Springer
13 years 6 months ago
2012
Springer
Abstract. In formal verification of hybrid systems, a big challenge is to incorporate continuous flow dynamics in a discrete framework. Our previous work proposed to use nonstand...
108
click to vote
ESOP
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. Rely-guarantee is a well-established approach to reasoning about concurrent programs that use parallel composition. However, parallel composition is not how concurrency i...
117
click to vote
IAT
2005
IEEE
15 years 9 months ago
2005
IEEE
Our previous research presents a methodology of cooperative problem solving for BDI systems, based on a complete formal theory. This covers both a static part, defining individua...