2599 search results - page 107 / 520 » An Operational Semantics for Knowledge Bases |
151
click to vote
IROS
2007
IEEE
15 years 11 months ago
2007
IEEE
— Executing plans by mobile robots, in real world environments, faces the challenging issues of uncertainty and environment dynamics. Thus, execution monitoring is needed to veri...
196
click to vote
ECOWS
2009
Springer
15 years 8 months ago
2009
Springer
—Recently, Semantic Web Services have been increasingly adopted to search, access and manipulate information made available from autonomous and heterogeneous systems interacting ...
174
click to vote
ICDT
2009
ACM
15 years 11 months ago
2009
ACM
A formal semantics of uncertain databases typically takes an algebraic approach by mapping an uncertain database to a set of relational databases, or possible worlds. We present a...
156
click to vote
WOLLIC
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. This paper presents a new version of the CL contract specification language. CL combines deontic logic with propositional dynamic logic but it applies the modalities exc...
151
click to vote
IEEESP
2010
15 years 3 months ago
2010
Abstract—Private data of individuals is constantly being collected, analyzed, and stored by different kinds of organizations: shopping sites to provide better service and recomme...