900 search results - page 5 / 180 » Formalizing Ontological Commitment |
117
Voted
EON
2007
15 years 1 months ago
2007
We describe an approach to create a synthetic workload for large scale extensional query answering experiments. The workload comprises multiple interrelated domain ontologies, data...
COORDINATION
2007
Springer
15 years 5 months ago
2007
Springer
We present a generalized committed choice construct for concurrent programs that interact with a shared store. The generalized committed choice (GCC) allows multiple computations ...
167
Voted
AGENTCL
2003
Springer
15 years 4 months ago
2003
Springer
This paper proposes a formal framework which offers an external representation of conversations between conversational agents. Using this formalism allows us: (1) to represent the ...
95
Voted
ESOP
2008
Springer
15 years 1 months ago
2008
Springer
In an optimistic approach to security, one can often simplify protocol design by relying on audit logs, which can be analyzed a posteriori. Such auditing is widely used in practice...
91
Voted
DEON
2006
Springer
15 years 3 months ago
2006
Springer
We aim at an adequate formal description of the dynamics of commitments and trust by transferring insights about actual human practices to a formal setting. Our framework is based ...