585 search results - page 38 / 117 » Structured Formal Development in Isabelle |
AI
2001
Springer
15 years 4 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...
IFM
1999
Springer
15 years 4 months ago
1999
Springer
Abstract. We report on the notation and tool integration framework developed in the application-oriented research project Espress. The framework is based on a Z core and provides m...
104
click to vote
BMCBI
2006
14 years 12 months ago
2006
Background: Structural analysis of cellular interaction networks contributes to a deeper understanding of network-wide interdependencies, causal relationships, and basic functiona...
COSIT
2001
Springer
15 years 4 months ago
2001
Springer
The development of cognitively plausible models of human spatial reasoning may ultimately result in computational systems that are better equipped to meet human needs. This paper e...
112
click to vote
VL
1991
IEEE
15 years 3 months ago
1991
IEEE
The Conceptual Programming environment, CP, being developed at the Computing Research Laboratory (CRL), is a complete knowledge representation visual programming environment for u...