4370 search results - page 343 / 874 » Algebra of Logic Programming |
134
click to vote
AGP
1994
IEEE
15 years 6 months ago
1994
IEEE
This paper considers compositions of conditional term rewriting systems as a basis for a modular approach to the design and analysis of equational logic programs. In this context,...
117
click to vote
EUSFLAT
2001
15 years 4 months ago
2001
The aim of this paper is to build a formal model for similarity-based fuzzy unification in multi-adjoint logic programs. Specifically, a general framework of logic programming whi...
VLSID
2004
IEEE
16 years 3 months ago
2004
IEEE
This paper is an attempt to answer the following question: how much improvement can be obtained in logic decomposition by using Boolean divisors? Traditionally, the existence of t...
116
click to vote
ICMCS
2006
IEEE
15 years 9 months ago
2006
IEEE
— A major challenge in the design of any real time system is the proper selection of implementation and platform alternatives. In this paper, a suitable FPGA-based design of the ...
121
click to vote
FROCOS
2005
Springer
15 years 8 months ago
2005
Springer
In a previous paper, we have introduced a general approach for connecting two many-sorted theories through connection functions that behave like homomorphisms on the shared signatu...