STACS
1993
Springer
14 years 3 months ago
1993
Springer
Abduction is an important form of nonmonotonic reasoning allowing one to find explanations for certain symptoms or manifestations. When the application domain is described by a l...
STACS
1993
Springer
14 years 3 months ago
1993
Springer
STACS
1993
Springer
14 years 3 months ago
1993
Springer
We show that for most complexity classes of interest, all sets complete under rstorder projections (fops) are isomorphic under rst-order isomorphisms. That is, a very restricted v...
GI
1992
Springer
14 years 3 months ago
1992
Springer
RTA
1993
Springer
14 years 3 months ago
1993
Springer
This paper studies completion in the case of equations with constraints consisting of rstorder formulae over equations, disequations, and an irreducibility predicate. We present s...
RTA
1993
Springer
14 years 3 months ago
1993
Springer
We propose an extension of rewriting techniques to derive inclusion relations a ⊆ b between terms built from monotonic operators. Instead of using only a rewriting relation ⊆ ...
RTA
1993
Springer
14 years 3 months ago
1993
Springer
Usually termination of term rewriting systems TRS's is proved by means of a monotonic well-founded order. If this order is total on ground terms, the TRS is called totally ...
RTA
1993
Springer
14 years 3 months ago
1993
Springer
RTA
1993
Springer
14 years 3 months ago
1993
Springer
Abstract. We generalize the various path orderings and the conditions under which they work, and describe an implementation of this general ordering. We look at methods for proving...
RTA
1993
Springer
14 years 3 months ago
1993
Springer
