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

DOI10.1142/S021848850000006XzbMath1113.68365OpenAlexW4241510000MaRDI QIDQ3427869

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

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