We stand with Ukraine

We stand with Ukraine

Yakoub Salhi

Orcid: 0000-0003-0100-4428

According to our database¹, Yakoub Salhi authored at least 74 papers between 2008 and 2023.

Collaborative distances:

Dijkstra number² of five.
Erdős number³ of three.

Timeline

Legend:

Book

In proceedings

Article

PhD thesis

Dataset

Other

Links

Online presence:

on orcid.org

On csauthors.net:

Bibliography

2023

A Decomposition Framework for Inconsistency Handling in Qualitative Spatial and Temporal Reasoning (Extended Abstract).

[BibT_eX]

[DOI]

,

Michael Sioutis

Proceedings of the 30th International Symposium on Temporal Representation and Reasoning, 2023

Prime Scenarios in Qualitative Spatial and Temporal Reasoning.

[BibT_eX]

[DOI]

,

Michael Sioutis

Proceedings of the 30th International Symposium on Temporal Representation and Reasoning, 2023

A Decomposition Framework for Inconsistency Handling in Qualitative Spatial and Temporal Reasoning.

[BibT_eX]

[DOI]

,

Michael Sioutis

Proceedings of the 20th International Conference on Principles of Knowledge Representation and Reasoning, 2023

A Paraconsistency Framework for Inconsistency Handling in Qualitative Spatial and Temporal Reasoning.

[BibT_eX]

[DOI]

,

Michael Sioutis

Proceedings of the ECAI 2023 - 26th European Conference on Artificial Intelligence, September 30 - October 4, 2023, Kraków, Poland, 2023

2022

Belief selection through argumentation.

[BibT_eX]

[DOI]

,

Proceedings of the SAC '22: The 37th ACM/SIGAPP Symposium on Applied Computing, Virtual Event, April 25, 2022

Knowledge Discovery from Qualitative Spatial and Temporal Data.

[BibT_eX]

[DOI]

Abderrahmane Boukontar

,

Jean-François Condotta

,

Proceedings of the 34th IEEE International Conference on Tools with Artificial Intelligence, 2022

2021

Inconsistency Measurement for Paraconsistent Inference.

[BibT_eX]

[DOI]

Proceedings of the Thirtieth International Joint Conference on Artificial Intelligence, 2021

Quantification of Resource Production Incompleteness.

[BibT_eX]

[DOI]

Proceedings of the Thirty-Fifth AAAI Conference on Artificial Intelligence, 2021

2020

On satisfiability problem in modal logic S5.

[BibT_eX]

[DOI]

Proceedings of the SAC '20: The 35th ACM/SIGAPP Symposium on Applied Computing, online event, [Brno, Czech Republic], March 30, 2020

On Reasoning about Access to Knowledge.

[BibT_eX]

[DOI]

Proceedings of the LPAR 2020: 23rd International Conference on Logic for Programming, 2020

Inconsistency Measurement for Improving Logical Formula Clustering.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Ninth International Joint Conference on Artificial Intelligence, 2020

A Framework for Measuring Information Asymmetry.

[BibT_eX]

[DOI]

Proceedings of the Thirty-Fourth AAAI Conference on Artificial Intelligence, 2020

2019

Qualitative Reasoning and Data Mining.

[BibT_eX]

[DOI]

Proceedings of the 26th International Symposium on Temporal Representation and Reasoning, 2019

Measuring Inconsistency Through Subformula Forgetting.

[BibT_eX]

[DOI]

Proceedings of the Scalable Uncertainty Management - 13th International Conference, 2019

On Solving Exactly-One-SAT.

[BibT_eX]

[DOI]

Yazid Boumarafi

,

Proceedings of the 31st IEEE International Conference on Tools with Artificial Intelligence, 2019

On Enumerating All the Minimal Models for Particular CNF Formula Classes.

[BibT_eX]

[DOI]

Proceedings of the 11th International Conference on Agents and Artificial Intelligence, 2019

