1027 search results - page 43 / 206 » Representing and Reasoning with Operational Semantics |
165
click to vote
NMR
2004
Springer
15 years 9 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 ∈...
158
click to vote
ATAL
2009
Springer
15 years 5 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 ...
146
click to vote
ICLP
2004
Springer
15 years 9 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...
131
click to vote
WISE
2005
Springer
15 years 9 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 ...
139
click to vote
ISCI
2008
15 years 4 months 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...