137 search results - page 6 / 28 » Proofnets and Context Semantics for the Additives |
114
click to vote
COOPIS
1998
IEEE
15 years 3 months ago
1998
IEEE
This paper reports on a practical implementation of a context mediator for the fixed income securities industry. We describe industry circumstances and the data and calculation se...
WEBNET
2001
15 years 1 months ago
2001
: The Web is huge, unstructured and diverse in quality, which makes searching for information difficult. In practice, few of the documents returned by a search engine are valuable ...
ATAL
2007
Springer
15 years 5 months ago
2007
Springer
We develop a Belief-Desire-Intention (BDI) style agent-oriented programming language with special emphasis on the semantics of goals in the presence of the typical BDI failure han...
110
click to vote
KR
2004
Springer
15 years 5 months ago
2004
Springer
Possible-world semantics are provided for Parikh’s relevance-sensitive model for belief revision. Having Grove’s system-of-spheres construction as a base, we consider addition...
108
click to vote
AUSDM
2007
Springer
15 years 5 months ago
2007
Springer
Argumentation allows agents to exchange additional information to argue about their beliefs and other mental attitudes during the negotiation process. Utterances and subsequent obs...