9145 search results - page 349 / 1829 » Description Logic Systems |
188
click to vote
APLAS
2000
ACM
15 years 11 months ago
2000
ACM
We have implemented Kima, an automated error correction system for concurrent logic programs. Kima corrects near-misses such as wrong variable occurrences in the absence of explici...
190
click to vote
LICS
2006
IEEE
16 years 23 days ago
2006
IEEE
Logical properties of iterations of relational structures are studied and these decidability results are applied to the model checking of a powerful extension of pushdown systems....
181
click to vote
WCNC
2008
IEEE
16 years 1 months ago
2008
IEEE
— Weather attenuations can have a distorting effect on signal fidelity above 10 GHz that lead to excessive digital transmission error. This loss of signal is commonly referred to...
174
click to vote
FLOPS
2006
Springer
15 years 10 months ago
2006
Springer
We describe the design and implementation of a trust-management system Soutei, a dialect of Binder, for access control in distributed systems. Soutei policies and credentials are w...
187
Voted
AAAI
2008
15 years 9 months ago
2008
Logic programming with negation offers a compelling approach to abductive reasoning. This paper shows a simple view of abduction in this context for the completion semantics, unde...