Yakoub Salhi
7 papers · 2016–2025 · 2 venues · across top CS/AI venues
Authors are matched by name, so researchers who share a name ("Yang Liu", "Wei Wang") appear as a single profile and their paper counts, venues and achievements are combined. How identity is handled.
Achievements
Jump to papers ↓+1 more ↓ Show less ↑
π Conference Polyglot Β· Bronze π Academic Marathon Β· Sprint π Interdisciplinary Bridge Β· Silver πΊοΈ Taxonomy Completionist (11) πΊ Lone Wolf (6)
π
Keyword Champion
(4)
Top co-authors
Research topics
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
Inconsistency Measurement for Paraconsistent Inference
IJCAI 2021
Quantification of Resource Production Incompleteness
AAAI 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