Circumscription Form

This form is the remote program execution form for computing first-order circumscription. You can specify a circumscription problem, send it to a server at the Max-Planck Institute, which invokes the SCAN algorithm, computes the answer and sends the result back to you immediately.

Your email address (mandatory) :

Predicates to be minimized (separated by ',') :

Predicates to be varied (separated by ',') :

Database (point separated formulae in Otter syntax) :

General Control Parameters
print resolvents (default = no)
seconds maximal CPU time (maximum: 10)
seconds for checking redundancy of resolvents (1 should do)
seconds for minimizing result (per clause) (1 should do)

Forms: Basic Form | Correspondences Form | Circumscription Form | Help
Documentation: Theory | Computing Correspondences | Computing Circumscription | The System | Conventions | Syntax | Literature

Maintained by Last modified: 7 Nov 2000
Copyright © 1995-2000 by Max-Planck-Institut für Informatik. All rights reserved.

Imprint | Data Protection