Sciweavers

2088 search results - page 289 / 418
» The SPARK Agent Framework
Sort
View
AAAI
2007
15 years 9 months ago
Possibilistic Causal Networks for Handling Interventions: A New Propagation Algorithm
This paper contains two important contributions for the development of possibilistic causal networks. The first one concerns the representation of interventions in possibilistic ...
Salem Benferhat, Salma Smaoui
AAAI
2007
15 years 9 months ago
Learning by Combining Observations and User Edits
We introduce a new collaborative machine learning paradigm in which the user directs a learning algorithm by manually editing the automatically induced model. We identify a generi...
Vittorio Castelli, Lawrence D. Bergman, Daniel Obl...
AAAI
2007
15 years 9 months ago
An Experimental Comparison of Constraint Logic Programming and Answer Set Programming
Answer Set Programming (ASP) and Constraint Logic Programming over finite domains (CLP(FD)) are two declarative programming paradigms that have been extensively used to encode ap...
Agostino Dovier, Andrea Formisano, Enrico Pontelli
AAAI
2008
15 years 9 months ago
A Formalization of Program Debugging in the Situation Calculus
Program debugging is one of the most time-consuming parts of the software development cycle. In recent years, automatic debugging has been an active research area in software engi...
Yongmei Liu
ATAL
2008
Springer
15 years 8 months ago
An agent-oriented approach to support change propagation in software evolution
Software maintenance and evolution is arguably a lengthy and expensive phase in the life cycle of a software system. A critical issue at this phase is change propagation: given a ...
Khanh Hoa Dam