2661 search results - page 52 / 533 » A Semantics for Abstraction |
158
click to vote
ALDT
2009
Springer
16 years 24 days ago
2009
Springer
Abstract. Argumentation has been acknowledged as a powerful mechanism for automated decision making. In this context several recent works have studied the problem of accommodating ...
156
click to vote
MKM
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. The Mizar system is equipped with a very large library containing tens of thousands of theorems and thousands of deļ¬nitions, which often use overloaded notation. For eļ...
213
click to vote
CSSE
2004
IEEE
15 years 6 months ago
2004
IEEE
Abstract. Semantic Web technologies will deeply influence the further development of the Internet Economy. A major challenge is, however, to find a practical solution for trust pro...
158
click to vote
ECAL
2003
Springer
15 years 11 months ago
2003
Springer
Abstract. In this paper, a computational model of a successful negotiated communication system is presented, in which language agents develop their own meanings in response to thei...
156
click to vote
ESWS
2007
Springer
16 years 11 days ago
2007
Springer
Abstract. The Semantic Web Services initiatives are aiming to develop automatic and dynamic solutions for the semantically described Web services discovery, invocation and executio...