Sciweavers

IJCAI
1997
14 years 4 days ago
Cooperation Structures
In order to cooperate effectively with its peers, an agent must manipulate representations of the social structures in which it plays a part. The purpose of this paper is to inves...
Mark d'Inverno, Michael Luck, Michael Wooldridge
IJCAI
1997
14 years 4 days ago
Nonmonotonic Reasoning and Multiple Belief Revision
Dongmo Zhang, Shifu Chen, Wujia Zhu, Hongbing Li
IJCAI
1997
14 years 4 days ago
Combining Probabilistic Population Codes
We study the problemof statisticallycorrect inference in networks whose basic representations are population codes. Population codes are ubiquitous in the brain, and involve the s...
Richard S. Zemel, Peter Dayan
IJCAI
1997
14 years 4 days ago
Structural Inferences from Massive Datasets
High-level understanding of data must involve the interplay between substantial prior knowledge with geometric and statistical techniques. Our approach emphasizes the recovery of ...
Kenneth Yip
IJCAI
1997
14 years 4 days ago
A Reactive Planner for a Model-based Executive
Brian C. Williams, P. Pandurang Nayak
IJCAI
1997
14 years 4 days ago
Anytime Belief Revision
Belief Revision is a ubiquitous process underlying many forms of intelligent behaviour. The AGM paradigm is a powerful framework for modeling and implementing belief revision syst...
Mary-Anne Williams
IJCAI
1997
14 years 4 days ago
Minimum Splits Based Discretization for Continuous Features
Discretization refers to splitting the range of continuous values into intervals so as to provide useful information about classes. This is usually done by minimizing a goodness m...
Ke Wang, Han Chong Goh
IJCAI
1997
14 years 4 days ago
Compiling Prioritized Circumscription into Extended Logic Programs
We propose a method of compiling circumscription into Extended Logic Programs which is widely applicable to a class of parallel circumscription as well as a class of prioritized c...
Toshiko Wakaki, Ken Satoh
IJCAI
1997
14 years 4 days ago
Strategies in Rigid-Variable Methods
We study complexity of methods using rigid variables, like the method of matings or the tableau method, on a decidable class of predicate calculus with equality. We show some intr...
Andrei Voronkov