Definability for model counting

, &
Artificial Intelligence 281 (C):103229 (2020)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/j.artint.2019.103229

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 100,809

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

On probabilistic inference by weighted model counting.Mark Chavira & Adnan Darwiche - 2008 - Artificial Intelligence 172 (6-7):772-799.
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.
The Educational Philosophy of Marie-Jean-Antoine-Nicolas Caritat, Marquis de Condocet.Kegham Aram Mississyan - 1970 - [S.N.].
The history of feminism: Marie-Jean-Antoine-Nicolas de caritat, Marquis de condorcet.Joan Landes - 2010 - Stanford Encyclopedia of Philosophy.
On propositional definability.Jérôme Lang & Pierre Marquis - 2008 - Artificial Intelligence 172 (8-9):991-1017.
BRUNNER, Fernand, CHRÉTIEN, Jean-Louis, GISEL, Pierre, GODIN, André, SCHEUER, Jacques, SEVRIN, Jean-Marie, THOMAS, Louis-Vincent, Réincarnation, immortalité, résurrectionBRUNNER, Fernand, CHRÉTIEN, Jean-Louis, GISEL, Pierre, GODIN, André, SCHEUER, Jacques, SEVRIN, Jean-Marie, THOMAS, Louis-Vincent, Réincarnation, immortalité, résurrection.André Couture - 1990 - Laval Théologique et Philosophique 46 (1):111-113.
Definability and commonsense reasoning.Gianni Amati, Luigia Carlucci Aiello & Fiora Pirri - 1997 - Artificial Intelligence 93 (1-2):169-199.
Jean-Pierre Dupuy, the mechanization of mind: On the origins of cognitive science. [REVIEW]Gualtiero Piccinini - 2002 - Minds and Machines 12 (3):448-453.
Loop-separable programs and their first-order definability.Yin Chen, Fangzhen Lin, Yan Zhang & Yi Zhou - 2011 - Artificial Intelligence 175 (3-4):890-913.

Analytics

Added to PP
2020-12-22

Downloads
11 (#1,415,873)

6 months
2 (#1,686,184)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Add more citations

References found in this work

On the hardness of approximate reasoning.Dan Roth - 1996 - Artificial Intelligence 82 (1-2):273-302.
On probabilistic inference by weighted model counting.Mark Chavira & Adnan Darwiche - 2008 - Artificial Intelligence 172 (6-7):772-799.
On propositional definability.Jérôme Lang & Pierre Marquis - 2008 - Artificial Intelligence 172 (8-9):991-1017.

Add more references