3831 search results - page 210 / 767 » Dynamic Context Logic |
117
Voted
ISQED
2007
IEEE
15 years 11 months ago
2007
IEEE
The deep submicron (DSM) semiconductor technologies will make the worst-case design impossible, since they can not provide design margins that it requires. Research directions sho...
134
click to vote
EPIA
2005
Springer
15 years 10 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...
123
click to vote
DEXA
2000
Springer
15 years 9 months 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...
132
click to vote
ACSAC
1999
IEEE
15 years 9 months 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...
139
click to vote
AAAI
2006
15 years 6 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...