论文信息 - Paraconsistent Reasoning for the Semantic Web - 字舞流文

Paraconsistent Reasoning for the Semantic Web

Hendrik Decker | Stefan Decker | François Bry | Andreas Herzig | Philippe Besnard | Sebastian Schaffert | Carlos F. Enguix | S. Decker | A. Herzig | François Bry | H. Decker | P. Besnard | Sebastian Schaffert

[1] Newton C. A. da Costa,et al. On the theory of inconsistent formal systems , 1974, Notre Dame J. Formal Log..

[2] S. Jaskowski. Propositional calculus for contradictory deductive systems , 1969 .