7892 search results - page 187 / 1579 » Programming with Models |
105
Voted
ATAL
2005
Springer
15 years 7 months ago
2005
Springer
In this paper we discuss the use of the Answer Set Programming paradigm for representing and analysing specifications of agent-based institutions. We outline the features of insti...
LPNMR
2005
Springer
15 years 7 months ago
2005
Springer
Open answer set programming (OASP) is an extension of answer set programming where one may ground a program with an arbitrary superset of the program’s constants. We define a ...
145
click to vote
AAMAS
2011
Springer
14 years 5 months ago
2011
Springer
This paper introduces the execution model of a declarative programming language intended for agent applications. Features supported by the language include functional and logic pro...
130
click to vote
CSR
2006
Springer
15 years 5 months ago
2006
Springer
We propose a new model of restricted branching programs specific to solving GEN problems, which we call incremental branching programs. We show that syntactic incremental branchin...
102
click to vote
IPPS
2000
IEEE
15 years 6 months ago
2000
IEEE
Abstract. Nested data-parallel programs often have large memory requirements due to their high degree of parallelism. Piecewise execution is an implementation technique used to min...