1239 search results - page 9 / 248 » Control Generation for Logic Programs |
FROCOS
2007
Springer
14 years 1 months ago
2007
Springer
Abstract. We investigate the extension of modal logics by bisimulation quantifiers and present a class of modal logics which is decidable when augmented with bisimulation quanti...
ICRA
2007
IEEE
14 years 1 months ago
2007
IEEE
— Quickly adapting the manufacturing system to the production of new or modified products is critical for manufacturers in order to stay competitive. For flexible manufacturing...
CORR
2002
Springer
13 years 7 months ago
2002
Springer
Program specialisation aims at improving the overall performance of programs by performing source to source transformations. A common approach within functional and logic programm...
ICDCS
1998
IEEE
13 years 12 months ago
1998
IEEE
Distributed execution of logic programs requires a match of granularity between a program and the distributed multi-processor it runs on to exploit its potential for performance f...
LISP
2008
13 years 7 months ago
2008
We describe the use of a flexible meta-interpreter for performing access control checks on deductive databases. The meta-program is implemented in Prolog and takes as input a datab...