1993
DOI: 10.1093/logcom/3.2.115
|View full text |Cite
|
Sign up to set email alerts
|

A Fixed Point Semantics for the ATMS

Abstract: In CTW90], the ATMS resolution mechanisms have been formalized, using the concept of DK-tree. We propose in this paper a new and simple approach based on the xed point theory and an original demonstration of the completeness of these mechanisms. We rst introduce the basic de nitions of terms, sets and functions which are used in the paper and build a lattice. Then, the basic formal tools to describe the ATMS mechanisms are introduced: The notion of DK-Clash (in fact, the inference rule), and a monotonic functi… Show more

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...

Citation Types

0
0
0

Publication Types

Select...
1

Relationship

0
1

Authors

Journals

citations
Cited by 1 publication
references
References 0 publications
0
0
0
Order By: Relevance