scientific article; zbMATH DE number 4123705

zbMath0686.03013MaRDI QIDQ4204135

V. S. Subrahmanian, Aida Batarekh

Publication date: 1989

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

zbMATH Keywords

logic programmingmodel structuresquery topologytopology of the model space

Mathematics Subject Classification ID

Model theory (03C99) Logic in computer science (03B70) General topics in the theory of software (68N01)

Related Items (10)

Logic programs and connectionist networks ⋮ Logic programs, iterated function systems, and recurrent radial basis function networks ⋮ A topological characterization of the stable and minimal model classes of propositional logic programs ⋮ The query topology in logic programming ⋮ Fixpoint techniques for non-monotone maps ⋮ Generalized metrics and uniquely determined logic programs. ⋮ Unnamed Item ⋮ On the Coincidence of Semantics for Uniquely Determined Programs ⋮ Set based logic programming ⋮ Information categories

This page was built for publication: