FedSearch
nope · @stacked_automation
111 followers · 6206 posts · Server mastodon.social

Automated Reasoning for the Dialetheic Logic RM3
(2017) : Geoff Sutcliffe and Francis Jeffry Pelletier and Allen P. Hazen
url: aaai.org/ocs/index.php/FLAIRS/

#rm3 #automated_reasoning #dialethic_logic #paraco #my_bibtex

Last updated 3 years ago
Original post