5482 search results - page 736 / 1097 » Logic Programming and Databases |
176
click to vote
ETFA
2006
IEEE
16 years 24 days ago
2006
IEEE
This paper presents a new approach to modelling and verification of function block applications of the IEC 61499 standard. The approach uses the language of logic programming Prol...
156
click to vote
IFIP
2005
Springer
16 years 7 days ago
2005
Springer
We present a method for trust scenarios with more than one trustee, where sets of trustees are ordered in a relation of relative trustworthiness. We show how a priority structure i...
157
click to vote
CSL
2004
Springer
16 years 4 days ago
2004
Springer
Set constraints are a useful formalism for verifying properties of programs. Usually, they are interpreted over the universe of finite terms. However, some logic languages allow i...
189
Voted
MEMBRANE
2004
Springer
16 years 3 days ago
2004
Springer
LMNtal (pronounced “elemental”) is a simple language model based on graph rewriting that uses logical variables to represent links and membranes to represent hierarchies. The ...
163
click to vote
ICALT
2003
IEEE
16 years 22 hour ago
2003
IEEE
The knowledge society brings its own challenges and demands upon its citizens. Key amongst these is the need to empower people to become lifelong learners, to reflect upon their o...