Sciweavers

72 search results - page 5 / 15
» ais 2002
Sort
View
AI
2002
Springer
14 years 11 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
14 years 11 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
14 years 11 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
14 years 11 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
14 years 11 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...