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

DOI10.1142/S021848850000006XzbMATH Open1113.68365OpenAlexW4241510000MaRDI QIDQ3427869FDOQ3427869

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)

Cites Work

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

   Recommendations

• Set based logic programming 👍 👎
• Title not available (Why is that?) 👍 👎
• Fuzzy logic programming 👍 👎
• Annotated fuzzy logic programs 👍 👎
• {log}: A language for programming in logic with finite sets 👍 👎

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)