Yakoub Salhi

Available identifiers

Publication	Date of Publication	Type
Qualitative reasoning and data mining	2023-02-03	Paper
Measuring Inconsistency Through Subformula Forgetting	2020-07-20	Paper
Tree-sequent calculi and decision procedures for intuitionistic modal logics	2019-01-31	Paper
From SAT to Maximum Independent Set: A New Approach to Characterize Tractable Classes	2019-01-10	Paper
https://portal.mardi4nfdi.de/entity/Q4576226	2018-07-12	Paper
Mining top-\(k\) motifs with a SAT-based framework	2017-02-22	Paper
On an MCS-based inconsistency measure	2016-12-15	Paper
Optimization in temporal qualitative constraint networks	2016-03-29	Paper
Generalized Qualitative Spatio-Temporal Reasoning: Complexity and Tableau Method	2015-12-11	Paper
https://portal.mardi4nfdi.de/entity/Q3457225	2015-12-11	Paper
https://portal.mardi4nfdi.de/entity/Q3457246	2015-12-11	Paper
On Measuring Inconsistency Using Maximal Consistent Sets	2015-11-10	Paper
Enumerating Prime Implicants of Propositional Formulae in Conjunctive Normal Form	2015-01-14	Paper
Label-free natural deduction systems for intuitionistic and classical modal logics	2012-07-17	Paper
Sequent calculi and decidability for intuitionistic hybrid logic	2012-03-13	Paper
A family of Gödel hybrid logics	2011-03-22	Paper
Label-Free Proof Systems for Intuitionistic Modal Logic IS5	2011-01-07	Paper
Labelled Calculi for Łukasiewicz Logics	2008-07-10	Paper

No records found.

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Yakoub Salhi