Entailment Functions and Reasoning Under Inconsistency.

[BibT_eX]

[DOI]

Proceedings of the 18th International Conference on Autonomous Agents and MultiAgent Systems, 2019

On an Argument-centric Persuasion Framework.

[BibT_eX]

[DOI]

Proceedings of the 18th International Conference on Autonomous Agents and MultiAgent Systems, 2019

ModéLisation et logique propositionnelle classique. (Modeling and Classical Propositional Logic).

[BibT_eX]

[DOI]

, 2019

2018

Tree-sequent calculi and decision procedures for intuitionistic modal logics.

[BibT_eX]

[DOI]

Didier Galmiche

,

J. Log. Comput., 2018

Revisiting the Learned Clauses Database Reduction Strategies.

[BibT_eX]

[DOI]

,

,

,

Int. J. Artif. Intell. Tools, 2018

SAT-Based Data Mining.

[BibT_eX]

[DOI]

Abdelhamid Boudane

,

,

,

Int. J. Artif. Intell. Tools, 2018

A Method for Generating all the Prime Implicants of Binary CNF Formulas.

[BibT_eX]

[DOI]

Proceedings of the International Symposium on Artificial Intelligence and Mathematics, 2018

Approaches for Enumerating All the Essential Prime Implicants.

[BibT_eX]

[DOI]

Proceedings of the Artificial Intelligence: Methodology, Systems, and Applications, 2018

Tractable Classes in Exactly-One-SAT.

[BibT_eX]

[DOI]

Yazid Boumarafi

,

Proceedings of the Artificial Intelligence: Methodology, Systems, and Applications, 2018

2017

Studying the use and effect of graph decomposition in qualitative spatial and temporal reasoning.

[BibT_eX]

[DOI]

Michael Sioutis

,

,

Jean-François Condotta

Knowl. Eng. Rev., 2017

On an MCS-based inconsistency measure.

[BibT_eX]

[DOI]

,

,

,

Badran Raddaoui

Int. J. Approx. Reason., 2017

Mining Top-k motifs with a SAT-based framework.

[BibT_eX]

[DOI]

,

,

Artif. Intell., 2017

Clustering Complex Data Represented as Propositional Formulas.

[BibT_eX]

[DOI]

Abdelhamid Boudane

,

,

,

Proceedings of the Advances in Knowledge Discovery and Data Mining, 2017

Enumerating Non-redundant Association Rules Using Satisfiability.

[BibT_eX]

[DOI]

Abdelhamid Boudane

,

,

,

Proceedings of the Advances in Knowledge Discovery and Data Mining, 2017

From SAT to Maximum Independent Set: A New Approach to Characterize Tractable Classes.

[BibT_eX]

[DOI]

Yazid Boumarafi

,

,

Proceedings of the LPAR-21, 2017

Enhancing Pigeon-Hole based Encoding of Boolean Cardinality Constraints.

[BibT_eX]

[DOI]

Soukaina Hattad

,

,

,

Proceedings of the 9th International Conference on Agents and Artificial Intelligence, 2017

Une approche logique pour la fouille de règles d'association.

[BibT_eX]

[DOI]

Abdelhamid Boudane

,

,

,

Proceedings of the 17ème Journées Francophones Extraction et Gestion des Connaissances, 2017

2016

Optimization in temporal qualitative constraint networks.

[BibT_eX]

[DOI]

Jean-François Condotta

,

,

Acta Informatica, 2016

A MIS Partition Based Framework for Measuring Inconsistency.

[BibT_eX]

[DOI]

,

,

Badran Raddaoui

,

,

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Fifteenth International Conference, 2016

Quantifying Conflicts for Spatial and Temporal Information.

[BibT_eX]

[DOI]

Jean-François Condotta

,

Badran Raddaoui

,

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Fifteenth International Conference, 2016

A SAT-Based Approach for Mining Association Rules.

[BibT_eX]

[DOI]

