Dana Fisman
4 papers
· 2015–2024
· 2 conferences
· across top CS/AI conferences
Achievements
π
Interdisciplinary Bridge
π§
Keyword Pioneer
π
Conference Polyglot
(2)
π
Academic Marathon
(9)
π
Cross-Pollinator
(11)
π
Renaissance Researcher
(6)
πΊοΈ
Taxonomy Completionist
(12)
π£
Hot Topic Early Bird
Conferences
AAAI (2)
IJCAI (2)
Top co-authors
Keywords
grammar learning
(1)
grammar inference
(1)
automata learning
(1)
constraint satisfaction
(1)
query learning
(1)
model inference
(1)
interpretable model
(1)
temporal logic
(1)
probabilistic context-free grammar
(1)
sat solver
(1)
distributed system
(1)
positive negative example
(1)
formula learning
(1)
grammatical inference
(1)
genomic datum
(1)
broadcast protocol
(1)
characteristic set
(1)
tree automata
(1)
property specification language
(1)
multiplicity tree automaton
(1)