3515 search results - page 231 / 703 » On the semantics of Strategy Logic |
171
click to vote
FLOPS
2008
Springer
15 years 9 months ago
2008
Springer
Abstract. In this paper, we propose more flexible applicability conditions for the folding rule that increase the power of existing unfold/fold systems for normal logic programs. O...
222
Voted
ICEIS
2000
IEEE
15 years 12 months ago
2000
IEEE
Alignment of organisational strategy with Information Systems Strategy (ISS) has become critical as adoption of Information Systems (IS) over the last 50 years has escalated. IS c...
195
click to vote
DFG
2004
Springer
16 years 25 days ago
2004
Springer
Programmable Logic Controllers (PLC) are widely used as device controllers for assembly lines, chemical processes, or power plants. Sequential Function Charts (SFC) form one of the...
239
Voted
ELP
1991
15 years 11 months ago
1991
Operational semantics provide a simple, high-level and elegant means of specifying interpreters for programming languages. In natural semantics, a form of operational semantics, p...
215
click to vote
ACL
2008
15 years 9 months ago
2008
To date, parsers have made limited use of semantic information, but there is evidence to suggest that semantic features can enhance parse disambiguation. This paper shows that sem...