ON A THEOREM PROVER FOR VARIATIONAL LOGIC PROGRAMS WITH FUNCTORS SETU AND SETS

DOI10.1142/S021848850000006XMaRDI QIDQ3427869zbMATH OpenOpenAlexFDO

Authors Hiroshi Sakai, Akimichi Okuma

Publication date 27 March 2007

Published in International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1142/s021848850000006x

zbMATH Keywords

theorem proverlogic programreasoning under uncertaintynull attribute value

Mathematics Subject Classification ID

Reasoning under uncertainty in the context of artificial intelligence (68T37) Logic programming (68N17)

Recommendations

• Set based logic programming
• scientific article; zbMATH DE number 764342
• Fuzzy logic programming
• Annotated fuzzy logic programs
• {log}: A language for programming in logic with finite sets

Cites work

• A logic for default reasoning
• A logical framework for default reasoning
• A relational model of data for large shared data banks
• Database relations with null values
• Non-monotonic logic. I
• On Databases with Incomplete Information
• The implementation of FPROLOG - a fuzzy PROLOG interpreter

This page was built for publication: ON A THEOREM PROVER FOR VARIATIONAL LOGIC PROGRAMS WITH FUNCTORS SETU AND SETS

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3427869)