scientific article; zbMATH DE number 410424

zbMATH Open0807.68001MaRDI QIDQ3134502FDOQ3134502

Authors: John W. Lloyd 

Publication date: 6 September 1993

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

Recommendations

• scientific article; zbMATH DE number 3872640
• scientific article; zbMATH DE number 1531964
• scientific article
• scientific article; zbMATH DE number 3913653
• scientific article; zbMATH DE number 708499

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)

• Title not available (Why is that?)
• Title not available (Why is that?)
• Extensions for open default theories via the domain closure assumption
• Title not available (Why is that?)
• Default theories over monadic languages
• Logic Programs under Three-Valued Łukasiewicz Semantics
• Title not available (Why is that?)
• Computing definite logic programs by partial instantiation
• Preservation in many-valued truth institutions
• The Essential Inadequacy of Deduction in Logic Programming
• Declarative and procedural semantics of fuzzy similarity based unification
• Title not available (Why is that?)
• A linear algebraic approach to datalog evaluation
• Datalog and Its Extensions for Semantic Web Databases
• Programming with higher-order logic.
• 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)