1171 search results - page 79 / 235 » A Logical Language for Expressing Authorizations |
191
Voted
APAL
2005
15 years 6 months ago
2005
Dynamic Topological Logic provides a context for studying the confluence of the topological semantics for S4, based on topological spaces rather than Kripke frames; topological dy...
159
click to vote
TLCA
2005
Springer
15 years 11 months ago
2005
Springer
The objective of this paper is to develop a functional programming language for quantum computers. We develop a lambda calculus for the classical control model, following the firs...
182
Voted
AAAI
2008
15 years 8 months ago
2008
One way to solve the knowledge acquisition bottleneck is to have ways to translate natural language sentences and discourses to a formal knowledge representation language, especia...
146
Voted
SEFM
2005
IEEE
15 years 11 months ago
2005
IEEE
Memory consumption policies provide a means to control resource usage on constrained devices, and play an important role in ensuring the overall quality of software systems, and i...
203
click to vote
AI
2001
Springer
15 years 9 months ago
2001
Springer
The stable semantics has become a prime candidate for knowledge representation and reasoning. The rules associated with propositional logic programs and the stable semantics are no...