2348 search results - page 222 / 470 » A Fuzzy Description Logic |
157
click to vote
EUSFLAT
2009
15 years 4 months ago
2009
Abstract--When 60 years ago Shannon established "A Mathematical Theory of Communication" nobody could know the consequences for science and technology in the second half ...
216
click to vote
HAIS
2011
Springer
14 years 10 months ago
2011
Springer
The modelling of real-world complex systems is an area of ongoing interest for the research community. Real-world systems present a variety of challenges not least of which is the ...
204
click to vote
ASP
2005
Springer
16 years 2 days ago
2005
Springer
We present extended conceptual logic programs (ECLPs), for which reasoning is decidable and, moreover, can be reduced to finite answer set programming. ECLPs are useful to reason ...
183
click to vote
ESWS
2005
Springer
16 years 1 days ago
2005
Springer
We present extended conceptual logic programs (ECLPs), for which reasoning is decidable and, moreover, can be reduced to finite answer set programming. ECLPs are useful to reason ...
207
click to vote
ASIAN
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. Clever algorithm design is sometimes superseded by simple encodings into logic. We apply this motto to a few case studies in the formal verification of security propertie...