3319 search results - page 142 / 664 » Subshifts, Languages and Logic |
96
Voted
CASES
2006
ACM
15 years 6 months ago
2006
ACM
In this paper we study, through a concrete case, the feasibility of using a high-level, general-purpose logic language in the design and implementation of applications targeting w...
93
Voted
CLIMA
2007
15 years 2 months ago
2007
Abstract. In this paper we are concerned with proposing, analyzing and implementing simple, yet flexible, constructs for multi-agent programming. In particular, we wish to extend ...
ICLP
2007
Springer
15 years 7 months ago
2007
Springer
Abstract. Action description languages, such as A and B [6], are expressive instruments introduced for formalizing planning domains and problems. The paper starts by proposing a me...
98
Voted
CORR
2004
Springer
15 years 18 days ago
2004
Springer
In this paper we present a framework for creating natural language interfaces to action-based applications. Our framework uses a number of reusable application-independent compone...
104
click to vote
WCFLP
2005
ACM
15 years 6 months ago
2005
ACM
Programmers need mechanisms to store application specific data that persists multiple program runs. To accomplish this task, they usually have to deal with storage specific code...