1171 search results - page 87 / 235 » A Logical Language for Expressing Authorizations |
152
click to vote
KI
2007
Springer
16 years 9 days ago
2007
Springer
General action languages, like e.g. the Situation Calculus, use full classical logic to represent knowledge of actions and their effects in dynamic domains. Description Logics, on...
184
click to vote
AIEDAM
1999
15 years 5 months ago
1999
A temporal logic for representing and reasoning on a robotic domain is presented. Actions are represented by describing what is true while the action itself is occurring, and plan...
183
click to vote
APIN
2002
15 years 6 months ago
2002
We develop the scheme of indefinite constraint databases using first-order logic as our representation language. When this scheme is instantiated with temporal constraints, the res...
156
click to vote
CHI
2005
ACM
16 years 6 months ago
2005
ACM
Sign languages have been proven to be natural languages, as capable of expressing human thoughts and emotions as traditional languages are. The distinct visual and spatial nature ...
160
click to vote
PODS
2004
ACM
16 years 6 months ago
2004
ACM
XPath is the W3C?standard node addressing language for XML documents. XPath is still under development and its technical aspects are intensively studied. What is missing at presen...