1171 search results - page 147 / 235 » A Logical Language for Expressing Authorizations |
196
click to vote
TPHOL
1999
IEEE
15 years 10 months ago
1999
IEEE
Abstract. We describe the key features of the proof description language of Declare, an experimental theorem prover for higher order logic. We take a somewhat radical approach to p...
143
click to vote
IAT
2008
IEEE
16 years 24 days ago
2008
IEEE
Inferences about speech acts are often conditional, nonmonotonic, and involve the issue of time. Most agent communication languages, however, ignore these issues, due to the dif...
162
click to vote
KSEM
2007
Springer
16 years 15 days ago
2007
Springer
We define an inference system to capture explanations based on causal statements, using an ontology in the form of an IS-A hierarchy. We first introduce a simple logical language...
142
click to vote
FDL
2005
IEEE
15 years 12 months ago
2005
IEEE
We present an original method for generating monitors that capture the occurrence of events, specified by logical and temporal properties under the form of assertions in declarati...
173
click to vote
RULEML
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. The language of dl-programs is a latest effort in developing an expressive representation for Web-based ontologies. It allows to build answer set programming (ASP) on top...