A desired capability of automatic problem solvers is that they can explain the results. Such explanations should justify that the solution proposed by the problem solver arises fr...
Structural realism is an attempt to balance the competing demands of the No Miracles Argument and the Pessimistic Meta-Induction. In this paper I trace the development of the struc...
Abstract— Currently, most of the automated, computervision assisted camera control policies are based on human events, such as the speaker gesture and position changes. In additi...
Declarative debugging has been proposed as a suitable technique for developing debuggers in the context of declarative languages. However, to become really useful debuggers must b...
This paper describes an application of recently developed qualitative reasoning techniques to complex, socio{economic allocation problems. We explain why we believe traditional op...