1776 search results - page 66 / 356 » Using a Logic Programming Language with Persistence and Cont... |
100
Voted
TBILLC
2005
Springer
15 years 8 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ļ...
131
Voted
ICFP
2010
ACM
15 years 2 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...
126
Voted
ILP
2007
Springer
15 years 8 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 ...
111
Voted
ERSHOV
1999
Springer
15 years 6 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...
139
Voted
CLIMA
2010
15 years 4 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...