2108 search results - page 165 / 422 » An Operational Semantics for Stateflow |
132
click to vote
APAL
2002
15 years 5 months ago
2002
The paper introduces a semantics for the language of classical first order logic supplemented with the additional operators and . This semantics understands formulas as tasks. An ...
267
click to vote
ENTCS
2002
15 years 4 months ago
2002
Elf is a general meta-language for the specification and implementation of logical systems in the style of the logical framework LF. Proof search in this framework is based on the...
125
click to vote
RIA
2008
15 years 4 months ago
2008
Situations, the semantic interpretations of context, provide a better basis for selecting adaptive behaviours than context itself. The definition of situations typically rests on t...
179
click to vote
ICLP
2010
Springer
15 years 3 months ago
2010
Springer
Abductive Logic Programming is a computationally founded representation of abductive reasoning. In most ALP frameworks, integrity constraints express domainspecific logical relati...
143
click to vote
ICST
2010
IEEE
15 years 3 months ago
2010
IEEE
Abstract—In this paper we introduce Timed Moore Automata, a specification formalism which is used in industrial train control applications for specifying the real-time behavior ...