4266 search results - page 96 / 854 » A Framework for Defining Logics |
100
click to vote
WFLP
2000
Springer
15 years 1 months ago
2000
Springer
We describe the current status of the development of CFLP, a system which aims at the integration of the best features of functional logic programming (FLP), cooperative constrain...
CIE
2008
Springer
14 years 12 months ago
2008
Springer
There are many ways to define complexity in logic. In finite model theory, it is the complexity of describing properties, whereas in proof complexity it is the complexity of provin...
101
click to vote
ENTCS
2002
14 years 9 months ago
2002
In this work we provide a semantic description of functional logic languages covering notions like laziness, sharing, and non-determinism. Such a semantic description is essential...
103
click to vote
DBSEC
2010
14 years 10 months ago
2010
Abstract. We consider the problem of developing an abstract metamodel of access control in terms of which policies for protecting a principal's private information may be spec...
HCI
2007
14 years 11 months ago
2007
Abstract. A major challenge of Ambient Intelligence lies in building middleware that can ease service implementation through allowing the application developer to emphasize only th...