Abdelhamid Boudane

,

,

,

Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, 2016

Itemset Mining with Penalties.

[BibT_eX]

[DOI]

,

,

,

Proceedings of the 28th IEEE International Conference on Tools with Artificial Intelligence, 2016

On the Computation of Top-k Extensions in Abstract Argumentation Frameworks.

[BibT_eX]

[DOI]

,

Badran Raddaoui

,

,

Proceedings of the ECAI 2016 - 22nd European Conference on Artificial Intelligence, 29 August-2 September 2016, The Hague, The Netherlands, 2016

2015

On SAT Models Enumeration in Itemset Mining.

[BibT_eX]

[DOI]

,

,

CoRR, 2015

Generalized Qualitative Spatio-Temporal Reasoning: Complexity and Tableau Method.

[BibT_eX]

[DOI]

Michael Sioutis

,

Jean-François Condotta

,

,

Bertrand Mazure

Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2015

On the use and effect of graph decomposition in qualitative spatial and temporal reasoning.

[BibT_eX]

[DOI]

Michael Sioutis

,

,

Jean-François Condotta

Proceedings of the 30th Annual ACM Symposium on Applied Computing, 2015

Decomposition Based SAT Encodings for Itemset Mining Problems.

[BibT_eX]

[DOI]

,

,

Proceedings of the Advances in Knowledge Discovery and Data Mining, 2015

Ordering Spatio-Temporal Sequences to Meet Transition Constraints: Complexity and Framework.

[BibT_eX]

[DOI]

Michael Sioutis

,

Jean-François Condotta

,

,

Bertrand Mazure

,

David A. Randell

Proceedings of the Artificial Intelligence Applications and Innovations, 2015

Mining to Compress Table Constraints.

[BibT_eX]

[DOI]

,

Stéphanie Roussel

,

,

Proceedings of the 27th IEEE International Conference on Tools with Artificial Intelligence, 2015

A Resolution Method for Modal Logic S5.

[BibT_eX]

[DOI]

,

Michael Sioutis

Proceedings of the Global Conference on Artificial Intelligence, 2015

A Simple Decomposition Scheme for Large Real World Qualitative Constraint Networks.

[BibT_eX]

[DOI]

Michael Sioutis

,

,

Jean-François Condotta

Proceedings of the Twenty-Eighth International Florida Artificial Intelligence Research Society Conference, 2015

On Measuring Inconsistency Using Maximal Consistent Sets.

[BibT_eX]

[DOI]

,

Badran Raddaoui

,

,

Proceedings of the Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 2015

On Structure-Based Inconsistency Measures and Their Computations via Closed Set Packing.

[BibT_eX]

[DOI]

,

,

Badran Raddaoui

,

,

Proceedings of the 2015 International Conference on Autonomous Agents and Multiagent Systems, 2015

Parallel SAT based closed frequent itemsets enumeration.

[BibT_eX]

[DOI]

Imen Ouled Dlala

,

,

,

,

Boutheina Ben Yaghlane

Proceedings of the 12th IEEE/ACS International Conference of Computer Systems and Applications, 2015

2014

On the measure of conflicts: A MUS-Decomposition Based Framework.

[BibT_eX]

[DOI]

,

,

Badran Raddaoui

,

,

CoRR, 2014

Enumerating Prime Implicants of Propositional Formulae in Conjunctive Normal Form.

[BibT_eX]

[DOI]

,

João Marques-Silva

,

,

Proceedings of the Logics in Artificial Intelligence - 14th European Conference, 2014

Extending modern SAT solvers for models enumeration.

[BibT_eX]

[DOI]

,

,

,

Proceedings of the 15th IEEE International Conference on Information Reuse and Integration, 2014

A Generic and Declarative Method for Symmetry Breaking in Itemset Mining.

[BibT_eX]

[DOI]

Belaïd Benhamou

,

,

,

Proceedings of the Knowledge Discovery, Knowledge Engineering and Knowledge Management, 2014

