scientific article; zbMATH DE number 6930491
From MaRDI portal
Publication:4583798
zbMath1394.03038MaRDI QIDQ4583798
Carlos Ansótegui, Mateu Villaret, Felip Manyà, Miquel Bofill
Publication date: 3 September 2018
Full work available at URL: http://www.oldcitypublishing.com/journals/mvlsc-home/mvlsc-issue-contents/mvlsc-volume-24-number-1-4-2015/mvlsc-24-1-4-p-151-172/
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Logic in artificial intelligence (68T27) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Many-valued logic (03B50)
Related Items (4)
A first polynomial non-clausal class in many-valued logic ⋮ A non-clausal tableau calculus for \textsc{MinSat} ⋮ New complexity results for Łukasiewicz logic ⋮ The Complexity of 3-Valued Łukasiewicz Rules
This page was built for publication:
