scientific article; zbMATH DE number 4168655

zbMATH Open0711.03006MaRDI QIDQ3495342FDOQ3495342

Authors: Alan M. Frisch 

Publication date: 1989

Title of this publication is not available (Why is that?)

Recommendations

• The substitutional framework for sorted deduction: Fundamental results on hybrid reasoning
• scientific article; zbMATH DE number 67965
• scientific article; zbMATH DE number 1759378
• scientific article; zbMATH DE number 1330426
• Unification in sort theories and its applications

zbMATH Keywords

Herbrand modeldeductive system for sorted logicSorted First Order Predicate Calculus

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Other applications of logic (03B80)

Cited In (10)

• An order-sorted logic for knowledge representation systems
• A typed resolution principle for deduction with conditional typing theory
• The substitutional framework for sorted deduction: Fundamental results on hybrid reasoning
• A hybrid reasoning system for terminologies and first-order clauses in knowledge bases
• Conjunctive partial deduction: foundations, control, algorithms, and experiments
• Completing sort hierarchies
• The descriptive component of a hybrid knowledge representation language
• Title not available (Why is that?)
• On Skolemization in constrained logics
• Logics in Artificial Intelligence

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3495342)