Personensuche
X
?
2023 IEEE 53rd International Symposium on Multiple-Valued Logic (ISMVL) ,
3
Benchmarking Łukasiewicz Logic Solvers with Properties of N..:
, In:
?
Artificial Intelligence in Medicine; Lecture Notes in Computer Science ,
5
Discriminant Audio Properties in Deep Learning Based Respir..:
, In:
?
2023 IEEE 53rd International Symposium on Multiple-Valued Logic (ISMVL) ,
7
Linking Łukasiewicz Logic and Boolean Maximum Satisfiabilit:
, In:
?
Intelligent Systems; Lecture Notes in Computer Science ,
11
Robust Ranking of Brazilian Supreme Court Decisions:
, In:
?
Lecture Notes in Computer Science; Description Logic, Theory Combination, and All That ,
14
Extending $$\mathscr {E\!L}^{++}$$ with Linear Constraints ..:
, In:
?
15
Frontiers of Combining Systems
11th International Symposium, FroCoS 2017, Brasília, Brazi...
Lecture Notes in Computer Science ; 10483;SpringerLink, Bücher;Springer eBook Collection, Computer Science