1027 search results - page 86 / 206 » Representing and Reasoning with Operational Semantics |
120
click to vote
SEMWEB
2005
Springer
15 years 10 months ago
2005
Springer
This application demonstrates how to provide personalized, syndicated views on distributed web data using Semantic Web technologies. The application comprises four steps: The infor...
129
click to vote
AMAI
2004
Springer
15 years 10 months ago
2004
Springer
We introduce a general formalism of production inference relations that posses both a standard monotonic semantics and a natural nonmonotonic semantics. The resulting nonmonotonic...
116
click to vote
ICITA
2005
IEEE
15 years 10 months ago
2005
IEEE
Security protocols are indispensable in secure communication. We give an operational semantics of security protocols in terms of a Prolog-like language. With this semantics, we ca...
150
click to vote
FMICS
2009
Springer
15 years 8 months ago
2009
Springer
In this paper we show how Rate Transition Systems (RTSs) can be used as a unifying framework for the definition of the semantics of stochastic process algebras. RTSs facilitate the...
131
click to vote
LPNMR
2009
Springer
15 years 11 months ago
2009
Springer
We define the semantics of logic programs with (abstract) constraint atoms in a way closely tied to default logic. Like default logic, formulas in rules are evaluated using the cl...