2599 search results - page 187 / 520 » An Operational Semantics for Knowledge Bases |
171
click to vote
ASM
2003
ASM
15 years 11 months ago
2003
ASM
We present an approach towards a formal dynamic semantics for UML using ASM. We aim to remain as close as possible to the standard definition of UML and to cover the operational pa...
183
click to vote
ICEBE
2006
IEEE
16 years 13 days ago
2006
IEEE
Access to scientific literature information is a very important, as well as time-consuming daily work for scientific researchers. Current methods of retrieval are usually limited ...
172
click to vote
ECAI
2010
Springer
15 years 6 months ago
2010
Springer
Knowledge compilation [6, 5, 14, 8] consists in transforming a problem offline into a form which is tractable online. In this paper, we introduce new structures, based on the notio...
164
click to vote
IEAAIE
2010
Springer
15 years 4 months ago
2010
Springer
The ability for a user to accurately estimate the amount of trust to be placed in a peer user is gaining more and more attention in social network applications. Trust aggregation p...
152
click to vote
DEXAW
2008
IEEE
16 years 26 days ago
2008
IEEE
The semantic web aims at enabling the web to understand and answer the requests from people and machines. It relies on several standards for representing and reasoning about web c...