- New
-
Topics
- All Categories
- Metaphysics and Epistemology
- Value Theory
- Science, Logic, and Mathematics
- Science, Logic, and Mathematics
- Logic and Philosophy of Logic
- Philosophy of Biology
- Philosophy of Cognitive Science
- Philosophy of Computing and Information
- Philosophy of Mathematics
- Philosophy of Physical Science
- Philosophy of Social Science
- Philosophy of Probability
- General Philosophy of Science
- Philosophy of Science, Misc
- History of Western Philosophy
- Philosophical Traditions
- Philosophy, Misc
- Other Academic Areas
- Journals
- Submit material
- More
Algebraic model counting
Journal of Applied Logic 22:46-62 (2017)
Abstract
This article has no associated abstract. (fix it)Author Profiles
Links
PhilArchive
External links
(no proxy)
Setup an account with your affiliations in order to access resources via your University's proxy server
Through your library
- Sign in / register and customize your OpenURL resolver
- Configure custom resolver
My notes
Similar books and articles
Characterizing Model Completeness Among Mutually Algebraic Structures.Michael C. Laskowski - 2015 - Notre Dame Journal of Formal Logic 56 (3):463-470.
Mutually algebraic structures and expansions by predicates.Michael C. Laskowski - 2013 - Journal of Symbolic Logic 78 (1):185-194.
Schlanke Körper (Slim fields).Markus Junker & Jochen Koenigsmann - 2010 - Journal of Symbolic Logic 75 (2):481-500.
Model tuning in engineering: uncovering the logic.Katie Steele & Charlotte Werndl - 2015 - Journal of Strain Analysis for Engineering Design 51 (1):63-71.
Algebraicity and Implicit Definability in Set Theory.Joel David Hamkins & Cole Leahy - 2016 - Notre Dame Journal of Formal Logic 57 (3):431-439.
Automorphisms moving all non-algebraic points and an application to NF.Friederike Körner - 1998 - Journal of Symbolic Logic 63 (3):815-830.
Automorphisms moving all non-algebraic points and an application to NF.Friederike Körner - 1998 - Journal of Symbolic Logic 63 (3):815-830.
Saturatedness in cylindric algebraic model theory.G. Sereny - 1997 - Logic Journal of the IGPL 5 (1):25-48.
R⌝-algebras and r⌝-model structures as power constructs.Chris Brink - 1989 - Studia Logica 48 (1):85 - 109.
Algebraic Kripke-Style Semantics for Relevance Logics.Eunsuk Yang - 2014 - Journal of Philosophical Logic 43 (4):803-826.
Algebraic Semantics for Deductive Systems.W. Blok & J. Rebagliato - 2003 - Studia Logica 74 (1-2):153-180.
Algebraic semantics for deductive systems.W. J. Blok & J. Rebagliato - 2003 - Studia Logica 74 (1-2):153 - 180.
Algebraic Theories, Algebraic Categories, and Algebraic Functors.F. William Lawvere - 1971 - Journal of Symbolic Logic 36 (2):336-337.
Analytics
Added to PP
2017-12-19
Downloads
17 (#872,959)
6 months
3 (#984,770)
2017-12-19
Downloads
17 (#872,959)
6 months
3 (#984,770)
Historical graph of downloads
Author Profiles
Citations of this work
Neural probabilistic logic programming in DeepProbLog.Robin Manhaeve, Sebastijan Dumančić, Angelika Kimmig, Thomas Demeester & Luc De Raedt - 2021 - Artificial Intelligence 298 (C):103504.
aspmc: New frontiers of algebraic answer set counting.Thomas Eiter, Markus Hecher & Rafael Kiesel - 2024 - Artificial Intelligence 330 (C):104109.
References found in this work
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.
Compiling propositional weighted bases.Adnan Darwiche & Pierre Marquis - 2004 - Artificial Intelligence 157 (1-2):81-113.
PhilPapers logo by Andrea Andrews and Meghan Driscoll.
This site uses cookies and Google Analytics (see our terms & conditions for details regarding the privacy implications). Use of this site is subject to terms & conditions.
All rights reserved by The PhilPapers Foundation
Server: philpapers-web-5ff6c685cb-ldh8k uwo