3440 search results - page 281 / 688 » Logics For Context-Free Languages |
257
click to vote
ICTAC
2005
Springer
16 years 24 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...
198
click to vote
ICLP
2004
Springer
16 years 20 days ago
2004
Springer
Abstract. In this paper we consider a logic programming framework for reasoning about imprecise probabilities. In particular, we propose a new semantics, for the Probabilistic Logi...
232
click to vote
RULEML
2004
Springer
16 years 19 days ago
2004
Springer
Abstract. We extend Answer Set Programming with, possibly infinite, open domains. Since this leads, in general, to undecidable reasoning, we restrict the syntax of programs, while...
200
click to vote
ICDT
2003
ACM
16 years 15 days ago
2003
ACM
We define a boolean complete description logic dialect called DLFDreg that can be used to reason about structural equality in semistructured ordered data in the presence of docume...
170
click to vote
KI
1999
Springer
15 years 11 months ago
1999
Springer
Computing least common subsumers in description logics is an important reasoning service useful for a number of applications. As shown in the literature, it can, for instance, be u...