works on
equivalence discovery 1large language models 1multi-agent reasoning 1ontology matching 1subsumption 1

From the 1 of 4 linked papers with an AI index.

collaborators
Showing cs.LOShow all

1 paper · 1 filter

cs.LO2025

Computing Witnesses Using the SCAN Algorithm (Extended Preprint)

Fabian Achammer, Stefan Hetzl, Renate A. Schmidt

Second-order quantifier-elimination is the problem of finding, given a formula with second-order quantifiers, a logically equivalent first-order formula. While such formulas are no…