Sciweavers

AAAI
1994
13 years 5 months ago
Formalizing Ontological Commitment
Formalizing the ontological commitment of a logical language means offering a way to specify the intended meaning of its vocabulary by constraining the set of its models, giving e...
Nicola Guarino, Massimiliano Carrara, Pierdaniele ...
AAAI
1994
13 years 5 months ago
Automated Accompaniment of Musical Ensembles
' This paper describes a computer accompaniment system capable of providing musical accompaniment for an ensemble of performers. The system tracks the performance of each musi...
Lorin Grubb, Roger B. Dannenberg
AAAI
1994
13 years 5 months ago
Learning to Select Useful Landmarks
To navigate effectively, an autonomous agent must be able to quickly and accurately determine its current location. Given an initial estimate of its position (perhaps based on dea...
Russell Greiner, Ramana Isukapalli
AAAI
1994
13 years 5 months ago
Improving Learning Performance Through Rational Resource Allocation
This article shows how rational analysis can be used to minimize learning cost for a general class of statistical learning problems. We discuss the factors that influence learning...
Jonathan Gratch, Steve A. Chien, Gerald DeJong
AAAI
1994
13 years 5 months ago
Incremental Recompilation of Knowledge
d Abstract) Goran Gogic l, Christos H. Papadimitriou', and Martha Sideri2 : Approximating a general formula from above and below by Horn formulas (its Horn envelope and Horn c...
Goran Gogic, Christos H. Papadimitriou, Martha Sid...
AAAI
1994
13 years 5 months ago
Spatial Reasoning in Indeterminate Worlds
A possible worlds semantics for model-based spatial reasoning is presented. In this semantics, worlds are characterized by the alternative states that result from indeterminacy or...
Janice I. Glasgow
AAAI
1994
13 years 5 months ago
Associative Memory in an Immune-Based System
The immune system offers to be a rich source of metaphors to guide the exploration of the notion of an adaptive system. We might define a class of systems which are inspired by, b...
C. J. Gibert, Tom Routen