Goal-directed proof theory

Authors:
Dov M. Gabbay;Nicola Olivetti
Affiliations:
King's College, London, UK;Univ. di Torino, Turin, Italy
Venue:
Goal-directed proof theory
Year:
2000

Citing 0
Cited 3

A sequent calculus and a theorem prover for standard conditional logics

ACM Transactions on Computational Logic (TOCL)
Conditional and Preferential Logics: Proof Methods and Theorem Proving

Proceedings of the 2010 conference on Conditional and Preferential Logics: Proof Methods and Theorem Proving
ABox Abduction in the Description Logic $\boldsymbol{\mathcal{ALC}}$

Journal of Automated Reasoning

Quantified Score

Hi-index	0.00

Visualization

Abstract