scientific article; zbMATH DE number 559225

MaRDI QIDQ4289283zbMATH OpenFDO

Authors Anthony Karel Seda

Publication date 28 April 1994

zbMATH Keywords

continuityfixed point semanticsLawson topologynormal logic programpartial recursive functionsproduct topologiestopologies on spaces of interpretations

Mathematics Subject Classification ID

Logic programming (68N17) Semantics in the theory of computing (68Q55)

Recommendations

• scientific article; zbMATH DE number 810107
• The query topology in logic programming
• scientific article; zbMATH DE number 3936480
• Topological investigations of the operators of the well-founded, and alternating fixed-point semantics of normal logic programs
• scientific article; zbMATH DE number 604877

Cited in

(11)

• Topology and completion in semantics. Workshop, Chartres, France, November 18--20, 1993
• Dislocated topologies
• Topological investigations of the operators of the well-founded, and alternating fixed-point semantics of normal logic programs
• Generalized topologies with associating function and logical applications
• scientific article; zbMATH DE number 3936480 (Why is no real title available?)
• scientific article; zbMATH DE number 4123705 (Why is no real title available?)
• scientific article; zbMATH DE number 604877 (Why is no real title available?)
• scientific article; zbMATH DE number 1498598 (Why is no real title available?)
• scientific article; zbMATH DE number 810107 (Why is no real title available?)
• The query topology in logic programming
• Morpho-logic from a topos perspective -- application to symbolic AI

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