128 search results - page 17 / 26 » AceRules: Executing Rules in Controlled Natural Language |
CLEF
2006
Springer
13 years 11 months ago
2006
Springer
In this paper we present the use of a "general purpose" textual entaiment recognizer in the Answer Validation Exercise (AVE) task. Our system has been developed to learn...
TLDI
2003
ACM
14 years 21 days ago
2003
ACM
We develop a logic for reasoning about adjacency and separation of memory blocks, as well as aliasing of pointers. We provide a memory model for our logic and present a sound set ...
RAS
2010
13 years 5 months ago
2010
This article investigates fundamental issues in scaling autonomous personal robots towards open-ended sets of everyday manipulation tasks which involve high complexity and vague j...
ATAL
2003
Springer
14 years 21 days ago
2003
Springer
This paper discusses some modeling issues concerning the communication between goal-directed agents. In particular, the role of performatives in agent communication is discussed. I...
ACL
1998
13 years 8 months ago
1998
In natural language processing, many methods have been proposed to solve the ambiguity problems. In this paper, we propose a technique to combine a method of interactive disambigu...