1776 search results - page 66 / 356 » Using a Logic Programming Language with Persistence and Cont... |
130
click to vote
TBILLC
2005
Springer
15 years 11 months ago
2005
Springer
We implement the extension of the logical consequence relation to a partial order ā¤ on arbitary types built from e (entities) and t (Booleans) that was given in [1], and the deļ...
176
click to vote
ICFP
2010
ACM
15 years 6 months ago
2010
ACM
While many type systems based on the intuitionistic fragment of linear logic have been proposed, applications in programming languages of the full power of linear logic--including...
166
click to vote
ILP
2007
Springer
16 years 5 days ago
2007
Springer
The management of business processes has recently received a lot of attention. One of the most interesting problems is the description of a process model in a language that allows ...
145
click to vote
ERSHOV
1999
Springer
15 years 10 months ago
1999
Springer
Abstract. Monads are a technique widely used in functional programming languages to address many diļ¬erent problems. This paper presents extensions, a functional-logic programming...
177
click to vote
CLIMA
2010
15 years 7 months ago
2010
In this paper we present an agent language that combines agent functionality with an action theory and model-theoretic semantics. The language is based on abductive logic programmi...