Sciweavers

IJCAI
2003
13 years 8 months ago
ODISET: On-line Distributed Session Tracing using Agents
When a security incident occurs it is sometimes necessary to identify its causes for legal and cautionary purposes. In an attempt to hide the origin of her connection, a malicious...
Salvador Mandujano, Arturo Galván
IJCAI
2003
13 years 8 months ago
Scenario-based Stochastic Constraint Programming
To model combinatorial decision problems involving uncertainty and probability, we extend the stochastic constraint programming framework proposed in [Walsh, 2002] along a number ...
Suresh Manandhar, Armagan Tarim, Toby Walsh
IJCAI
2003
13 years 8 months 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
13 years 8 months 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
13 years 8 months 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
13 years 8 months 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
13 years 8 months 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
13 years 8 months 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
13 years 8 months ago
A New Node Centroid Algorithm for Bandwidth Minimization
Andrew Lim, Brian Rodrigues, Fei Xiao
IJCAI
2003
13 years 8 months 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...