636 search results - page 64 / 128 » Adapting Logics |
92
Voted
SYNTHESE
2011
14 years 6 months ago
2011
Rudolf Carnap’s Der logische Aufbau der Welt (The Logical Structure of the World) is generally conceived of as being the failed manifesto of logical positivism. In this paper we...
SIGSOFT
2007
ACM
16 years 18 days ago
2007
ACM
Model checking techniques have traditionally dealt with temporal logic languages and automata interpreted over -words, i.e., infinite in the future but finite in the past. However...
CORR
2006
Springer
14 years 12 months ago
2006
Springer
: Recent works have investigated the problem of the conflict redistribution in the fusion rules of evidence theories. As a consequence of these works, many new rules have been prop...
SWAP
2008
15 years 1 months ago
2008
The definition of new concepts or roles for which extensional knowledge become available can turn out to be necessary to make a DL ontology evolve. In this paper we reformulate thi...
CAISE
2009
Springer
15 years 3 months ago
2009
Springer
Despite the abundance of analysis techniques to discover control-flow errors in workflow designs, there is hardly any support for w verification. Most techniques simply abstract fr...