English Logic translation Cited by user Phlsph7 on 27 Mar 2023 Logic translation is the process of representing a text in the formal language of a logical system.
English Belief revision Cited by user Xover on 10 Jan 2018 Belief revision is the process of changing beliefs to take into account a new piece of information.