8232 search results - page 56 / 1647 » Dynamic Logic Programming |
130
click to vote
ESOP
2010
Springer
15 years 11 months ago
2010
Springer
Abstract. Embedded information assurance applications that are critical to national and international infrastructures, must often adhere to certification regimes that require infor...
108
click to vote
JFLP
2002
15 years 2 months ago
2002
We consider prescriptive type systems for logic programs (as in G
126
click to vote
CORR
2004
Springer
15 years 2 months ago
2004
Springer
We describe a scheme for moving living code between a set of distributed processes coordinated with unification based Linda operations, and its application to building a comprehen...
150
click to vote
ICLP
2004
Springer
15 years 7 months ago
2004
Springer
We introduce our implemented modal logic programming system MProlog. This system is written in Prolog as a module for Prolog. Codes, libraries, and most features of Prolog can be u...
100
Voted
EUSFLAT
2003
15 years 3 months ago
2003
The concept of homogeneous multi-adjoint logic program is introduced, and a procedure to homogenize an arbitrary multi-adjoint logic program is presented. The procedure is proved ...