597 search results - page 48 / 120 » Semantics for Dynamic Logic Programming: A Principle-Based A... |
142
click to vote
LOPSTR
2007
Springer
15 years 9 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...
125
Voted
APN
2001
Springer
15 years 6 months ago
2001
Springer
We address the verification of programmable logic controllers (PLC). In our approach, a PLC program is translated into a special type of colored Petri net, a so-called register net...
119
Voted
VL
1993
IEEE
15 years 6 months ago
1993
IEEE
This paper presents a new programming language named SPARCL that has four major elements: it is a visual language, it is a logic programming language, it relies on sets to organiz...
111
Voted
CLIMA
2007
15 years 4 months ago
2007
Abstract. Failures are unavoidable in many circumstances. For example, an agent may fail at some point to perform a task in a dynamic environment. Robust systems typically have mec...
124
Voted
VRML
2003
ACM
15 years 8 months ago
2003
ACM
Embodied agents or humanoid avatars may effectively be used to communicate with human users. Currently there is a wide range of specification formalisms and scripting languages f...