1776 search results - page 66 / 356 » Using a Logic Programming Language with Persistence and Cont... |
TBILLC
2005
Springer
15 years 3 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ļ...
ICFP
2010
ACM
14 years 10 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...
ILP
2007
Springer
15 years 3 months 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 ...
ERSHOV
1999
Springer
15 years 2 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...
CLIMA
2010
14 years 11 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...