3470 search results - page 498 / 694 » Head-Elementary-Set-Free Logic Programs |
184
click to vote
CA
2003
IEEE
15 years 11 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...
288
click to vote
POPL
2007
ACM
16 years 6 months ago
2007
ACM
Constraint Handling Rules (CHR) is a concurrent committedchoice constraint logic programming language to describe transformations (rewritings) among multi-sets of constraints (ato...
141
click to vote
ICFP
2005
ACM
16 years 5 months ago
2005
ACM
We describe a monadic interface to low-level hardware features that is a suitable basis for building operating systems in Haskell. The interface includes primitives for controllin...
151
click to vote
ICFP
2002
ACM
16 years 5 months ago
2002
ACM
We present the type theory LTT, intended to form a basis for typed target languages, providing an internal notion of logical proposition and proof. The inclusion of explicit proof...
157
click to vote
DFG
2004
Springer
15 years 11 months ago
2004
Springer
Programmable Logic Controllers (PLC) are widely used as device controllers for assembly lines, chemical processes, or power plants. Sequential Function Charts (SFC) form one of the...