Sciweavers

72 search results - page 5 / 15
» ai 2002
Sort
View
AI
2002
Springer
13 years 7 months ago
On the relationship between model-based debugging and program slicing
Program slicing is a general, widely-used, and accepted technique applicable to different software engineering tasks including debugging, whereas model-based diagnosis is an AI te...
Franz Wotawa
AI
2002
Springer
13 years 7 months ago
Using Inter-agent Trust Relationships for Efficient Coalition Formation
We address long-term coalitions that are formed of both customer and vendor agents after evaluating their trust relationships with other agents in the system. We present a coalitio...
Silvia Breban, Julita Vassileva
AI
2002
Springer
13 years 7 months ago
Relaxed Unification - Proposal
Abstract. The traditional unification is strict in the sense that it requires a perfect agreement between the terms being unified. In practice, data is seldom error-free and can co...
Tony Abou-Assaleh, Nick Cercone
AI
2002
Springer
13 years 7 months ago
On the Role of Contextual Weak Independence in Probabilistic Inference
Previous experimental results have clearly demonstrated the effectiveness of utilizing context-specific independence (CSI) in probabilistic inference. However, CSI is a special cas...
Cory J. Butz, Manon J. Sanscartier
AI
2002
Springer
13 years 7 months ago
Explanations, belief revision and defeasible reasoning
We present different constructions for non-prioritized belief revision, that is, belief changes in which the input sentences are not always accepted. First, we present the concept...
Marcelo A. Falappa, Gabriele Kern-Isberner, Guille...