Symmetry Breaking in Itemset Mining.

[BibT_eX]

[DOI]

Belaïd Benhamou

,

,

,

Proceedings of the KDIR 2014 - Proceedings of the International Conference on Knowledge Discovery and Information Retrieval, Rome, Italy, 21, 2014

Symétries et Extraction de Motifs Ensemblistes.

[BibT_eX]

[DOI]

,

,

,

,

Proceedings of the 14èmes Journées Francophones Extraction et Gestion des Connaissances, 2014

A Qualitative Spatio-Temporal Framework Based on Point Algebra.

[BibT_eX]

[DOI]

Michael Sioutis

,

Jean-François Condotta

,

,

Bertrand Mazure

Proceedings of the Artificial Intelligence: Methodology, Systems, and Applications, 2014

A Constructive Argumentation Framework.

[BibT_eX]

[DOI]

,

Proceedings of the Twenty-Eighth AAAI Conference on Artificial Intelligence, 2014

2013

A Pigeon-Hole Based Encoding of Cardinality Constraints.

[BibT_eX]

[DOI]

,

,

Theory Pract. Log. Program., 2013

A Mining-Based Compression Approach for Constraint Satisfaction Problems

[BibT_eX]

[DOI]

,

,

CoRR, 2013

Mining to Compact CNF Propositional Formulae

[BibT_eX]

[DOI]

,

,

CoRR, 2013

The Top-k Frequent Closed Itemset Mining Using Top-k SAT Problem.

[BibT_eX]

[DOI]

,

,

Proceedings of the Machine Learning and Knowledge Discovery in Databases, 2013

Symmetry-Based Pruning in Itemset Mining.

[BibT_eX]

[DOI]

,

,

,

,

Proceedings of the 25th IEEE International Conference on Tools with Artificial Intelligence, 2013

Mining-based compression approach of propositional formulae.

[BibT_eX]

[DOI]

,

,

,

Proceedings of the 22nd ACM International Conference on Information and Knowledge Management, 2013

Boolean satisfiability for sequence mining.

[BibT_eX]

[DOI]

,

,

Proceedings of the 22nd ACM International Conference on Information and Knowledge Management, 2013

2012

Graded Modal Logic GS5 and Itemset Support Satisfiability.

[BibT_eX]

[DOI]

,

,

Proceedings of the Information Search, Integration and Personalization, 2012

Symmetries in Itemset Mining.

[BibT_eX]

[DOI]

,

,

,

Proceedings of the ECAI 2012, 2012

A SAT-Based Approach for Discovering Frequent, Closed and Maximal Patterns in a Sequence.

[BibT_eX]

[DOI]

Emmanuel Coquery

,

,

,

Proceedings of the ECAI 2012, 2012

2011

Sequent calculi and decidability for intuitionistic hybrid logic.

[BibT_eX]

[DOI]

Didier Galmiche

,

Inf. Comput., 2011

2010

Structures Multi-contextuelles et Logiques Modales Intuitionnistes et Hybrides. (Multi-contextual Structures and Intuitionistic and Hybrid modal logics).

[BibT_eX]

[DOI]

PhD thesis, 2010

A family of Gödel hybrid logics.

[BibT_eX]

[DOI]

Didier Galmiche

,

J. Appl. Log., 2010

Label-free natural deduction systems for intuitionistic and classical modal logics.

[BibT_eX]

[DOI]

Didier Galmiche

,

J. Appl. Non Class. Logics, 2010

Label-Free Proof Systems for Intuitionistic Modal Logic IS5.

[BibT_eX]

[DOI]

Didier Galmiche

,

Proceedings of the Logic for Programming, Artificial Intelligence, and Reasoning, 2010

2008

Labelled Calculi for Lukasiewicz Logics.

[BibT_eX]

[DOI]

Didier Galmiche

,

Proceedings of the Logic, 2008

Loading...