351 search results - page 68 / 71 » Completing Description Logic Knowledge Bases Using Formal Co... |
94
Voted
ECAI
2004
Springer
15 years 5 months ago
2004
Springer
This paper presents a new model of agency, called the KGP (Knowledge, Goals and Plan) model. This draws from the classic BDI model and proposes a hierarchical agent architecture wi...
SP
2010
IEEE
15 years 3 months ago
2010
IEEE
Abstract—Belief and vulnerability have been proposed recently to quantify information flow in security systems. Both concepts stand as alternatives to the traditional approaches...
WWW
2008
ACM
16 years 13 days ago
2008
ACM
Nowadays the Web represents a growing collection of an enormous amount of contents where the need for better ways to find and organize the available data is becoming a fundamental...
IJCAI
1993
15 years 1 months ago
1993
agent-oriented system. We show the complexity to be linear time for one of these logics and polynomial time for another, thus providing encouraging results with respect to the prac...
214
click to vote
POPL
2006
ACM
16 years 2 days ago
2006
ACM
Noninterference is the basic semantical condition used to account for confidentiality and integrity-related properties in programming languages. There appears to be an at least im...