Yakoub Salhi

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Exploring inconsistency measurement in disjunctive temporal problems Information and Computation	2025-12-15	Paper
On extracting legal arguments	2025-12-15	Paper
On prime scenarios in qualitative spatial and temporal reasoning Information and Computation	2024-10-08	Paper
Qualitative reasoning and data mining	2023-02-03	Paper
Measuring inconsistency through subformula forgetting Lecture Notes in Computer Science	2020-07-20	Paper
Tree-sequent calculi and decision procedures for intuitionistic modal logics Journal Of Logic And Computation	2019-01-31	Paper
From SAT to Maximum Independent Set: A New Approach to Characterize Tractable Classes EPiC Series in Computing	2019-01-10	Paper
On the computation of Top-\(k\) extensions in abstract argumentation frameworks	2018-07-12	Paper
Mining top-\(k\) motifs with a SAT-based framework Artificial Intelligence	2017-02-22	Paper
On an MCS-based inconsistency measure International Journal of Approximate Reasoning	2016-12-15	Paper
Optimization in temporal qualitative constraint networks Acta Informatica	2016-03-29	Paper
A SAT-based approach for discovering frequent, closed and maximal patterns in a sequence	2015-12-11	Paper
Symmetries in itemset mining	2015-12-11	Paper
Generalized qualitative spatio-temporal reasoning: complexity and tableau method Lecture Notes in Computer Science	2015-12-11	Paper
On measuring inconsistency using maximal consistent sets Lecture Notes in Computer Science	2015-11-10	Paper
Enumerating prime implicants of propositional formulae in conjunctive normal form Logics in Artificial Intelligence	2015-01-14	Paper
Label-free natural deduction systems for intuitionistic and classical modal logics Journal of Applied Non-Classical Logics	2012-07-17	Paper
Sequent calculi and decidability for intuitionistic hybrid logic Information and Computation	2012-03-13	Paper
A family of Gödel hybrid logics Journal of Applied Logic	2011-03-22	Paper
Label-free proof systems for intuitionistic modal logic IS5 Logic for Programming, Artificial Intelligence, and Reasoning	2011-01-07	Paper
Labelled Calculi for Łukasiewicz Logics Logic, Language, Information and Computation	2008-07-10	Paper

Research outcomes over time

This page was built for person: Yakoub Salhi