Sciweavers

25 search results - page 3 / 5
» igpl 2010
Sort
View
IGPL
2010
125views more  IGPL 2010»
13 years 3 months ago
A normative multiagent approach to requirements engineering
In this paper we present a new model for the requirements analysis of a system. We offer a conceptual model defined following a visual modeling language, called dependence network...
Serena Villata
IGPL
2010
110views more  IGPL 2010»
13 years 3 months ago
Capturing dynamic conceptual frames
: The main focus of this paper is to develop an adaptive formal apparatus capable of capturing (certain types of) reasoning conducted within the framework of the so-called dynamic ...
Rafal Urbaniak
IGPL
2010
156views more  IGPL 2010»
13 years 3 months ago
Fusion of sequent modal logic systems labelled with truth values
Fusion is a well-known form of combining normal modal logics endowed with a Hilbert calculi and a Kripke semantics. Herein, fusion is studied over logic systems using sequent calc...
João Rasga, Karina Roggia, Cristina Sernada...
IGPL
2010
101views more  IGPL 2010»
13 years 3 months ago
Does collective rationality entail efficiency?
Collective rationality in its ordinary sense is rationality’s extension to groups. It does not entail efficiency by definition. Showing that it entails efficiency requires a nor...
Paul Weirich
IGPL
2010
111views more  IGPL 2010»
13 years 3 months ago
A logic of trust and reputation
Reputation and trust are useful instruments in multi-agent systems to evaluate agent behaviour. Most of the works on trust and reputation adopt a quantitative representation of the...
Andreas Herzig, Emiliano Lorini, Jomi Fred Hü...