303 search results - page 35 / 61 » From Description Logic Provers to Knowledge Representation S... |
DLOG
2007
13 years 10 months ago
2007
Abstract. We present a novel approach to logic-based bilateral negotiation in ecommerce systems. We use Description Logics to describe both requests/offers submitted by buyers and ...
NGITS
1999
Springer
14 years 23 days ago
1999
Springer
As the requirements for system analysis and design become more complex, the need for a natural, yet formal way of specifying system analysis findings and design decisions are becom...
SP
2000
IEEE
14 years 27 days ago
2000
IEEE
We address the goal of making Delegation Logic (DL) into a practically implementable and tractable trustmanagement system. DL [22] is a logic-based knowledge representation (i.e.,...
KCAP
2009
ACM
14 years 3 months ago
2009
ACM
Curating information from the literature for storage in databases is a crucial task in biological research, and many groups assign a particular person or team to that process. We ...
IUI
1993
ACM
14 years 18 days ago
1993
ACM
Action mode interfaces, in which the user achieves his goals by manipulating representations, suffer from some fundamental disadvantages. In this paper, we present a working proto...