4370 search results - page 82 / 874 » Algebra of Logic Programming |
CORR
2011
Springer
13 years 1 months ago
2011
Springer
In this paper we consider the class of truth-functional many-valued logics with a finite set of truth-values. The main result of this paper is the development of a new binary sequ...
CORR
2010
Springer
13 years 10 months ago
2010
Springer
Event-driven automation of reactive functionalities for complex event processing is an urgent need in today's distributed service-oriented architectures and Web-based event-d...
APAL
2010
13 years 8 months ago
2010
The theory of Schauder hats is a beautiful and powerful tool for investigating, under several respects, the algebraic semantics of Lukasiewicz infinite-valued logic [CDM99], [MMM07...
POPL
2002
ACM
14 years 10 months ago
2002
ACM
PADL
2007
Springer
14 years 4 months ago
2007
Springer
