1059 search results - page 24 / 212 » Standard Logics Are Valuation-Nonmonotonic |
147
click to vote
ISIPTA
2005
IEEE
15 years 11 months ago
2005
IEEE
Possibilistic networks and possibilistic logic bases are important tools to deal with uncertain pieces of information. Both of them offer a compact representation of possibility ...
145
click to vote
TARK
2005
Springer
15 years 11 months ago
2005
Springer
We analyze a model of interactive unawareness introduced by Heifetz, Meier and Schipper (HMS). We consider two axiomatizations for their model, which capture different notions of ...
150
click to vote
IEEEMSP
2002
IEEE
15 years 11 months ago
2002
IEEE
–This paper is an experimental study on the performance of the two major methods for macro-level similarity measurement: linear weighted merging and logical retrieval. Performanc...
150
click to vote
NDJFL
1998
15 years 5 months ago
1998
We investigate transfer of interpolation in such combinations of modal logic which lead to interaction of the modalities. Combining logics by taking products often blocks transfer...
165
click to vote
ASM
2010
ASM
16 years 27 days ago
2010
ASM
We extend the Alloy language with the standard imperative constructs; we show the mix of declarative and imperative constructs to be useful in modeling dynamic systems. We present ...