1776 search results - page 141 / 356 » Using a Logic Programming Language with Persistence and Cont... |
230
click to vote
ISSTA
2012
ACM
13 years 5 months ago
2012
ACM
Multithreaded programs are notoriously prone to unintended interference between concurrent threads. To address this problem, we argue that yield annotations in the source code sho...
117
click to vote
CLIMA
2004
15 years 4 months ago
2004
Abstract. We provide a formal characterization of a notion of contextual taxonomy, that is to say, a taxonomy holding only with respect to a specific context. To this aim, a new pr...
132
click to vote
PLILP
1997
Springer
15 years 7 months ago
1997
Springer
We introduce a framework for managing as a whole the space of a narrowing computation. The aim of our framework is to find a finite representation of an infinite narrowing space...
112
Voted
ENTCS
2000
15 years 3 months ago
2000
We describe how to embed a simple typed functional logic programming language in Haskell. The embedding is a natural extension of the Prolog embedding by Seres and Spivey [16]. To...
140
click to vote
ECAI
2004
Springer
15 years 8 months ago
2004
Springer
We present the agent programming language GTGolog, which integrates explicit agent programming in Golog with gametheoretic multi-agent planning in Markov games. It is a generalizat...