Defaults as restrictions on classical Hilbert-style proofs.

Gianni Amati Luigia Carlucci Aiello Fiora Pirri

Published in: J. Log. Lang. Inf. (1994)

Keyphrases

theorem proving
equational theories
database
real time
databases
knowledge base
natural language
data model
theorem prover
default reasoning
formal proof