✓
🟢
Active Research Lab • Accepting 2026–2027 Inquiries
Dr. Sylvain S***
Directeur de recherche
📍 Centre Inria de Saclay
•
INRIA
440
Total Citations
7
H-Index
36
Peer-Reviewed Works
🔬 Primary Research Focus & Keywords
Datalog
Semantics of negation
Canonical model
Three-valued model
Abstract argumentation
Infinite structure
Trap space
Dynamical semantics
Model-theoretic semantics
Clark's completion
Normal logic program
Logic programming
Model counting
Feedback vertex set
Boolean network
Space
Semantics
Normal
Logic
Programs
Digiderma
Modeling
Cellular
Molecular
Interactions
Atopic
Dermatitis
Deductive database
Attractor
Boolean net- work
Dynamics
Artificial Intelligence csAI
📚 Laboratory Publications & Research Record
2024
Peer-Reviewed Article
📊 22 citations
Advancements in Datalog: Contemporary Methods & Empirical Analysis
📖 Journal of Centre Inria de Saclay