3385 search results - page 197 / 677 » Language, Logic, and the Brain |
196
click to vote
CCS
2010
ACM
16 years 1 months ago
2010
ACM
In distributed environments, statements from a number of principals, besides the central trusted party, may influence the derivations of authorization decisions. However, existin...
163
click to vote
SIGIR
1993
ACM
15 years 10 months ago
1993
ACM
According to the logical model of Information Retrieval (IR), the task of IR can be described as the extraction, from a given document base, of those documents d that, given a que...
158
click to vote
AAAI
2008
15 years 9 months ago
2008
Temporal logics are widely used in specifying goals of agents. We noticed that when directing agents, humans often revise their requirements for the agent, especially as they gath...
211
click to vote
IADIS
2004
15 years 8 months ago
2004
OWL DL, being established by W3C, is a Knowledge Representation Markup Language for the Semantic Web. OWL DL is a new synthesis of research on KRML for the Semantic Web, which nee...
168
click to vote
BIRTHDAY
2010
Springer
15 years 7 months ago
2010
Springer
Yuri Gurevich and Itay Neeman proposed the Distributed Knowledge Authorization Language, DKAL, as an expressive, yet very succinctly expressible logic for distributed authorization...