scientific article; zbMATH DE number 410424

MaRDI QIDQ3134502zbMATH OpenFDO

Authors John W. Lloyd

Publication date 6 September 1993

zbMATH Keywords

deductive databasesSLDNF-resolutionperceptual processesprocedural semantics of definite programs

Mathematics Subject Classification ID

Knowledge representation (68T30) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) Artificial intelligence (68T99) Logic programming (68N17) Logic in artificial intelligence (68T27)

Cited in

(16)

• scientific article; zbMATH DE number 4147465 (Why is no real title available?)
• scientific article; zbMATH DE number 783780 (Why is no real title available?)
• Extensions for open default theories via the domain closure assumption
• scientific article; zbMATH DE number 3872640 (Why is no real title available?)
• Default theories over monadic languages
• A linear algebraic approach to Datalog evaluation
• Logic Programs under Three-Valued Łukasiewicz Semantics
• Computing definite logic programs by partial instantiation
• Preservation in many-valued truth institutions
• The Essential Inadequacy of Deduction in Logic Programming
• scientific article; zbMATH DE number 1531964 (Why is no real title available?)
• Declarative and procedural semantics of fuzzy similarity based unification
• Datalog and Its Extensions for Semantic Web Databases
• Programming with higher-order logic.
• Parallel symmetric class expression learning
• Query answering in resource-based answer set semantics

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