5451 search results - page 253 / 1091 » Typed Operational Semantics |
143
click to vote
CORR
2006
Springer
15 years 4 months ago
2006
Springer
We present an epistemic logic incorporating dynamic operators to describe information changing events. Such events include epistemic changes, where agents become more informed abo...
123
click to vote
ICPADS
2005
IEEE
15 years 10 months ago
2005
IEEE
Abstract— Multimedia centric P2P must take into consideration the main characteristics and the complex relationships among multimedia objects. In this paper, we propose a cluster...
150
click to vote
SEMWEB
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. OWL-S allows selecting, composing and invoking Web Serdifferent levels of abstraction: selection uses high level abstract descriptions, invocation uses low level groundi...
139
click to vote
RULEML
2007
Springer
15 years 10 months ago
2007
Springer
The SWRLTab is a development environment for working with SWRL rules in Protégé-OWL. It supports the editing and execution of SWRL rules. It also provides mechanisms to allow int...
141
click to vote
KR
2010
Springer
15 years 9 months ago
2010
Springer
Of the common commutative binary logical connectives, only and and or may be used as operators that take arbitrary numbers of arguments with order and multiplicity being irrelevan...