Lisitsa, Alexei

1. Practical Verification of Decision-Making in Agent-Based Autonomous Systems
   2013/10/09 by Dennis, Louise A., Fisher, Michael, Lincoln, Nicholas K. +2 · 3 citations
   #03B70 #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Multiagent Systems (cs.MA)
2. An application of neural networks to a problem in knot theory and group theory (untangling braids)
   2022/06/10 by Lisitsa, Alexei, Salles, Mateo, Vernitski, Alexei · 1 citation
   #FOS: Computer and information sciences #FOS: Mathematics #Geometric Topology (math.GT) #Machine Learning (cs.LG)
3. Logic Rules Meet Deep Learning: A Novel Approach for Ship Type Classification
   2021/11/01 by Pitsikalis, Manolis, Do, Thanh-Toan, Lisitsa, Alexei +1 · 1 citation
   #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #I.2.1 #I.5.1
4. Stable Andrews-Curtis trivialization of AK(3) revisited. A case study using automated deduction
   2024/01/17 by Alexei Lisitsa, Lisitsa, Alexei · 1 citation
   Biochemistry, Genetics and Molecular Biology · #Biomedical Text Mining and Ontologies #Machine Learning in Bioinformatics #Fractal and DNA sequence analysis