Sciweavers

IJCAI
2001
13 years 5 months ago
Acquisition of Ontological Knowledge from Canonical Documents
This paper describes experiences with quasiautomated creation of a computational ontology for maritime information from a mixed collection of source material. Based on these exper...
Raphael M. Malyankar
IJCAI
2001
13 years 5 months ago
Using Text Classifiers for Numerical Classification
Consider a supervised learning problem in which examples contain both numerical- and text-valued features. To use traditional featurevector-based learning methods, one could treat...
Sofus A. Macskassy, Haym Hirsh, Arunava Banerjee, ...
IJCAI
2001
13 years 5 months ago
Graph Theoretical Characterization and Computation of Answer Sets
We give a graph theoretical characterization of answer sets of normal logic programs. We show that there is a one-to-one correspondence between answer sets and a special, non-stan...
Thomas Linke
IJCAI
2001
13 years 5 months ago
Multi-Agent Influence Diagrams for Representing and Solving Games
The traditional representations of games using the extensive form or the strategic (normal) form obscure much of the structure that is present in real-world games. In this paper, ...
Daphne Koller, Brian Milch
IJCAI
2001
13 years 5 months ago
Executing Reactive, Model-based Programs through Graph-based Temporal Planning
In the future, webs of unmanned air and space vehicles will act together to robustly perform elaborate missions in uncertain environments. We coordinate these systems by introduci...
Phil Kim, Brian C. Williams, Mark Abramson
IJCAI
2001
13 years 5 months ago
Solving Factored MDPs via Non-Homogeneous Partitioning
This paper describes an algorithm for solving large state-space MDPs (represented as factored MDPs) using search by successive refinement in the space of non-homogeneous partition...
Kee-Eung Kim, Thomas Dean
IJCAI
2001
13 years 5 months ago
Temporal Constraint Reasoning With Preferences
Lina Khatib, Paul H. Morris, Robert A. Morris, Fra...
IJCAI
2001
13 years 5 months ago
Balance and Filtering in Structured Satisfiable Problems
New methods to generate hard random problem instances have driven progress on algorithms for deduction and constraint satisfaction. Recently Achlioptas et al. (AAAI 2000) introduc...
Henry A. Kautz, Yongshao Ruan, Dimitris Achlioptas...
IJCAI
2001
13 years 5 months ago
Qualitative Simulation of Genetic Regulatory Networks: Method and Application
Computer modeling and simulation are indispensable for understanding the functioning of an organism on a molecular level. We present an implemented method for the qualitative simu...
Hidde de Jong, Michel Page, Céline Hernande...