Locality Properties of Extensions of First-Order Logic and their Use in Algorithms (Abstract of Invited Talk)?

-

This talk will give an overview of first-order logic with counting FOC and the weight aggregation logic FOWA. I will provide examples demonstrating the expressiveness of these logics, as well as an overview of locality properties of these logics. The latter allow for efficient model checking algorithms and algorithms for learning concepts describable in these logics. ? Copyright © 2021 for this paper by its authors. Use permitted under Creative Commons License Attribution 4.0 International (CC BY 4.0).

References