9405 search results - page 3 / 1881 » Computing a Model of Set Theory |
BIRTHDAY
2008
Springer
13 years 9 months ago
2008
Springer
RSFDGRC
2009
Springer
14 years 1 months ago
2009
Springer
Abstract. Both fuzzy set theory and rough set theory play an important role in data-driven, systems modelling and analysis. They have been successfully applied to building various ...
ICALP
2005
Springer
14 years 16 days ago
2005
Springer
In this paper we study the link between formal and cryptographic models for security protocols in the presence of a passive adversary. In contrast to other works, we do not conside...
LOGCOM
2008
13 years 7 months ago
2008
We investigate mathematical modelling with theories of data types. We provide a formal setting for the formulation of such theories (TPL) and use it to introduce the notion of a c...
AI
2004
Springer
13 years 6 months ago
2004
Springer
We propose a new translation from normal logic programs with constraints under the answer set semantics to propositional logic. Given a normal logic program, we show that by addin...