4401 search results - page 298 / 881 » Computing with Default Logic |
231
click to vote
ICTAC
2005
Springer
16 years 4 days ago
2005
Springer
Abstract. Role-based access control (RBAC) is recognized as an excellent model for access control in large-scale networked applications. Formalization of RBAC in a logical approach...
170
click to vote
CMSB
2004
Springer
16 years 21 hour ago
2004
Springer
In this paper we present a methodology to estimate rates of enzymatic reactions in metabolic pathways. Our methodology is based on applying stochastic logic learning in ensemble le...
171
click to vote
ICAIL
2003
ACM
15 years 12 months ago
2003
ACM
Defeasible Logic is a promising representation for legal knowledge that appears to overcome many of the deficiencies of previous approaches to representing legal knowledge. Unfor...
176
click to vote
GECCO
2003
Springer
15 years 12 months ago
2003
Springer
Over the last few years, a few approaches have been proposed aiming to combine genetic and evolutionary computation (GECCO) with inductive logic programming (ILP). The underlying r...
155
click to vote
LPAR
2001
Springer
15 years 11 months ago
2001
Springer
Abstract. The calculus of structures is a framework for specifying logical systems, which is similar to the one-sided sequent calculus but more general. We present a system of infe...