( en | de | ru )

 

Disambiguierung von "Finger, Marcelo"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Revising Specifications with CTL Properties Using Bounded Model Checking.

, und . SBIA, Volume 5249 von Lecture Notes in Computer Science, Seite 157-166. Springer, (2008)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Marcelo Ephraim

Marcelo Trallero

Marcelo Giovannetti

Marcelo Klötzle

Marcelo Bertasso

 

Weitere Publikationen von Autoren mit dem selben Namen

Efficient representation of piecewise linear functions into Łukasiewicz logic modulo satisfiability., und . Math. Struct. Comput. Sci., 32 (9): 1119-1144 (Oktober 2022)Variable-Length Markov Models and Ambiguous Words in Portuguese., und . NAACL (Young Investigators Workshop), Seite 15-23. Association for Computational Linguistics, (2010)Probably Half True: Probabilistic Satisfiability over Łukasiewicz Infinitely-Valued Logic., und . IJCAR, Volume 10900 von Lecture Notes in Computer Science, Seite 194-210. Springer, (2018)Non-normal Modalisation., und . Advances in Modal Logic, Seite 83-96. King's College Publications, (2002)Extending $$E\!L^++$$ with Linear Constraints on the Probability of Axioms.. Description Logic, Theory Combination, and All That, Volume 11560 von Lecture Notes in Computer Science, Seite 286-300. Springer, (2019)Towards Polynomial Approximations of Full Propositional Logic.. SBIA, Volume 3171 von Lecture Notes in Computer Science, Seite 11-20. Springer, (2004)Quantitative Logic Reasoning.. CoRR, (2019)Probabilistic Answer Set Programming., und . BRACIS, Seite 150-156. IEEE Computer Society, (2013)Solutions for Hard and Soft Constraints Using Optimized Probabilistic Satisfiability., , , und . SAT, Volume 7962 von Lecture Notes in Computer Science, Seite 233-249. Springer, (2013)Extending Description Logic EL++ with Linear Constraints on the Probability of Axioms.. CoRR, (2019)