Contradiction Removal Semantics with Explicit Negation

• Authors:

• Luís Moniz Pereira;José Júlio Alferes;Joaquim Nunes Aparício

• Affiliations:

• -;-;-

• Venue:
• International Conference Logic at Work on Knowledge Representation and Reasoning Under Uncertainty, Logic at Work
• Year:
• 1992