Finger, Marcelo
142  Ergebnisse:
Personensuche X
?
3

Benchmarking Łukasiewicz Logic Solvers with Properties of N..:

, In: 2023 IEEE 53rd International Symposium on Multiple-Valued Logic (ISMVL),
Preto, Sandro ; Manya, Felip ; Finger, Marcelo - p. 158-163 , 2023
 
?
5

Discriminant Audio Properties in Deep Learning Based Respir..:

, In: Artificial Intelligence in Medicine; Lecture Notes in Computer Science,
 
?
7

Linking Łukasiewicz Logic and Boolean Maximum Satisfiabilit:

, In: 2023 IEEE 53rd International Symposium on Multiple-Valued Logic (ISMVL),
Preto, Sandro ; Manya, Felip ; Finger, Marcelo - p. 164-169 , 2023
 
?
8

Coherence of probabilistic constraints on Nash equilibria:

Preto, Sandro ; Fermé, Eduardo ; Finger, Marcelo
Journal of the Brazilian Computer Society.  28 (2022)  1 - p. 38-51 , 2022
 
?
9

Efficient representation of piecewise linear functions into..:

Preto, Sandro ; Finger, Marcelo
Mathematical Structures in Computer Science.  32 (2022)  9 - p. 1119-1144 , 2022
 
?
 
?
11

Robust Ranking of Brazilian Supreme Court Decisions:

, In: Intelligent Systems; Lecture Notes in Computer Science,
 
?
12

Probably Partially True: Satisfiability for Łukasiewicz Inf..:

Finger, Marcelo ; Preto, Sandro
Journal of Automated Reasoning.  64 (2020)  7 - p. 1269-1286 , 2020
 
?
13

An Efficient Algorithm for Representing Piecewise Linear Fu..:

Preto, Sandro ; Finger, Marcelo
Electronic Notes in Theoretical Computer Science.  351 (2020)  - p. 167-186 , 2020
 
?
14

Extending $$\mathscr {E\!L}^{++}$$ with Linear Constraints ..:

, In: Lecture Notes in Computer Science; Description Logic, Theory Combination, and All That,
Finger, Marcelo - p. 286-300 , 2019
 
?
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
 
1-15