aspmc: New frontiers of algebraic answer set counting

, &
Artificial Intelligence 330 (C):104109 (2024)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/j.artint.2024.104109

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,197

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Algebraic unimodular counting.J. A. De Loera & B. Sturmfels - unknown
Counting as integration in feasible analysis.Fernando Ferreira & Gilda Ferreira - 2006 - Mathematical Logic Quarterly 52 (3):315-320.
Finger-counting and numerical structure.Karenleigh A. Overmann - 2021 - Frontiers in Psychology 2021 (12):723492.
Algebraic model counting.Angelika Kimmig, Guy Van den Broeck & Luc De Raedt - 2017 - Journal of Applied Logic 22:46-62.
A reductive semantics for counting and choice in answer set programming.Vladimir Lifschitz - unknown
Counting as a Type of Measuring.David Liebesman - 2016 - Philosophers' Imprint 16.
New Development of Neutrosophic Probability, Neutrosophic Statistics, Neutrosophic Algebraic Structures, and Neutrosophic Plithogenic Optimizations.Florentin Smarandache & Yanhui Guo - 2022 - Basel, Switzerland: MDPI.
Algebraic Kripke-Style Semantics for Relevance Logics.Eunsuk Yang - 2014 - Journal of Philosophical Logic 43 (4):803-826.
Algebraic semantics for deductive systems.W. J. Blok & J. Rebagliato - 2003 - Studia Logica 74 (1-2):153 - 180.
Algebraic Semantics for Deductive Systems.W. Blok & J. Rebagliato - 2003 - Studia Logica 74 (1-2):153-180.
Solving Projected Model Counting by Utilizing Treewidth and its Limits.Johannes K. Fichte, Markus Hecher, Michael Morak, Patrick Thier & Stefan Woltran - 2023 - Artificial Intelligence 314 (C):103810.
Algebraic Theories, Algebraic Categories, and Algebraic Functors.F. William Lawvere - 1971 - Journal of Symbolic Logic 36 (2):336-337.
Review: F. William Lawvere, Algebraic Theories, Algebraic Categories, and Algebraic Functors. [REVIEW]Anne Preller - 1971 - Journal of Symbolic Logic 36 (2):336-337.
The Relationship Between Confidence and Conformity in a Non-routine Counting Task With Young Children: Dedicated to the Memory of Purificación Rodríguez.Ma Oliva Lago, Ana Escudero & Cristina Dopico - 2021 - Frontiers in Psychology 12.
Lower and Upper Estimates of the Quantity of Algebraic Numbers.Yaroslav Sergeyev - 2023 - Mediterranian Journal of Mathematics 20:12.

Analytics

Added to PP
2024-03-08

Downloads
9 (#1,258,077)

6 months
9 (#315,924)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

On probabilistic inference by weighted model counting.Mark Chavira & Adnan Darwiche - 2008 - Artificial Intelligence 172 (6-7):772-799.

View all 8 references / Add more references