ON A THEOREM PROVER FOR VARIATIONAL LOGIC PROGRAMS WITH FUNCTORS SETU AND SETS
From MaRDI portal
Publication:3427869
DOI10.1142/S021848850000006XzbMath1113.68365OpenAlexW4241510000MaRDI QIDQ3427869
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
Reasoning under uncertainty in the context of artificial intelligence (68T37) Logic programming (68N17)
Cites Work