597 search results - page 120 / 120 » Formal Techniques for Java-Like Programs |
JCIT
2007
13 years 5 months ago
2007
In this paper, we outline a framework for the development of natural language interfaces to agent systems with a focus on action representation. The architecture comprises a natur...
LPNMR
2005
Springer
13 years 11 months ago
2005
Springer
Abstract. The paper presents INFOMIX a successful application of ASP technology to the domain of Data Integration. INFOMIX is a novel system which supports powerful information int...