Solving Projected Model Counting by Utilizing Treewidth and its Limits

, , , &
Artificial Intelligence 314 (C):103810 (2023)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/j.artint.2022.103810

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,322

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

Treewidth-aware reductions of normal ASP to SAT – Is normal ASP harder than SAT after all?Markus Hecher - 2022 - Artificial Intelligence 304 (C):103651.
On the Tractable Counting of Theory Models and its Application to Truth Maintenance and Belief Revision.Adnan Darwiche - 2001 - Journal of Applied Non-Classical Logics 11 (1-2):11-34.
On the Tractable Counting of Theory Models and its Application to Truth Maintenance and Belief Revision.Adnan Darwiche - 2001 - Journal of Applied Non-Classical Logics 11 (1-2):11-34.
‘We don’t need to abide by that!’: Negotiating professional roles in problem-solving talk at work.Jo Angouri & Kyoungmi Kim - 2019 - Discourse and Communication 13 (2):172-191.
Situated Counting.Peter Gärdenfors & Paula Quinon - 2020 - Review of Philosophy and Psychology 12 (4):1-24.
Situated Counting.Peter Gärdenfors & Paula Quinon - 2020 - Review of Philosophy and Psychology 12 (4):721-744.
Knowledge integration in creative problem solving.Ron Sun - unknown
Counting information: A note on physicalized numbers. [REVIEW]Brian Rotman - 1996 - Minds and Machines 6 (2):229-238.
Model tuning in engineering: uncovering the logic.Katie Steele & Charlotte Werndl - 2015 - Journal of Strain Analysis for Engineering Design 51 (1):63-71.
Counting as a Type of Measuring.David Liebesman - 2016 - Philosophers' Imprint 16.
The diversity-ability trade-off in scientific problem solving.Samuli Reijula & Jaakko Kuorikoski - forthcoming - Philosophy of Science (Supplement).
A Crowd Density Detection Algorithm for Tourist Attractions Based on Monitoring Video Dynamic Information Analysis.Lina Li - 2020 - Complexity 2020:1-14.
Visual models in analogical problem solving.Jim Davies, Nancy J. Nersessian & Ashok K. Goel - 2005 - Foundations of Science 10 (1):133-152.
Toulmin’s Model and the Solving of Ill-Structured Problems.James F. Voss - 2005 - Argumentation 19 (3):321-329.
What’s the Problem with Problem-Solving? Language, Skepticism, and Pragmatism.Naoko Saito & Paul Standish - 2009 - Contemporary Pragmatism 6 (1):153-167.

Analytics

Added to PP
2022-10-29

Downloads
14 (#956,614)

6 months
5 (#632,353)

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 the hardness of approximate reasoning.Dan Roth - 1996 - Artificial Intelligence 82 (1-2):273-302.

Add more references