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

                                 Nicole Schweikardt

                       Humboldt University of Berlin, Germany

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 ex-
pressiveness 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 Com-
    mons License Attribution 4.0 International (CC BY 4.0).