9145 search results - page 1435 / 1829 » Description Logic Systems |
192
click to vote
VRCAI
2004
ACM
16 years 9 days ago
2004
ACM
Actual graphic hardware becomes more and more powerful. Consequently, virtual scenes can be rendered in a very good quality integrating dynamic behavior, real-time shadows, bump m...
219
click to vote
ACNS
2004
Springer
16 years 9 days ago
2004
Springer
We present a practical protection mechanism against SQL injection attacks. Such attacks target databases that are accessible through a web frontend, and take advantage of flaws in...
182
click to vote
ATAL
2004
Springer
16 years 9 days ago
2004
Springer
This paper deals with modeling mental states of a rational agent, in particular states based on agent’s desires. It shows that the world the agent belongs to forces it to restri...
154
click to vote
BIRTHDAY
2004
Springer
16 years 9 days ago
2004
Springer
: This paper studies the composition of modules that can hide information, over a very general class of logical systems called inclusive institutions. Two semantics are given for c...
183
click to vote
CAISE
2004
Springer
16 years 9 days ago
2004
Springer
Abstract. ID-Logic is a knowledge representation language that extends first-order logic with non-monotone inductive definitions. This paper introduces an ID-Logic based framewor...