1027 search results - page 69 / 206 » Representing and Reasoning with Operational Semantics |
104
click to vote
RR
2007
Springer
15 years 7 months ago
2007
Springer
This paper presents an extension to the Semantic Web Rule Language and a methodology to enable advanced mathematical support in SWRL rules. This solution separates mathematical and...
ASM
2005
ASM
15 years 6 months ago
2005
ASM
AsmL is a novel executable specification language based on the theory of State Machines (ASMs). It represents one of the most powerful practical engines to write and execute ASMs...
128
click to vote
LICS
2010
IEEE
14 years 10 months ago
2010
IEEE
Stream circuits are a convenient graphical way to represent streams (or stream functions) computed by finite dimensional linear systems. We present a sound and complete expression...
106
click to vote
EDOC
2006
IEEE
15 years 7 months ago
2006
IEEE
The correctness of business process models is of paramount importance for the application on an enterprise level. A severe problem is that several languages for business process m...
116
click to vote
CORR
2000
Springer
15 years 22 days ago
2000
Springer
Abstract. We introduce a nonmonotonic framework for belief revision in which reasoning about the reliability of different pieces of information based on meta-knowledge about the in...