588 search results - page 61 / 118 » Differential Logic for Reasoning About Hybrid Systems |
106
click to vote
ATAL
2005
Springer
15 years 7 months ago
2005
Springer
This paper presents a logic of knowledge, belief and certainty, which allows us to explicitly express the knowledge, belief and certainty of an agent. A computationally grounded m...
123
click to vote
JELIA
2004
Springer
15 years 7 months ago
2004
Springer
Biochemical pathways or networks are generic representations used to model many different types of complex functional and physical interactions in biological systems. Models based ...
112
click to vote
ATAL
2008
Springer
15 years 3 months ago
2008
Springer
In the last few years, argumentation frameworks have been successfully applied to multi agent systems. Recently, argumentation has been used to provide a framework for reasoning a...
111
click to vote
CSL
2004
Springer
15 years 7 months ago
2004
Springer
To reason effectively about programs, it is important to have some version of a transitive-closure operator so that we can describe such notions as the set of nodes reachable from ...
116
click to vote
OWLED
2007
15 years 3 months ago
2007
This analysis is to identify requirements for a Description Logic (DL) to reason about product descriptions and other information related to product development. The DL is intended...