2108 search results - page 93 / 422 » An Operational Semantics for Stateflow |
ECAI
2006
Springer
15 years 1 months ago
2006
Springer
Minimal change is a fundamental principle for modeling system dynamics. In this paper, we study the issue of minimal change for Computational Tree Logic (CTL) model update. We firs...
VMV
2008
14 years 11 months ago
2008
In computer graphics, procedural methods and Lsystems are common approaches to model complex botanical trees. In contrast to previous tree modeling systems, we propose linking rul...
CORR
2006
Springer
14 years 10 months ago
2006
Springer
We present an epistemic logic incorporating dynamic operators to describe information changing events. Such events include epistemic changes, where agents become more informed abo...
RULEML
2007
Springer
15 years 4 months ago
2007
Springer
The SWRLTab is a development environment for working with SWRL rules in Protégé-OWL. It supports the editing and execution of SWRL rules. It also provides mechanisms to allow int...
KR
2010
Springer
15 years 2 months ago
2010
Springer
Of the common commutative binary logical connectives, only and and or may be used as operators that take arbitrary numbers of arguments with order and multiplicity being irrelevan...