Sciweavers

1545 search results - page 23 / 309
» Defeasible Description Logics
Sort
View
EUSFLAT
2009
165views Fuzzy Logic» more  EUSFLAT 2009»
14 years 10 months ago
Fuzzy Descriptions Logics with Fuzzy Truth Values
Fernando Bobillo, Umberto Straccia
ECSQARU
2009
Springer
15 years 7 months ago
An Algorithm for Generating Arguments in Classical Predicate Logic
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ï¬...
Vasiliki Efstathiou, Anthony Hunter
CADE
1998
Springer
15 years 4 months ago
System Description: LEO - A Higher-Order Theorem Prover
Christoph Benzmüller, Michael Kohlhase
89
Voted
CADE
2006
Springer
15 years 4 months ago
System Description: GCLCprover + GeoThms
Predrag Janicic, Pedro Quaresma
EMSOFT
2004
Springer
15 years 5 months ago
A model-based approach to integrating security policies for embedded devices
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...
Michael McDougall, Rajeev Alur, Carl A. Gunter