774 search results - page 48 / 155 » Experiments with an Agent-Oriented Reasoning System |
ECIS
2003
13 years 9 months ago
2003
Information Systems (IS) design research tends to emphasise the development of new methods (normative research), while addressing the evaluation of methods in only a limited fashi...
FMICS
2009
Springer
14 years 2 months ago
2009
Springer
In joint work with Cristiano Calcagno, Peter O’Hearn, and Hongseok Yang, we have introduced bi-abductive inference and its use in reasoning about heap manipulating programs [5]. ...
AUSAI
2005
Springer
14 years 1 months ago
2005
Springer
Simulating a system of agents that navigate in a physical space is a challenging problem when the environment is sophisticated and the number of agents involved is large. We descr...
ETELEMED
2009
IEEE
14 years 2 months ago
2009
IEEE
—Stress is one of the most common reasons for a number of serious diseases. For the prevention and treatment of stress, a psycho-physiological monitoring system for stress measur...
KR
2004
Springer
14 years 1 months ago
2004
Springer
Practical description logic systems play an ever-growing role for knowledge representation and reasoning research even in distributed environments. In particular, the often-discus...