Weighted first-order model counting in the two-variable fragment with counting quantifiers

被引：0
|
作者：
Kuželka O. [1 ]
机构：
[1] Faculty of Electrical Engineering, Czech Technical University in Prague, Prague
来源：
Journal of Artificial Intelligence Research | 2021年 / 70卷
关键词：
21;
D O I：
10.1613/JAIR.1.12320
中图分类号：
学科分类号：
摘要：
It is known due to the work of Van den Broeck, Meert and Darwiche that weighted first-order model counting (WFOMC) in the two-variable fragment of first-order logic can be solved in time polynomial in the number of domain elements. In this paper we extend this result to the two-variable fragment with counting quantifiers. © 2021 AI Access Foundation. All rights reserved.
引用
收藏
页码：1281 / 1307
页数：26
相关论文
共 50 条
  • [31] First-order and counting theories of ω-automatic structures
    Kuske, Dietrich
    Lohrey, Markus
    JOURNAL OF SYMBOLIC LOGIC, 2008, 73 (01) : 129 - 150
  • [32] Counting and Sampling Models in First-Order Logic
    Kuzelka, Ondrej
    PROCEEDINGS OF THE THIRTY-SECOND INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE, IJCAI 2023, 2023, : 7020 - 7025
  • [33] Weighted Model Counting in FO2 with Cardinality Constraints and Counting Quantifiers: A Closed Form Formula
    Malhotra, Sagar
    Serafini, Luciano
    THIRTY-SIXTH AAAI CONFERENCE ON ARTIFICIAL INTELLIGENCE / THIRTY-FOURTH CONFERENCE ON INNOVATIVE APPLICATIONS OF ARTIFICIAL INTELLIGENCE / THE TWELVETH SYMPOSIUM ON EDUCATIONAL ADVANCES IN ARTIFICIAL INTELLIGENCE, 2022, : 5817 - 5824
  • [34] Alternating complexity of counting first-order logic for the subword order
    Dietrich Kuske
    Christian Schwarz
    Acta Informatica, 2023, 60 : 79 - 100
  • [35] Alternating complexity of counting first-order logic for the subword order
    Kuske, Dietrich
    Schwarz, Christian
    ACTA INFORMATICA, 2023, 60 (01) : 79 - 100
  • [36] First-order definable counting-only queries
    Jelle Hellings
    Marc Gyssens
    Dirk Van Gucht
    Yuqing Wu
    Annals of Mathematics and Artificial Intelligence, 2019, 87 : 109 - 136
  • [37] First-Order Definable Counting-Only Queries
    Hellings, Jelle
    Gyssens, Marc
    Van Gucht, Dirk
    Wu, Yuqing
    FOUNDATIONS OF INFORMATION AND KNOWLEDGE SYSTEMS, FOIKS 2018, 2018, 10833 : 225 - 243
  • [38] First-order definable counting-only queries
    Hellings, Jelle
    Gyssens, Marc
    Van Gucht, Dirk
    Wu, Yuqing
    ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE, 2019, 87 (1-2) : 109 - 136
  • [39] A Generic Characterization of Generalized Unary Temporal Logic and Two-Variable First-Order Logic
    Place, Thomas
    Zeitoun, Marc
    32ND EACSL ANNUAL CONFERENCE ON COMPUTER SCIENCE LOGIC, CSL 2024, 2024, 288
  • [40] Learning Concepts Definable in First-Order Logic with Counting
    van Bergerem, Steffen
    2019 34TH ANNUAL ACM/IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE (LICS), 2019,
12345