3032 search results - page 205 / 607 » Description Logic Rules |
RULEML
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. Access control is an important aspect of regulatory compliance. Therefore, access control specifications must be process-aware in that they can refer to an underlying bu...
110
click to vote
IJCAI
2007
15 years 2 months ago
2007
In this paper we present a general logical framework for (weighted) MAX-SAT problem, and study properties of inference rules for branch and bound MAX-SAT solver. Several rules, wh...
97
Voted
JLP
2000
15 years 17 days ago
2000
In this paper we investigate updates of knowledge bases represented by logic programs. In order to represent negative information, we use generalized logic programs which allow de...
106
Voted
CORR
2006
Springer
15 years 24 days ago
2006
Springer
Through the Internet and the World-Wide Web, a vast number of information sources has become available, which offer information on various subjects by different providers, often i...
136
click to vote
NMR
2004
Springer
15 years 6 months ago
2004
Springer
One of the crucial actions any reasoning system must undertake is the updating of its Knowledge Base (KB). This problem is usually referred to as the problem of belief change. The...