An ATP of a Relational Proof System for Order of Magnitude Reasoning with Negligibility, Non-closeness and Distance.

Joanna Golinska-Pilarek, ngel Mora, Emilio Muoz-Velasco

Browse the full PRICAI paper archive.