human
What does the acronym ‘EPSIDIC’ stand for?
assistant
EPSIDIC stands for Extended Predicate Logic. It is a logic formalism that extends the logic of predicate logic by allowing the use of first-order variables.