204 search results - page 4 / 41 » Reasoning with Spider Diagrams |
ICFCA
2009
Springer
14 years 2 months ago
2009
Springer
In knowledge representation and reasoning systems, diagrams have many practical applications and are used in numerous settings. Indeed, it is widely accepted that diagrams are a va...
SPIN
2009
Springer
14 years 2 months ago
2009
Springer
This paper describes a set of software tools developed for teaching concurrency and model checking. jSpin is an elementary development environment for Spin that formats and filter...
DLOG
2003
13 years 9 months ago
2003
DLOG
2004
13 years 9 months ago
2004
CL
2000
Springer
13 years 7 months ago
2000
Springer