2409 search results - page 420 / 482 » Logical systems for structured specifications |
133
click to vote
ECAI
2004
Springer
15 years 9 months ago
2004
Springer
Attempts to use finite models to guide the search for proofs by resolution and the like in first order logic all suffer from the need to trade off the expense of generating and m...
133
Voted
DLOG
2001
15 years 4 months ago
2001
For description logics with existential restrictions, the size of the least common subsumer (lcs) of concept descriptions may grow exponentially in the size of the concept descrip...
121
Voted
JAIR
2010
15 years 1 months ago
2010
Narrative, and in particular storytelling, is an important part of the human experience. Consequently, computational systems that can reason about narrative can be more effective...
141
Voted
SACMAT
2003
ACM
15 years 8 months ago
2003
ACM
Role-based Access Control (RBAC) models have been implemented not only in self-contained resource management products such as DBMSs and Operating Systems but also in a class of pr...
137
Voted
USENIX
1994
15 years 4 months ago
1994
Wux is a port of Unix tools to the Microsoft Windows environment. It is based on a library providing a Unixcompatible set of system calls on top of Windows. Unix-derived tools run...