Services
Commerciaux
14, rue de Provigny
94236 CACHAN
CEDEX
FRANCE
Tél.: +33 (0)1 47 40
67 00
Fax: +33 (0)1 47 40
67 02
Services
Commerciaux
14, rue de Provigny
94236 CACHAN
CEDEX
FRANCE
Tél.: +33 (0)1 47 40
67 00
Fax: +33 (0)1 47 40
67 02
Notice
1993 AAAI fall symposium on automated deduction in non-standard logics. Foreword. Automated inference in active logics. Automated deduction in a graphical temporal logic. Exploiting data dependencies in many-valued logics. Analytic tableaux for default logics. OSCAR - A general-purpose defeasible reasoner.
