217 search results - page 18 / 44 » Logical Formal Description of Expert Systems |
CLIMA
2004
15 years 1 months ago
2004
Abstract. We provide a formal characterization of a notion of contextual taxonomy, that is to say, a taxonomy holding only with respect to a specific context. To this aim, a new pr...
118
click to vote
COMPENG
2010
15 years 3 months ago
2010
This paper presents a Knowledge Base System (KBS) as a key component of a federated simulation framework which allows the investigation of (inter)dependencies among Critical Infra...
118
click to vote
WWW
2003
ACM
16 years 15 days ago
2003
ACM
SweetDeal is a rule-based approach to representation of business contracts that enables software agents to create, evaluate, negotiate, and execute contracts with substantial auto...
101
click to vote
CAV
2005
Springer
15 years 5 months ago
2005
Springer
Model checking has proven to be an effective technology for verification and debugging in hardware and more recently in software domains. We believe that recent trends in both th...
JUCS
2007
14 years 11 months ago
2007
Abstract: Knowledge management is characterized by many different activities ranging from the elicitation of knowledge to its storing, sharing, maintenance, usage and creation. Sk...