4722 search results - page 163 / 945 » Encoding Program Executions |
151
click to vote
JELIA
2004
Springer
15 years 10 months ago
2004
Springer
This paper is an analysis of two knowledge representation extensions of logic programming, namely Answer Set Programming and ID-Logic. Our aim is to compare both logics on the leve...
127
click to vote
ICLP
1997
Springer
15 years 9 months ago
1997
Springer
Hybrid Probabilistic Programs (HPPs) are logic programs that allow the programmer to explicitly encode his knowledge of the dependencies between events being described in the prog...
168
click to vote
LCPC
1994
Springer
15 years 9 months ago
1994
Springer
Data parallel programs are sensitive to the distribution of data across processor nodes. We formulate the reduction of inter-node communication as an optimization on a colored gra...
147
click to vote
CGO
2003
IEEE
15 years 8 months ago
2003
IEEE
In this paper, we describe a novel execution environment for Java programs that substantially improves execution performance by incorporating both on-line and off-line profile inf...
145
click to vote
ATAL
1995
Springer
15 years 8 months ago
1995
Springer
This paper describes a novel approach to high-level agent programming based on a highly developed logical theory of action. The user provides a specification of the agents’ bas...