4370 search results - page 41 / 874 » Algebra of Logic Programming |
81
Voted
JSYML
2008
15 years 21 days ago
2008
. We give a novel application of algebraic logic to first order logic. A new, flexible construction is presented for representable but not completely representable atomic relation ...
82
Voted
POPL
1991
ACM
15 years 4 months ago
1991
ACM
99
Voted
ALP
1994
Springer
15 years 4 months ago
1994
Springer
This paper introduces a logic for a class of properties - in particular variable aliasing - used in static analysis of logic programs. The logic is shown to be sound, complete and ...
110
Voted
AML
2005
15 years 19 days ago
2005
IMTL logic was introduced in [12] as a generalization of the infinitely-valued logic of Lukasiewicz, and in [11] it was proved to be the logic of left-continuous t-norms with an i...
120
Voted
AMAI
2007
Springer
15 years 26 days ago
2007
Springer
It is widely accepted that spatial reasoning plays a central role in artificial intelligence, for it has a wide variety of potential applications, e.g., in robotics, geographical...