375 search results - page 18 / 75 » Declarative Reasoning about the Structure of Object-Oriented... |
NMR
2004
Springer
14 years 1 months ago
2004
Springer
Probabilistic reasoning with multiply sectioned Bayesian networks (MSBNs) has been successfully applied in static domains under the cooperative multiagent paradigm. Probabilistic ...
CHARME
2001
Springer
14 years 4 days ago
2001
Springer
Formal analysis remains outside the mainstream of system design practice. Interactive methods and tools are regarded by some to be on the margin of useful research in this area. Al...
ICLP
2001
Springer
14 years 2 days ago
2001
Springer
We usually use natural language vocabulary for sort names in order-sorted logics, and some sort names may contradict other sort names in the sort-hierarchy. These implicit negation...
KI
1997
Springer
13 years 11 months ago
1997
Springer
Abstract. Agents situated in proactive environments are acting autonomously while the environment is evolving alongside, whether or not the agents carry out any particular actions....
SAC
2005
ACM
14 years 1 months ago
2005
ACM
More and more software projects are using COTS (Commercialoff-the-shelf) components. Using COTS components brings both advantages and risks. To manage some risks in using COTS com...