4370 search results - page 31 / 874 » Algebra of Logic Programming |
81
Voted
JSYML
2007
15 years 19 days ago
2007
Substructural fuzzy logics are substructural logics that are complete with respect to algebras whose lattice reduct is the real unit interval [0, 1]. In this paper, we introduce Un...
AI
2008
Springer
15 years 27 days ago
2008
Springer
Local computation in join trees or acyclic hypertrees has been shown to be linked to a particular algebraic structure, called valuation algebra. There are many models of this alge...
114
click to vote
CADE
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. This paper presents the foundations for using automated deduction technology in static program analysis. The central principle is the use of logical lattices ? a class of...
58
Voted
FPCA
1987
15 years 4 months ago
1987
279
Voted
ACMMPC
2000
Springer
15 years 5 months ago
2000
Springer
Abstract. Functional programs are merely equations; they may be manipulated by straightforward equational reasoning. In particular, one can use this style of reasoning to calculate...