10568 search results - page 575 / 2114 » Computer Intelligence and Formalization |
190
click to vote
AIME
2007
Springer
16 years 21 days ago
2007
Springer
Software applications that work with biomedical data have significant knowledge-management requirements. Formal knowledge models and knowledge-based methods can be very useful in m...
161
click to vote
CIA
2007
Springer
16 years 20 days ago
2007
Springer
The process of reaching an agreement in a bilateral negotiation to a large extent determines that agreement. The tactics of proposing an offer and the perception of offers made by ...
152
click to vote
IAT
2006
IEEE
16 years 16 days ago
2006
IEEE
Within many domains, among which biological and cognitive areas, multiple interacting processes occur among agents with dynamics that are hard to handle. Current approaches to ana...
142
click to vote
IAT
2005
IEEE
16 years 3 days ago
2005
IEEE
Our previous research presents a methodology of cooperative problem solving for BDI systems, based on a complete formal theory. This covers both a static part, defining individua...
158
click to vote
AIME
2005
Springer
16 years 1 days ago
2005
Springer
Time, events, changes, and processes play a major role in medical conceptual modeling. Representation of time-structures and reasoning about time-oriented medical data are importan...