Sciweavers

1757 search results - page 152 / 352
» Alternating Refinement Relations
Sort
View
HICSS
2008
IEEE
158views Biometrics» more  HICSS 2008»
15 years 10 months ago
Consensual Dynamics in Group Decision Making with Triangular Fuzzy Numbers
In this paper we study the modelling of consensus reaching in a ‘soft’ environment, i.e. when the individual testimonies are expressed as fuzzy preference relations. Here cons...
Mario Fedrizzi, Michele Fedrizzi, Ricardo A. Marqu...
ATAL
2006
Springer
15 years 7 months ago
On the relationship between MDPs and the BDI architecture
In this paper we describe the initial results of an investigation into the relationship between Markov Decision Processes (MDPs) and Belief-Desire-Intention (BDI) architectures. W...
Gerardo I. Simari, Simon Parsons
141
Voted
COMPUTER
2006
87views more  COMPUTER 2006»
15 years 3 months ago
What Can We Expect from Program Verification?
The role of intuition in software development was discussed in a most original fashion by Peter Naur in 1984. Yet there has been little subsequent interest in elaborating on Naur&#...
Michael Jackson
129
Voted
KI
2006
Springer
15 years 3 months ago
Agent Logics as Program Logics: Grounding KARO
Abstract. Several options are available to relate agent logics to computational agent systems. Among others, one can try to find useful executable fragments of an agent logic or us...
Koen V. Hindriks, John-Jules Ch. Meyer
103
Voted
IJAIT
2002
122views more  IJAIT 2002»
15 years 3 months ago
Comparing Keyword Extraction Techniques for WEBSOM Text Archives
The WEBSOM methodology for building very large text archives has a very slow method for extracting meaningful unit labels. This is because the method computes for the relative fre...
Arnulfo P. Azcarraga, Teddy N. Yap Jr., Tat-Seng C...