10568 search results - page 748 / 2114 » Computer Intelligence and Formalization |
179
click to vote
AAMAS
2008
Springer
15 years 7 months ago
2008
Springer
We present the MOdel of Organisational Change using Agents (MOCHA) as a means to formally specify, check and simulate organisations and their changes using agents. We define the s...
202
click to vote
AI
2008
Springer
15 years 7 months ago
2008
Springer
It is well known that classical set theory is not expressive enough to adequately model categorization and prototype theory. Recent work on compositionality and concept determinat...
180
click to vote
AI
2007
Springer
15 years 7 months ago
2007
Springer
We present a formal, mathematical model of argument structure and evaluation, taking seriously the procedural and dialogical aspects of argumentation. The model applies proof stan...
202
click to vote
AMAI
2007
Springer
15 years 7 months ago
2007
Springer
Modeling molecular interactions in biological networks is important from various perspectives such as predicting side effects of drugs, explaining unusual cellular behavior and dr...
174
click to vote
KI
2008
Springer
15 years 7 months ago
2008
Springer
To model human concepts of motions is essential for the development of the systems and machines that collaborate with ordinary people on spatiodynamic tasks. This paper applies two...