1737 search results - page 158 / 348 » On Interpolation in Existence Logics |
214
click to vote
ATAL
2008
Springer
15 years 9 months ago
2008
Springer
We explore the problem of specification and verification of compliance in agent based Web service compositions. We use the formalism of temporal-epistemic logic suitably extended ...
187
click to vote
DAGSTUHL
2007
15 years 8 months ago
2007
Abstract. The sentences of deontic logic may be understood as describing what an agent ought to do when faced with a given set of norms. If these norms come into conflict, the bes...
162
click to vote
IM
2007
15 years 8 months ago
2007
A widely-distributed network monitoring system requires a scalable discovery mechanism. The “Lookup Service” component of the perfSONAR framework is able to manage component r...
180
click to vote
IJCAI
2001
15 years 8 months ago
2001
Combinatorial auctions provide a valuable mechanism for the allocation of goods in settings where buyer valuations exhibit complex structure with respect to substitutabilityand co...
233
click to vote
IJCAI
2001
15 years 8 months ago
2001
Text mining concerns the discovery of knowledge from unstructured textual data. One important task is the discovery of rules that relate specific words and phrases. Although exist...