Sciweavers

AI
2010
Springer
13 years 11 months ago
Property persistence in the situation calculus
We develop a new automated reasoning technique for the situation calculus that can handle a class of queries containing universal quantication over situation terms. Although such ...
Ryan F. Kelly, Adrian R. Pearce
ICMAS
2000
14 years 24 days ago
Distributed Case-Based Learning
Multi-agent systems exploiting case based reasoning techniques have to deal with the problem of retrieving episodes that are themselves distributed across a set of agents. From a ...
M. V. Nagendra Prasad
DIS
2006
Springer
14 years 3 months ago
Visual Knowledge Discovery in Paleoclimatology with Parallel Coordinates
Paleoclimatology requires the analysis of paleo time-series, obtained from a number of independent techniques and instruments, produced by several researchers and/or laboratories. ...
Roberto Therón