1027 search results - page 102 / 206 » Representing and Reasoning with Operational Semantics |
242
Voted
DLOG
2011
14 years 4 months ago
2011
In this paper we present a formal framework and tool supporting the user in the task of formulating a precise query – which best captures their information needs – even in the ...
93
Voted
JCS
1998
15 years 12 days ago
1998
Multilevel transactions have been proposed for multilevel secure databases; in contrast to most proposals, such transactions allow users to read and write across multiple security...
94
Voted
LFCS
2007
Springer
15 years 6 months ago
2007
Springer
We combine first-order dynamic logic for reasoning about possible behaviour of hybrid systems with temporal logic for reasoning about the temporal behaviour during their operation...
121
click to vote
KES
2008
Springer
15 years 21 days ago
2008
Springer
Abstract. This work proposes a family of language-independent semantic kernel functions defined for individuals in an ontology. This allows exploiting wellfounded kernel methods fo...
108
click to vote
LPAR
2010
Springer
14 years 11 months ago
2010
Springer
We address the problem of merging qualitative constraint networks (QCNs) representing agents local preferences or beliefs on the relative position of spatial or temporal entities. ...