10568 search results - page 208 / 2114 » Computer Intelligence and Formalization |
138
click to vote
DAC
2006
ACM
16 years 4 months ago
2006
ACM
Ever-growing complexity is forcing design to move above RTL. For example, golden functional models are being written as clearly as possible in software and not optimized or intend...
136
click to vote
BIRTHDAY
2004
Springer
15 years 8 months ago
2004
Springer
In a reputation-based trust management system an entity’s behaviour determines its reputation which in turn affects other entities interaction with it. We present a mathematical...
130
click to vote
ICTAI
2005
IEEE
15 years 8 months ago
2005
IEEE
Following the framework proposed by Besnard and Hunter for argumentation, this paper aims to propose a logical tool for the generation of new arguments when two formal agents have...
108
click to vote
APN
2005
Springer
15 years 8 months ago
2005
Springer
In the framework of the study and analysis of new flight procedures, we propose a new Petri net-based formalism to represent both continuous and discrete evolutions and uncertaint...
110
click to vote
AI
2001
Springer
15 years 7 months ago
2001
Springer
The situation calculus is a logical formalism that has been extensively developed for planning. We apply the formalism in a complex multi-agent domain, modelled on the game of Clue...