3005 search results - page 592 / 601 » Logical Information Systems: from Taxonomies to Logics |
122
click to vote
ERSHOV
2009
Springer
15 years 8 months ago
2009
Springer
Abstract. A basic cornerstone of the Semantic Web are formal languages for describing resources in a clear and unambiguous way. Logical underpinnings facilitate automated reasoning...
110
Voted
CCS
2007
ACM
15 years 8 months ago
2007
ACM
In recent years, web applications have become tremendously popular, and nowadays they are routinely used in security-critical environments, such as medical, financial, and milita...
146
Voted
ACMICEC
2006
ACM
15 years 7 months ago
2006
ACM
This paper formalizes the semantics of trust and studies the transitivity of trust. On the Web, people and software agents have to interact with “strangers”. This makes trust ...
136
Voted
SIGCSE
2005
ACM
15 years 7 months ago
2005
ACM
Networking course projects are usually described by an informal specification and a collection of test cases. Students often misunderstand the specification or oversimplify it t...
113
click to vote
MKM
2004
Springer
15 years 7 months ago
2004
Springer
This paper reports on refinements and extensions to the MathLang framework that add substantial support for natural language text. We show how the extended framework supports mult...