Sciweavers

IJCAI
2007
13 years 9 months ago
Automated Benchmark Model Generators for Model-Based Diagnostic Inference
This article proposes a Diagnosis Interchange Format (DIF), an XML-based interchange format for Model-Based Diagnosis (MBD). Its main purposes are to allow sharing of diagnostic m...
Gregory M. Provan, Jun Wang
IJCAI
2007
13 years 9 months ago
A Faithful Integration of Description Logics with Logic Programming
Integrating description logics (DL) and logic programming (LP) would produce a very powerful and useful formalism. However, DLs and LP are based on quite different principles, so ...
Boris Motik, Riccardo Rosati
IJCAI
2007
13 years 9 months ago
A Flexible Unsupervised PP-Attachment Method Using Semantic Information
In this paper we revisit the classical NLP problem of prepositional phrase attachment (PPattachment). Given the pattern V −NP1−P −NP2 in the text, where V is verb, NP1 is a ...
Srinivas Medimi, Pushpak Bhattacharyya
IJCAI
2007
13 years 9 months ago
Integration of Hybrid Bio-Ontologies using Bayesian Networks for Knowledge Discovery
This paper describes how high level biological knowledge obtained from ontologies such as the Gene Ontology (GO) can be integrated with low level information extracted from a Baye...
Kenneth McGarry, Sheila Garfield, Nick Morris, Ste...
IJCAI
2007
13 years 9 months ago
Automatically Selecting Answer Templates to Respond to Customer Emails
Contact center agents typically respond to email queries from customers by selecting predefined answer templates that relate to the questions present in the customer query. In th...
Rahul Malik, L. Venkata Subramaniam, Saroj Kaushik
IJCAI
2007
13 years 9 months ago
From Answer Set Logic Programming to Circumscription via Logic of GK
We first provide a mapping from Pearce’s equilibrium logic and Ferraris’s general logic programs to Lin and Shoham’s logic of knowledge and justified assumptions, a nonmon...
Fangzhen Lin, Yi Zhou
IJCAI
2007
13 years 9 months ago
Winner Determination in Sequential Majority Voting
Voting rules map collections of preference orderings over a set of candidates (one for each voter) to candidates. Now, in many contexts, we have to consider the case where either t...
Jérôme Lang, Maria Silvia Pini, Franc...
IJCAI
2007
13 years 9 months ago
Sequential Bundle-Bid Single-Sale Auction Algorithms for Decentralized Control
We study auction-like algorithms for the distributed allocation of tasks to cooperating agents. To reduce the team cost of sequential single-item auction algorithms, we generalize...
Sven Koenig, Craig A. Tovey, Xiaoming Zheng, Ilgaz...
IJCAI
2007
13 years 9 months ago
Improving Anytime Point-Based Value Iteration Using Principled Point Selections
Planning in partially-observable dynamical systems (such as POMDPs and PSRs) is a computationally challenging task. Popular approximation techniques that have proved successful ar...
Michael R. James, Michael E. Samples, Dmitri A. Do...