1027 search results - page 43 / 206 » Representing and Reasoning with Operational Semantics |
139
click to vote
NMR
2004
Springer
15 years 6 months ago
2004
Springer
A logic is defined which in addition to propositional calculus contains several types of probabilistic operators which are applied only to propositional formulas. For every s ∈...
127
Voted
ATAL
2009
Springer
15 years 1 months ago
2009
Springer
Abstract. Workflows represent the coordination requirements of various distributed operations in an organisation; workflows neatly capture business processes, and are particularly ...
116
Voted
ICLP
2004
Springer
15 years 6 months ago
2004
Springer
Abstract. In this paper we consider a logic programming framework for reasoning about imprecise probabilities. In particular, we propose a new semantics, for the Probabilistic Logi...
WISE
2005
Springer
15 years 6 months ago
2005
Springer
OWLIM is a high-performance Storage and Inference Layer (SAIL) for Sesame, which performs OWL DLP reasoning, based on forward-chaining of entilement rules. The reasoning and query ...
102
click to vote
ISCI
2008
15 years 17 days ago
2008
The Semantic Web is the next step of the current Web where information will become more machine-understandable to support effective data discovery and integration. Hierarchical sc...