1171 search results - page 27 / 235 » A Logical Language for Expressing Authorizations |
CAAP
1990
15 years 3 months ago
1990
The chief purpose of this paper is to appraise the feasibility of Girard’s linear logic as a specification language for parallel processes. To this end we propose an interpreta...
PADL
2004
Springer
15 years 5 months ago
2004
Springer
Abstract. A lightweight approach to debugging functional logic programs by observations is presented, implemented for the language Curry. The Curry Object Observation System (COOSy...
DBPL
2001
Springer
15 years 4 months ago
2001
Springer
Abstract. We present a simple Data Mining Logic (DML) that can express common data mining tasks, like “Find Boolean association rules” or “Find inclusion dependencies.” At ...
79
Voted
ATAL
2006
Springer
15 years 3 months ago
2006
Springer
There are numerous cases where a reasoning agent needs to reason about the behavior of an opponent agent. In this paper, we propose a hybrid probabilistic logic language within wh...
112
click to vote
JAIR
1998
14 years 11 months ago
1998
A class of interval-based temporal languages for uniformly representing and reasoning about actions and plans is presented. Actions are represented by describing what is true whil...