Sciweavers

AAAI
2007
14 years 1 months ago
Real Arguments Are Approximate Arguments
There are a number of frameworks for modelling argumentation in logic. They incorporate a formal representation of individual arguments and techniques for comparing conflicting a...
Anthony Hunter
AAAI
2007
14 years 1 months ago
Randomized Adaptive Spatial Decoupling for Large-Scale Vehicle Routing with Time Windows
In recent years, the size of combinatorial applications and the need to produce high-quality solutions quickly have increased steadily, providing significant challenges for optim...
Russell Bent, Pascal Van Hentenryck
AAAI
2007
14 years 1 months ago
Identifying Protein Interaction Abstracts with Contextual Bag of Words
Hsieh-Chuan Hung, Richard Tzong-Han Tsai, Wen-Lian...
AAAI
2007
14 years 1 months ago
Prime Implicates and Prime Implicants in Modal Logic
The purpose of this paper is to extend the notions of prime implicates and prime implicants to the basic modal logic K. We consider a number of different potential definitions of...
Meghyn Bienvenu
AAAI
2007
14 years 1 months ago
RETALIATE: Learning Winning Policies in First-Person Shooter Games
In this paper we present RETALIATE, an online reinforcement learning algorithm for developing winning policies in team firstperson shooter games. RETALIATE has three crucial chara...
Megan Smith, Stephen Lee-Urban, Hector Muño...
AAAI
2007
14 years 1 months ago
A Logic of Agent Programs
We present a sound and complete logic for reasoning about SimpleAPL programs. SimpleAPL is a fragment of the agent programming language 3APL designed for the implementation of cog...
Natasha Alechina, Mehdi Dastani, Brian Logan, John...
AAAI
2007
14 years 1 months ago
A Meta-learning Approach for Selecting between Response Automation Strategies in a Help-desk Domain
We present a corpus-based approach for the automation of help-desk responses to users’ email requests. Automation is performed on the basis of the similarity between a request a...
Yuval Marom, Ingrid Zukerman, Nathalie Japkowicz