1017 search results - page 77 / 204 » Higher-Order Logic Programming Languages with Constraints: A... |
CA
2003
IEEE
15 years 3 months ago
2003
IEEE
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...
ICLP
2004
Springer
15 years 3 months ago
2004
Springer
A novel style of multi-agent system specification and deployment is described, in which familiar methods from computational logic are re-interpreted to a new context. One view of ...
APLAS
2000
ACM
15 years 2 months ago
2000
ACM
We describe a system called CFLP which aims at the integration of the best features of functional logic programming (FLP), cooperative constraint solving (CCS), and distributed co...
JAR
2008
14 years 9 months ago
2008
Abstract We present an extensible encoding of object-oriented data models into higherorder logic (HOL). Our encoding is supported by a datatype package that leverages the use of th...
LOPSTR
2007
Springer
15 years 3 months ago
2007
Springer
Abstract. It has often been observed that a point-free style of programvides a more abstract view on programs. We aim to use the gain in abstraction to obtain a denotational semant...