Nicolas Troquard
6 papers
· 2016–2025
· 2 conferences
· across top CS/AI conferences
Achievements
๐
Interdisciplinary Bridge
๐งญ
Keyword Pioneer
๐
Conference Polyglot
(2)
๐
Academic Marathon
(9)
๐
Cross-Pollinator
(12)
๐
Renaissance Researcher
(5)
๐บ๏ธ
Taxonomy Completionist
(10)
Conferences
IJCAI (5)
AAAI (1)
Top co-authors
Keywords
graph neural network
(2)
formal verification
(1)
complexity analysis
(1)
satisfiability problem
(1)
linear constraint
(1)
neural network verification
(1)
activation function
(1)
autonomous system
(1)
quantized neural network
(1)
rule-based system
(1)
modal logic
(1)
logical expressiveness
(1)
counting modality
(1)
quantized graph neural network
(1)
formal logic
(1)
multi-agent system
(1)
norm compliance
(1)
logical programming
(1)
pspace completeness
(1)
computational concept combination
(1)