Mathematical Research Data Initiative
Main page
Recent changes
Random page
Help about MediaWiki
Create a new Item
Create a new Property
Merge two items
In other projects
Discussion
View source
View history
Purge
English
Log in

Fixed point theorems in logic programming

From MaRDI portal
Publication:1376090
Jump to:navigation, search

DOI10.1023/A:1018969519807zbMath0890.68025MaRDI QIDQ1376090

Driss Misane, Mohamed Amine Khamsi

Publication date: 21 January 1998

Published in: Annals of Mathematics and Artificial Intelligence (Search for Journal in Brave)


zbMATH Keywords

completeness


Mathematics Subject Classification ID

Logic programming (68N17)


Related Items (8)

Beyond multi-adjoint logic programming ⋮ Continuous solutions for fractional integral inclusion in locally convex topological space ⋮ On externally complete subsets and common fixed points in partially ordered sets ⋮ Fuzzy logic programming via multilattices ⋮ Thresholded semantic framework for a fully integrated fuzzy logic language ⋮ From Fuzzy to Annotated Semantic Web Languages ⋮ A top-\(k\) query answering procedure for fuzzy logic programming ⋮ Approximate well-founded semantics, query answering and generalized normal logic programs over lattices







This page was built for publication: Fixed point theorems in logic programming

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:1376090&oldid=13524898"
Tools
What links here
Related changes
Special pages
Printable version
Permanent link
Page information
MaRDI portal item
This page was last edited on 31 January 2024, at 15:14.
Privacy policy
About MaRDI portal
Disclaimers
Imprint
Powered by MediaWiki