Yakoub Salhi
7 papers · 2016–2025 · 2 conferences · across top CS/AI conferences
Achievements
Jump to papers ↓+3 more ↓ Show less ↑
π§ Keyword Pioneer π Conference Polyglot (2) π Academic Marathon (9) π Interdisciplinary Bridge πΊοΈ Taxonomy Completionist (11)
π
Cross-Pollinator
(4)
πΊ
Lone Wolf
(6)
π
Keyword Champion
(4)
Conferences
IJCAI (4)
AAAI (3)
Top co-authors
Keywords
propositional logic
(4)
knowledge representation
(2)
inconsistency handling
(2)
inconsistency measurement
(2)
formal verification
(1)
strategic interaction
(1)
information asymmetry
(1)
non-monotonic reasoning
(1)
propositional formula
(1)
rationality postulate
(1)
formal logic
(1)
logical formula clustering
(1)
logical consequence
(1)
formal reasoning
(1)
variable occurrence
(1)
minimal inconsistency
(1)
maximal consistency
(1)
boolean interpretation
(1)
maximal consistent subset
(1)
inference relation
(1)
Papers
A Game-Theoretic Perspective on Inconsistency Handling
IJCAI 2025
A Variable Occurrence-Centric Framework for Inconsistency Handling
AAAI 2025
Quantification of Resource Production Incompleteness
AAAI 2021
Inconsistency Measurement for Paraconsistent Inference
IJCAI 2021
A Framework for Measuring Information Asymmetry
AAAI 2020
Inconsistency Measurement for Improving Logical Formula Clustering
IJCAI 2020
A SAT-Based Approach for Mining Association Rules
IJCAI 2016