Sciweavers

IJCAI
2003
14 years 6 days ago
Practical Partition-Based Theorem Proving for Large Knowledge Bases
Query answering over commonsense knowledge bases typically employs a first-order logic theorem prover. While first-order inference is intractable in general, provers can often b...
Bill MacCartney, Sheila A. McIlraith, Eyal Amir, T...
IJCAI
2003
14 years 6 days ago
A Tractability Result for Reasoning with Incomplete First-Order Knowledge Bases
In previous work, Levesque proposed an extension to classical databases that would allow for a certain form of incomplete first-order knowledge. Since this extension was suffici...
Yongmei Liu, Hector J. Levesque
IJCAI
2003
14 years 6 days ago
Keys, Nominals, and Concrete Domains
Many description logics (DLs) combine knowledge tation on an abstract, logical level with an interface to “concrete” domains such as numbers and strings. We propose to extend ...
Carsten Lutz, Carlos Areces, Ian Horrocks, Ulrike ...
IJCAI
2003
14 years 6 days ago
AUC: a Statistically Consistent and more Discriminating Measure than Accuracy
Predictive accuracy has been used as the main and often only evaluation criterion for the predictive performance of classification learning algorithms. In recent years, the area ...
Charles X. Ling, Jin Huang, Harry Zhang
IJCAI
2003
14 years 6 days ago
Identifying Synonyms among Distributionally Similar Words
There have been many proposals to compute similarities between words based on their distributions in contexts. However, these approaches do not distinguish between synonyms and an...
Dekang Lin, Shaojun Zhao, Lijuan Qin, Ming Zhou
IJCAI
2003
14 years 6 days ago
Recycling Computed Answers in Rewrite Systems for Abduction
In rule-based systems, goal-oriented computations correspond naturally to the possible ways that an observation may be explained. In some applications, we need to compute explanat...
Fangzhen Lin, Jia-Huai You
IJCAI
2003
14 years 6 days ago
Action Selection for Single- and Multi-Robot Tasks Using Cooperative Extended Kohonen Maps
This paper presents an action selection framework based on an assemblage of self-organizing neural networks called Cooperative Extended Kohonen Maps. This framework encapsulates t...
Kian Hsiang Low, Wee Kheng Leow, Marcelo H. Ang Jr...
IJCAI
2003
14 years 6 days ago
Case-Based Recommender Systems: A Unifying View
Abstract. This paper presents a unifying framework to model casebased reasoning recommender systems (CBR-RSs). CBR-RSs have complex architectures and specialize the CBR problem sol...
Fabiana Lorenzi, Francesco Ricci
IJCAI
2003
14 years 6 days ago
Generalizing GraphPlan by Formulating Planning as a CSP
We examine the approach of encoding planning problems as CSPs more closely. First we present a simple CSP encoding for planning problems and then a set of transformations that can...
Adriana Lopez, Fahiem Bacchus