2858 search results - page 43 / 572 » Logics with Aggregate Operators |
125
click to vote
DLOG
2008
15 years 6 months ago
2008
Abstract. In this paper, we propose a new method for revising terminologies in description logic-based ontologies. Our revision method is a reformulation of the kernel revision ope...
147
click to vote
ENTCS
2007
15 years 4 months ago
2007
Bialgebraic semantics, invented a decade ago by Turi and Plotkin, is an approach to formal reasoning about well-behaved structural operational specifications. An extension of alg...
157
click to vote
LORI
2009
Springer
15 years 11 months ago
2009
Springer
Coalition Logic does not explicitly talk about the effects of a coalitional move on the strategic ability of the remaining players, while in Game Theory reasoning patterns involvi...
147
click to vote
EUSFLAT
2009
15 years 2 months ago
2009
This paper presents a continuation of the study on a mathematical morphology based on left-continuous conjunctive uninorms given in [1]. Experimental results are displayed using th...
182
click to vote
WMCSA
2002
IEEE
15 years 9 months ago
2002
IEEE
Many “ubiquitous computing” applications need a constant flow of information about their environment to be able to adapt to their changing context. To support these “contex...