Yakoub Salhi
7 papers
· 2016–2025
· 2 conferences
· across top CS/AI conferences
Achievements
π§
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)