In this paper,we translate Dressler's nonmonotonic ATMS with out-assump- tion [Dr88] into an annotated logic program with strong negation(ALPSN).

In this paper, we translate Dressler's nonmonotonic ATMS with out-assumptions [Dr88] into an annotated logic program with strong negation (ALPSN) which was ...

PDF | In this paper, we translate Dressler's nonmonotonic ATMS with out-assumptions [Dr88] into an annotated logic program with strong negation (ALPSN).

In this paper, we translate Dressler's nonmonotonic ATMS with out-assump- tions [Dr88] into an annotated logic program with strong negation (ALPSN).

A Non-monotonic ATMS Based on Annotated Logic Programs with Strong Negation. Authors: Kazumi Nakamatsu. Kazumi Nakamatsu. View Profile. , Atsuyuki Suzuki.

Nonmonotonic justifications and assumption nodes of Dressler's ATMS are translated into annotated logic program clauses with strong negation. The most important ...

A Non-monotonic ATMS Based on Annotated Logic Programs with Strong Negation · Author Picture Kazumi Nakamatsu,; Author Picture Atsuyuki Suzuki. Pages 79–93. 0.

This paper proposes an annotated logic program called a VALPSN (Vector Annotated Logic Program with Strong Negation) to deal with defeasible reasoning and ...

We have proposed ALPSN (Annotated Logic Program with Strong Nega- tion) and shown that it can provide the declarative semantics for default.

Finally, we discuss some connections of our approach to work going on in the area of logic programming with negation, and to default logic, thus demonstrating ...