Sciweavers

152
Voted
ECAI
2000
Springer
15 years 7 months ago
Qualitative Spatial Reasoning about Line Segments
Abstract. Representing and reasoning about orientation information is an important aspect of qualitative spatial reasoning. We present a novel approach for dealing with intrinsic o...
Reinhard Moratz, Jochen Renz, Diedrich Wolter
132
Voted
ECAI
2000
Springer
15 years 7 months ago
Verification Programs for Abduction
Abstract. We call verification the process of finding the actual explanation of a given set of manifestations. We consider an abductive setting, in which explanations are sets of a...
Paolo Liberatore, Francesco M. Donini
ECAI
2000
Springer
15 years 7 months ago
Learning Efficiently with Neural Networks: A Theoretical Comparison between Structured and Flat Representations
Abstract. We are interested in the relationship between learning efficiency and representation in the case of supervised neural networks for pattern classification trained by conti...
Marco Gori, Paolo Frasconi, Alessandro Sperduti
118
Voted
ECAI
2000
Springer
15 years 7 months ago
VALENS: A Knowledge Based Tool to Validate and Verify an Aion Knowledge Base
Rik Gerrits, Silvie Spreeuwenberg
ECAI
2000
Springer
15 years 7 months ago
Efficient Asymptotic Approximation in Temporal Difference Learning
Abstract. TD(
Frédérick Garcia, Florent Serre