Sciweavers

IJCAI
2003
13 years 8 months ago
A Theory of Average-Case Compilability in Knowledge Representation
Compilability is a fundamental property of knowledge representation formalisms which captures how succinctly information can be expressed. Although many results concerning compila...
Hubie Chen
IJCAI
2003
13 years 8 months ago
On the Revision of Probabilistic Beliefs using Uncertain Evidence
We revisit the problem of revising probabilistic beliefs using uncertain evidence, and report results on four major issues relating to this problem: How to specify uncertain evide...
Hei Chan, Adnan Darwiche
26
Voted
IJCAI
2003
13 years 8 months ago
Learning Minesweeper with Multirelational Learning
Minesweeper is a one-person game which looks deceptively easy to play, but where average human performance is far from optimal. Playing the game requires logical, arithmetic and p...
Lourdes Peña Castillo, Stefan Wrobel
IJCAI
2003
13 years 8 months ago
Statistics Gathering for Learning from Distributed, Heterogeneous and Autonomous Data Sources
With the growing use of distributed information networks, there is an increasing need for algorithmic and system solutions for data-driven knowledge acquisition using distributed,...
Doina Caragea, Jaime Reinoso, Adrian Silvescu, Vas...
IJCAI
2003
13 years 8 months ago
Evaluating Coverage for Large Symbolic NLG Grammars
After many successes, statistical approaches that have been popular in the parsing community are now making headway into Natural Language Generation (NLG). These systems are aimed...
Charles B. Callaway
IJCAI
2003
13 years 8 months ago
Query rewriting and answering under constraints in data integration systems
In this paper we address the problem of query answering and rewriting in global-as-view data integration systems, when key and inclusion dependencies are expressed on the global i...
Andrea Calì, Domenico Lembo, Riccardo Rosat...
IJCAI
2003
13 years 8 months ago
Lookahead Pathologies for Single Agent Search
Vadim Bulitko, Lihong Li, Russell Greiner, Ilya Le...
IJCAI
2003
13 years 8 months ago
Amalgams of Constraint Satisfaction Problems
Many of standard practical techniques of solving constraint satisfaction problems use various decomposition methods to represent a problem as a combination of smaller ones. We stu...
Andrei A. Bulatov, Evgeny S. Skvortsov
IJCAI
2003
13 years 8 months ago
Active Probing Strategies for Problem Diagnosis in Distributed Systems
We address the task of problem determination in a distributed system using probes, or test transactions, which gather information about system components. Effective probing requir...
Mark Brodie, Irina Rish, Sheng Ma, Natalia Odintso...
IJCAI
2003
13 years 8 months ago
Answer Set Optimization
We investigate the combination of answer set programming and qualitative optimization techniques. Answer set optimization programs (ASO programs) have two parts. The generating pr...
Gerhard Brewka, Ilkka Niemelä, Miroslaw Trusz...