210 search results - page 10 / 42 » A Formal Theory of Key Conjuring |
179
Voted
AI
2007
Springer
15 years 7 months ago
2007
Springer
Argumentation theory has become an important topic in the field of AI. The basic idea is to construct arguments in favor and against a statement, to select the “acceptable” o...
183
Voted
JUCS
2010
15 years 2 months ago
2010
: Several algorithms have been proposed to compute sets of optima, Pareto sets, and sets of Nash equilibria. In this paper, we present a general algorithm for decision-related set ...
245
click to vote
COOPIS
2002
IEEE
16 years 12 days ago
2002
IEEE
This paper presents a specifically database-inspired approach (called DOGMA) for engineering formal ontologies, implemented as shared resources used to express agreed formal semant...
216
Voted
SACMAT
2009
ACM
16 years 2 days ago
2009
ACM
The role-based access control (RBAC) model has proven to be cost effective to reduce the complexity and costs of access permission management. To maximize the advantages offered...
209
click to vote
ATAL
1997
Springer
15 years 11 months ago
1997
Springer
The Procedural Reasoning System (PRS) is the best established agent architecture currently available. It has been deployed in many major industrial applications, ranging from fault...