General Domain Circumscription in its First-Order Reduction

• Authors:

• Patrick Doherty;Witold Lukaszewicz;Andrzej Szalas

• Affiliations:

• -;-;-

• Venue:
• FAPR '96 Proceedings of the International Conference on Formal and Applied Practical Reasoning
• Year:
• 1996