Solving hybrid Boolean constraints in continuous space via multilinear Fourier expansions

, , &
Artificial Intelligence 299 (C):103559 (2021)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/j.artint.2021.103559

Links

PhilArchive



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

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

Definable sets in Boolean ordered o-minimal structures. II.Roman Wencel - 2003 - Journal of Symbolic Logic 68 (1):35-51.
Weakly o-Minimal Expansions of Boolean Algebras.Carlo Toffalori & S. Leonesi - 2001 - Mathematical Logic Quarterly 47 (2):223-238.
Integrating interdisciplinary problem solving through process.Brian Hepburn & Henrik Thorén - unknown
ω‐categorical weakly o‐minimal expansions of Boolean lattices.Stefano Leonesi & Carlo Toffalori - 2003 - Mathematical Logic Quarterly 49 (4):394-400.
Continuous Lattices and Whiteheadian Theory of Space.Thomas Mormann - 1998 - Logic and Logical Philosophy 6:35 - 54.
Computable Isomorphisms of Boolean Algebras with Operators.Bakhadyr Khoussainov & Tomasz Kowalski - 2012 - Studia Logica 100 (3):481-496.
Hybrid Harvesting Strategies to Overcome Resource Constraints: Evidence from Social Enterprises in Kenya.Giacomo Ciambotti & Matteo Pedrini - 2019 - Journal of Business Ethics 168 (3):631-650.
Hybrid Answer Set Programming.Alex Brik & Jeffrey Remmel - 2014 - Annals of Pure and Applied Logic 165 (1):134-163.
Finiteness conditions and distributive laws for Boolean algebras.Marcel Erné - 2009 - Mathematical Logic Quarterly 55 (6):572-586.
Basic Quasi-Boolean Expansions of Relevance Logics.Gemma Robles & José M. Méndez - 2021 - Journal of Philosophical Logic 50 (4):727-754.
On the convergence of Fourier series of computable Lebesgue integrable functions.Philippe Moser - 2010 - Mathematical Logic Quarterly 56 (5):461-469.
Time travel and consistency constraints.Douglas N. Kutach - 2003 - Philosophy of Science 70 (5):1098-1113.
A consistency result on cardinal sequences of scattered Boolean spaces.Juan C. Martínez - 2005 - Mathematical Logic Quarterly 51 (6):586-590.
MAX-SAT Problem using Hybrid Harmony Search Algorithm.Iyad Abu Doush, Amal Lutfi Quran, Mohammed Azmi Al-Betar & Mohammed A. Awadallah - 2018 - Journal of Intelligent Systems 27 (4):643-658.
Lorentz Transformation Under a Discrete Dynamical Time and Continuous Space.Roland Riek - 2022 - Foundations of Physics 52 (5):1-12.

Analytics

Added to PP
2022-11-21

Downloads
11 (#1,128,105)

6 months
7 (#419,843)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

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.

Add more references