4211 search results - page 39 / 843 » A formal approach to MASQ |
102
click to vote
EKAW
2006
Springer
15 years 2 months ago
2006
Springer
Abstract. Qualitative reasoning uses a limited set of relevant distinctions of the domain to allow a flexible way of representing and reasoning about it. This work presents a conce...
56
Voted
ICSOFT
2007
15 years 2 months ago
2007
68
Voted
PSTV
1993
15 years 2 months ago
1993
91
Voted
ATAL
2010
Springer
15 years 1 months ago
2010
Springer
An organizational modeling language can be used to specify an agent organization in terms of its roles, organizational structure, norms, etc. Such an organizational specification ...
100
Voted
FSS
2008
15 years 21 days ago
2008
In this paper, we introduce triangle algebras: a variety of residuated lattices equipped with approximation operators, and with a third angular point u, different from 0