2858 search results - page 111 / 572 » Logics with Aggregate Operators |
110
click to vote
FUZZIEEE
2007
IEEE
15 years 9 months ago
2007
IEEE
— A trend is emerging in the fields of ambient intelligence (AmI) and autonomous robotics, which points in the direction of a merger between these two fields. The inclusion of ...
114
click to vote
ECAI
1990
Springer
15 years 7 months ago
1990
Springer
Modal logics based on Kripke style semantics are the prominent formalismin AI for modeling beliefs. Kripke semantics involve a collection of possible worlds and a relation among t...
130
click to vote
FUZZIEEE
2007
IEEE
15 years 9 months ago
2007
IEEE
— Fuzzy Description Logics (fuzzy DLs) have been proposed as a language to describe structured knowledge with vague concepts. It is well known that the choice of the fuzzy operat...
115
click to vote
FSEN
2007
Springer
15 years 9 months ago
2007
Springer
This paper shows how a machine-code Hoare logic is used to lift reasoning from the tedious operational model of a machine lana manageable level of abstraction without making simpli...
121
click to vote
RSFDGRC
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. In this paper, we propose a logical framework for reasoning about uncertain belief fusion. The framework is a combination of multi-agent epistemic logic and possibilistic...