scientific article
From MaRDI portal
Publication:3495342
zbMath0711.03006MaRDI QIDQ3495342
Publication date: 1989
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items
On Skolemization in constrained logics, The substitutional framework for sorted deduction: Fundamental results on hybrid reasoning, An order-sorted logic for knowledge representation systems, Completing sort hierarchies, The descriptive component of a hybrid knowledge representation language, A hybrid reasoning system for terminologies and first-order clauses in knowledge bases, A typed resolution principle for deduction with conditional typing theory
