597 search results - page 120 / 120 » Formal Techniques for Java-Like Programs |
129
Voted
JCIT
2007
15 years 29 days 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...
136
click to vote
LPNMR
2005
Springer
15 years 6 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...