Bing Zhang, Mikio Takeuchi, et al.
NAACL 2025
Paper
Correction to “An Equivalence between Relational Database Dependencies and a Fragment of Propositional Logic”
Related
Tim Erdmann, Stefan Zecevic, et al.
ACS Spring 2024
Conference paper
Reasoning about Noisy Sensors in the Situation Calculus
Fahiem Bacchus, Joseph Y. Halpern, et al.
IJCAI 1995
Rie Kubota Ando
CoNLL 2006