( en | de | ru )

 

Disambiguation of "Finger, Marcelo"

Author of the publication

copydeleteadd this publication to your clipboard
Selecting and ranking leading cases in Brazilian Supreme Court decisions.

, , , and . Knowl. Eng. Rev., (2023)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Marcelo Ephraim

Marcelo Trallero

Marcelo Klötzle

Marcelo Bertasso

Marcelo Giovannetti

 

Other publications of authors with the same name

A Logic Based Algorithm for Solving Probabilistic Satisfiability., and . IBERAMIA, volume 6433 of Lecture Notes in Computer Science, page 453-462. Springer, (2010)A Refuted Conjecture on Probabilistic Satisfiability., and . SBIA, volume 6404 of Lecture Notes in Computer Science, page 293-302. Springer, (2010)Sharing Resource-Sensitive Knowledge Using Combinator Logics., and . IBERAMIA-SBIA, volume 1952 of Lecture Notes in Computer Science, page 196-206. Springer, (2000)Polynomial Approximations of Full Propositional Logic via Limited Bivalence.. JELIA, volume 3229 of Lecture Notes in Computer Science, page 526-538. Springer, (2004)Extending Description Logic EL++ with Linear Constraints on the Probability of Axioms.. CoRR, (2019)DAG Sequents with Substitution.. We Will Show Them! (1), page 671-686. College Publications, (2005)Proving properties of binary classification neural networks via Łukasiewicz logic., and . Log. J. IGPL, 31 (5): 805-821 (September 2023)On the insufficiency of ontologies: problems in knowledge sharing and alternative solutions., , , , , , and . Knowl.-Based Syst., 15 (3): 147--167 (2002)Equal Rights for the Cut: Computable Non-analytic Cuts in Cut-based Proofs., and . Logic Journal of the IGPL, 15 (5-6): 553-575 (2007)Labelled Natural Deduction for Substructural Logics., , and . Logic Journal of the IGPL, 7 (3): 283-318 (1999)