scientific article; zbMATH DE number 3850495

MaRDI QIDQ3319793zbMATH OpenFDO

Authors Viacheslav E. Wolfengagen

Publication date 1984

zbMATH Keywords

intensional problem domain modelknwoledge representationlambda conversionLISP-like languagessemantic network

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40) Abstract data types; algebraic specification (68Q65) Artificial intelligence (68T99)

Recommendations

• scientific article; zbMATH DE number 1534581
• An algebraic structured model of formal knowledge representations (frames and rules)
• scientific article; zbMATH DE number 1186722
• An Outline of a Dynamic Theory of Frames
• A logico-algebraic approach to the model theory of knowledge

Cited in

(10)

• Ontological commitments of frame-based knowledge representations
• Computation of framed deformation functors
• scientific article; zbMATH DE number 3880424 (Why is no real title available?)
• An algebraic structured model of formal knowledge representations (frames and rules)
• UFL: An Experimental Frame Language Based on Abstract Data Types
• scientific article; zbMATH DE number 21405 (Why is no real title available?)
• What is a Frame? Theory and Applications of Frames
• An Outline of a Dynamic Theory of Frames
• The theory of function structure models
• Frame theory for binary vector spaces

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 Q3319793)