( en | de | ru )

 

Disambiguation of "Finger, Marcelo"

Author of the publication

copydeleteadd this publication to your clipboard
Combining Temporal Logic Systems.

, and . Notre Dame J. Formal Log., 37 (2): 204-232 (1996)

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 Giovannetti

Marcelo Klötzle

Marcelo Ephraim

Marcelo Trallero

Marcelo Bertasso

 

Other publications of authors with the same name

Approximations of modal logics: K and beyond., and . Ann. Pure Appl. Log., 152 (1-3): 161-173 (2008)Updating Atomic Information in Labelled Database Systems., and . ICDT, volume 646 of Lecture Notes in Computer Science, page 188-200. Springer, (1992)Revising Specifications with CTL Properties Using Bounded Model Checking., and . SBIA, volume 5249 of Lecture Notes in Computer Science, page 157-166. Springer, (2008)Logics for Approximate Reasoning: Approximating Classical Logic "From Above"., and . SBIA, volume 2507 of Lecture Notes in Computer Science, page 21-30. Springer, (2002)Probabilistic satisfiability: algorithms with the presence and absence of a phase transition., and . Ann. Math. Artif. Intell., 75 (3-4): 351-389 (2015)Semantics and proof-theory of depth bounded Boolean logics., , and . Theor. Comput. Sci., (2013)Semantic Parsing Natural Language into SPARQL: Improving Target Language Representation with Neural Attention., and . CoRR, (2018)Generalized probabilistic satisfiability through integer programming., , and . J. Braz. Comput. Soc., 21 (1): 11 (2015)Measuring inconsistency in probabilistic logic: rationality postulates and Dutch book interpretation., and . Artif. Intell., (2015)Carolina: a General Corpus of Contemporary Brazilian Portuguese with Provenance, Typology and Versioning Information., , , , , , , , , and 4 other author(s). CoRR, (2023)