Satisfiability checking in Łukasiewicz logic as finite constraint satisfaction
type: Item
instance of: scholarly article
title: Satisfiability checking in Łukasiewicz logic as finite constraint satisfaction
zbMATH Open document ID: 1315.03035
author: Steven Schockaert
author: Jeroen Janssen
author: Dirk Vermeir
published in: Journal of Automated Reasoning
publication date: 2013-07-05T00:00:00Z
Mathematics Subject Classification ID: 03B50
Mathematics Subject Classification ID: 03B52
Mathematics Subject Classification ID: 68T20
Mathematics Subject Classification ID: 90C11
zbMATH DE Number: 6184685
zbMATH Keywords: fuzzy logic
zbMATH Keywords: satisfiability checking
zbMATH Keywords: Łukasiewicz semantics
describes a project that uses: ASSAT
describes a project that uses: SATzilla
describes a project that uses: Sugar
MaRDI profile type: Publication
full work available at URL: s10817-011-9227-0
OpenAlex ID: W2051655526
cites work: An asymptotically tight bound on countermodels for Łukasiewicz logic
cites work: Finiteness in infinite-valued Łukasiewicz logic
cites work: Finite-valued reductions of infinite-valued logics
cites work: On the failure of the finite model property in some fuzzy description logics
cites work: Fuzzy description logics with general t-norms and datatypes
cites work: Q4398864
cites work: Many-valued logic and mixed integer programming
cites work: Q4360106
cites work: Q4549474
cites work: Q3236252
cites work: Compiling Fuzzy Answer Set Programs to Fuzzy Propositional Theories
cites work: An \(\tilde{O}(m^{2}n)\) algorithm for minimum cycle basis of graphs
cites work: ASSAT: computing answer sets of a logic program by SAT solvers
cites work: A theorem about infinite-valued sentential logic
cites work: Satisfiability in many-valued sentential logic is NP-complete
cites work: Resolution and model building in the infinite-valued calculus of Łukasiewicz
cites work: Tableaux for Łukasiewicz infinite-valued logic
cites work: On Fuzzy Logic I Many‐valued rules of inference
cites work: Modelling and solving temporal reasoning as propositional satisfiability
cites work: Spatial reasoning in a fuzzy region connection calculus
cites work: Q2781955
cites work: Q3533554
cites work: Compiling Finite Linear CSP into SAT
cites work: Q3624141
cites work: Q4804883
DOI: 10.1007/S10817-011-9227-0
description: scientific article; zbMATH DE number 6184685