Declarative programming for agent applications
This paper introduces the execution model of a declarative programming language intended
for agent applications. Features supported by the language include functional and logic
programming idioms, higher-order functions, modal computation, probabilistic computation,
and some theorem-proving capabilities. The need for these features is motivated and
examples are given to illustrate the central ideas.
for agent applications. Features supported by the language include functional and logic
programming idioms, higher-order functions, modal computation, probabilistic computation,
and some theorem-proving capabilities. The need for these features is motivated and
examples are given to illustrate the central ideas.
Abstract
This paper introduces the execution model of a declarative programming language intended for agent applications. Features supported by the language include functional and logic programming idioms, higher-order functions, modal computation, probabilistic computation, and some theorem-proving capabilities. The need for these features is motivated and examples are given to illustrate the central ideas.
Springer
Showing the best result for this search. See all results