Sciweavers

1320 search results - page 39 / 264
» Efficient Implementation of a Linear Logic Programming Langu...
Sort
View
EUROCAST
2007
Springer
133views Hardware» more  EUROCAST 2007»
13 years 11 months ago
Temporal Equilibrium Logic: A First Approach
In this paper we introduce an extension of Equilibrium Logic (a logical characterisation of the Answer Set Semantics for logic programs) consisting in the inclusion of modal tempor...
Pedro Cabalar, Gilberto Pérez Vega
WOA
2003
13 years 8 months ago
Strips-like Planning in the DALI Logic Programmming Language
— In this paper we discuss how some features of the new logic programming language DALI for agents and multiagent systems are suitable to programming agents equipped with plannin...
Stefania Costantini, Arianna Tocchio
ICLP
1990
Springer
13 years 11 months ago
On Warren's Method for Functional Programming in Logic
Although Warren's method for the evaluation in Prolog of expressions with higherorder functions appears to have been neglected, it is of great value. Warren's paper need...
Mantis H. M. Cheng, Maarten H. van Emden, B. E. Ri...
EVOW
2009
Springer
14 years 2 months ago
Prediction of Interday Stock Prices Using Developmental and Linear Genetic Programming
A developmental co-evolutionary genetic programming approach (PAM DGP) is compared to a standard linear genetic programming (LGP) implementation for trading of stocks across market...
Garnett Carl Wilson, Wolfgang Banzhaf
CA
2003
IEEE
14 years 21 days ago
XSTEP: A Markup Language for Embodied Agents
In this paper we propose an XML-based markup language, called XSTEP, for embodied agents, based on the scripting language STEP. XSTEP is the XML-based successor of STEP. The scrip...
Zhisheng Huang, Anton Eliëns, Cees T. Visser