1027 search results - page 48 / 206 » Representing and Reasoning with Operational Semantics |
98
Voted
ICTAI
2008
IEEE
15 years 7 months ago
2008
IEEE
We elaborate upon the usage of action language C for representing and reasoning about biological models. First, we provide a simple extension of C allowing for variables and show ...
97
Voted
ATAL
2004
Springer
15 years 6 months ago
2004
Springer
Several innovative software applications such as those required by ambient intelligence, the semantic grid, e-commerce and e-marketing, can be viewed as open societies of heteroge...
88
Voted
WWW
2004
ACM
16 years 1 months ago
2004
ACM
We present a method for representing and reasoning with uncertainty in RDF(S) and OWL ontologies based on Bayesian networks. Categories and Subject Descriptors: I.2.4 Artificial I...
RULEML
2005
Springer
15 years 6 months ago
2005
Springer
Abstract. We introduce the DR-CONTRACT architecture to represent and reason on e-Contracts. The architecture extends the DR-device architecture by a deontic defeasible logic of vio...
102
click to vote
JUCS
2010
14 years 11 months ago
2010
: In the paper application of semantic wikis as knowledge engineering tool in a collaborative environment is considered. Selected aspects of semantic wikis are discussed. The main ...