scientific article

zbMath0807.68001MaRDI QIDQ3134502

John W. Lloyd

Publication date: 6 September 1993

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

deductive databasesSLDNF-resolutionperceptual processesprocedural semantics of definite programs

Mathematics Subject Classification ID

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

Related Items

Default theories over monadic languages ⋮ Logic Programs under Three-Valued Łukasiewicz Semantics ⋮ Query answering in resource-based answer set semantics ⋮ A linear algebraic approach to datalog evaluation ⋮ Preservation in many-valued truth institutions ⋮ Datalog and Its Extensions for Semantic Web Databases ⋮ Extensions for open default theories via the domain closure assumption ⋮ Unnamed Item ⋮ Unnamed Item