1545 search results - page 23 / 309 » Defeasible Description Logics |
EUSFLAT
2009
13 years 5 months ago
2009
ECSQARU
2009
Springer
14 years 2 months ago
2009
Springer
Abstract. There are a number of frameworks for modelling argumentation in logic. They incorporate a formal representation of individual arguments and techniques for comparing conï¬...
CADE
1998
Springer
13 years 12 months ago
1998
Springer
CADE
2006
Springer
13 years 11 months ago
2006
Springer
EMSOFT
2004
Springer
14 years 1 months ago
2004
Springer
Embedded devices like smart cards can now run multiple interacting applications. A particular challenge in this domain is to dynamically integrate diverse security policies. In th...