1776 search results - page 102 / 356 » Using a Logic Programming Language with Persistence and Cont... |
215
click to vote
CP
2009
Springer
16 years 3 months ago
2009
Springer
Abstract. We address a location-allocation problem that requires deciding the location of a set of facilities, the allocation of customers to those facilities under facility capaci...
108
Voted
ICLP
2005
Springer
15 years 8 months ago
2005
Springer
This paper presents a reactive programming and triggering framework for the coordination of a large number of distributed agents with shared knowledge. At the heart of this framewo...
232
Voted
POPL
2004
ACM
16 years 3 months ago
2004
ACM
In prior work we introduced a pure type assignment system that encompasses a rich set of property types, including intersections, unions, and universally and existentially quantif...
148
click to vote
ENTCS
2007
15 years 2 months ago
2007
We present two enhancements of the functional language L which is used in the eriFun system to write programs and formulate statements about them. Context dependent procedures all...
121
click to vote
CCIA
2007
Springer
15 years 9 months ago
2007
Springer
In this paper, we present an action language which is called AP oss in order to perform reasoning about actions under uncertainty. This language is based on a possibilistc logic pr...