Anytime Approximations of Classical Logic from Above

DOI10.1093/LOGCOM/EXL018zbMath1118.03007OpenAlexW2140165121MaRDI QIDQ3437258

Marcelo Finger, Renata Wassermann

Publication date: 14 May 2007

Published in: Journal of Logic and Computation (Search for Journal in Brave)

Full work available at URL: https://semanticscholar.org/paper/f96a1be5a79ccb490c4a511b9a90e5810a0ea145

zbMATH Keywords

theorem provingautomated reasoningapproximate reasoningsatisfiability

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Mechanization of proofs and logical operations (03B35)

This page was built for publication: Anytime Approximations of Classical Logic from Above