scientific article; zbMATH DE number 4168655

MaRDI QIDQ3495342zbMATH OpenFDO

Authors Alan M. Frisch

Publication date 1989

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)

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

Cited in

(10)

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

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)