1346 search results - page 88 / 270 » Alternating-time dynamic logic |
EPIA
2005
Springer
14 years 1 months ago
2005
Springer
In this paper, we investigate the link between logics of games and “mentalistic” logics of rational agency, in which agents are characterized in terms of attitudes such as beli...
DEXA
2000
Springer
14 years 2 days ago
2000
Springer
The event calculus is a logic programming formalism for representing events and their effects especially in database applications. This paper presents the use of the event calculus...
ACSAC
1999
IEEE
14 years 1 days ago
1999
IEEE
Decoupling authorization logic from application logic allows applications with fine-grain access control requirements to be independent from a particular access control policy and...
AAAI
2006
13 years 9 months ago
2006
A novel and simple combination of inductive logic programming with kernel methods is presented. The kFOIL algorithm integrates the well-known inductive logic programming system FO...
ENTCS
2006
13 years 7 months ago
2006
This paper describes a Java-based framework for the development of componentbased software systems supporting the specification of the logic of component interactions as a first-c...