Marcelo Finger

Marcelo Finger, Poliana M. Reis: On the Predictability of Classical Propositional Logic. Information 4(1): 60-74 (2013)

Marcello D'Agostino, Marcelo Finger, Dov M. Gabbay: Semantics and proof-theory of depth bounded Boolean logics. Theor. Comput. Sci. 480: 43-68 (2013)

Marcelo Finger: Towards automated first-order abduction: the cut-based approach. Logic Journal of the IGPL 20(2): 370-387 (2012)

Leliane Nunes de Barros, Marcelo Finger, Aurora T. R. Pozo, Gustavo Alberto Giménez Lugo, Marcos A. Castilho (Eds.): Advances in Artificial Intelligence - SBIA 2012 - 21th Brazilian Symposium on Artificial Intelligence, Curitiba, Brazil, October 20-25, 2012. Proceedings. Lecture Notes in Computer Science 7589, Springer 2012, isbn 978-3-642-34458-9

Adolfo Neto, Celso A. A. Kaestner, Marcelo Finger: Towards an efficient prover for the C1 paraconsistent logic. CoRR abs/1202.4144 (2012)

Marcelo Finger, Renata Wassermann, Fabio Gagliardi Cozman: Satisfiability in EL with Sets of Probabilistic ABoxes. Description Logics 2011

Marcelo Finger, Glauber De Bona: Probabilistic Satisfiability: Logic-Based Algorithms and Phase Transition. IJCAI 2011: 528-533

Anderson de Araújo, Marcelo Finger: Classical and quantum satisfiability. LSFA 2011: 79-84

Marcelo Finger, Germano Capistrano Bezerra, Danilo R. Conde: Resource use pattern analysis for predicting resource availability in opportunistic grids. Concurrency and Computation: Practice and Experience 22(3): 295-313 (2010)

Francisco José da Silva e Silva, Fabio Kon, Alfredo Goldman, Marcelo Finger, Raphael Y. de Camargo, Fernando Castor Filho, Fábio M. Costa: Application execution management on the InteGrade opportunistic grid middleware. J. Parallel Distrib. Comput. 70(5): 573-583 (2010)

Marcelo Finger: Analytic Methods for the Logic of Proofs. J. Log. Comput. 20(1): 167-188 (2010)

Marcelo Finger, Glauber De Bona: A Logic Based Algorithm for Solving Probabilistic Satisfiability. IBERAMIA 2010: 453-462

Marcelo Finger, Glauber De Bona: A Refuted Conjecture on Probabilistic Satisfiability. SBIA 2010: 293-302

Marcelo Finger, Mauricio S. C. Hernandes: Entailment Multipliers: An Algebraic Characterization of Validity for Classical and Modal Logics. WoLLIC 2010: 1-18

Marcelo Finger: Using Abduction to Compute Efficient Proofs. Electr. Notes Theor. Comput. Sci. 247: 39-49 (2009)

Adolfo Neto, Celso A. A. Kaestner, Marcelo Finger: Towards an Efficient Prover for the C₁ Paraconsistent Logic. Electr. Notes Theor. Comput. Sci. 256: 87-102 (2009)

Guilherme de Souza Rabello, Marcelo Finger: Approximations of modal logics: K and beyond. Ann. Pure Appl. Logic 152(1-3): 161-173 (2008)

Marcello D'Agostino, Marcelo Finger, Dov M. Gabbay: Cut-Based Abduction. Logic Journal of the IGPL 16(6): 537-560 (2008)

Marcelo Finger, Germano Capistrano Bezerra, Danilo R. Conde: Resource use pattern analysis for opportunistic grids. MGC 2008: 8

Marcelo Finger, Renata Wassermann: Revising Specifications with CTL Properties Using Bounded Model Checking. SBIA 2008: 157-166

Marcelo Finger, Dov M. Gabbay: Equal Rights for the Cut: Computable Non-analytic Cuts in Cut-based Proofs. Logic Journal of the IGPL 15(5-6): 553-575 (2007)

Marcelo Finger, Renata Wassermann: Anytime Approximations of Classical Logic from Above. J. Log. Comput. 17(1): 53-82 (2007)

Guilherme de Souza Rabello, Marcelo Finger: Approximations of Modal Logic K. Electr. Notes Theor. Comput. Sci. 143: 171-184 (2006)

Marcelo Finger, Dov M. Gabbay: Cut and Pay. Journal of Logic, Language and Information 15(3): 195-218 (2006)

Marcelo Finger, Renata Wassermann: The universe of propositional approximations. Theor. Comput. Sci. 355(2): 153-166 (2006)

Fábio Natanael Kepler, Marcelo Finger: Comparing Two Markov Methods for Part-of-Speech Tagging of Portuguese. IBERAMIA-SBIA 2006: 482-491

Adolfo Gustavo Serra Seca Neto, Marcelo Finger: Effective Prover for Minimal Inconsistency Logic. IFIP AI 2006: 465-474

Fábio Natanael Kepler, Marcelo Finger: Part-of-Speech Tagging of Portuguese Based on Variable Length Markov Chains. PROPOR 2006: 248-251

Marcelo Finger: DAG Sequents with Substitution. We Will Show Them! (1) 2005: 671-686

Flávio S. Corrêa da Silva, Renata Wassermann, Ana Cristina Vieira de Melo, Leliane Nunes de Barros, Marcelo Finger: Intelligent mobile multi-robotic systems: some challenges and possible solutions. ICINCO 2005: 479-485

Rogerio Fajardo, Marcelo Finger: How Not to Combine Modal Logics. IICAI 2005: 1629-1647

Andrei Goldchleger, Fabio Kon, Alfredo Goldman, Marcelo Finger, Germano Capistrano Bezerra: InteGrade: object-oriented Grid middleware leveraging the idle computing power of desktop machines. Concurrency - Practice and Experience 16(5): 449-459 (2004)

Marcelo Finger, Renata Wassermann: Approximate and Limited Reasoning: Semantics, Proof Theory, Expressivity and Control. J. Log. Comput. 14(2): 179-204 (2004)

Sabine Broda, Luís Damas, Marcelo Finger, Paulo Silva e Silva: The decidability of a fragment of BB'IW-logic. Theor. Comput. Sci. 318(3): 373-408 (2004)

Marcelo Finger: Polynomial Approximations of Full Propositional Logic via Limited Bivalence. JELIA 2004: 526-538

Marcelo Finger: Towards Polynomial Approximations of Full Propositional Logic. SBIA 2004: 11-20

Marcelo Finger, Renata Wassermann: The Universe of Approximations. Electr. Notes Theor. Comput. Sci. 84: 91-104 (2003)

Andrei Goldchleger, Fabio Kon, Alfredo Goldman, Marcelo Finger: InteGrade: Object-Oriented Grid Middleware Leveraging Idle Computing Power of Desktop Machines. Middleware Workshops 2003: 232-234

Marcelo Finger, M. Angela Weiss: The Unrestricted Combination of Temporal Logic Systems. Logic Journal of the IGPL 10(2): 165-189 (2002)

Flávio S. Corrêa da Silva, Wamberto Weber Vasconcelos, David Stuart Robertson, Virgínia V. B. Biris Brilhante, Ana Cristina Vieira de Melo, Marcelo Finger, Jaume Agustí-Cullell: On the insufficiency of ontologies: problems in knowledge sharing and alternative solutions. Knowl.-Based Syst. 15(3): 147-167 (2002)

Rogerio Fajardo, Marcelo Finger: Non-normal Modalisation. Advances in Modal Logic 2002: 83-96

Marcelo Finger, Renata Wassermann: Expressivity and Control in Limited Reasoning. ECAI 2002: 272-276

Marcelo Finger, Renata Wassermann: Logics for Approximate Reasoning: Approximating Classical Logic "From Above". SBIA 2002: 21-30

Marcelo Finger: A logical reconstruction of temporal databases. J. Log. Comput. 10(6): 847-876 (2000)

Marcelo Finger: Algorithmic Correspondence Theory for Substructural Categorial Logic. Advances in Modal Logic 2000: 153-172

Marcelo Finger, Wamberto Weber Vasconcelos: Sharing Resource-Sensitive Knowledge Using Combinator Logics. IBERAMIA-SBIA 2000: 196-206

Krysia Broda, Marcelo Finger, Alessandra Russo: Labelled Natural Deduction for Substructural Logics. Logic Journal of the IGPL 7(3): 283-318 (1999)

Marcelo Finger: Towards Structurally-Free Theorem Proving. Logic Journal of the IGPL 6(3): 425-449 (1998)

Ruy J. G. B. de Queiroz, Marcelo Finger: Conference Report: Wollic'98. Logic Journal of the IGPL 6(6): 917-918 (1998)

Marcelo Finger: Computational Solutions for Structural Constraints. LACL 1998: 11-30

Marcelo Finger, Flávio S. Corrêa da Silva: Temporal Data Obsolescence: Modelling Problems. TIME 1998: 45-50

Marcelo Finger, Rodger Kibble, Dov M. Gabbay, Ruth Kempson: Parsing Natural Language using LDS: A Prototype. Logic Journal of the IGPL 5(5): 647-671 (1997)

Marcelo Finger, Peter McBrien: Concurrency Control for Perceivedly Instantaneous Transactions in Valid-Time Databases. TIME 1997: 112-118

Marcelo Finger, Dov M. Gabbay: Combining Temporal Logic Systems. Notre Dame Journal of Formal Logic 37(2): 204-232 (1996)

Marcelo Finger: Handling database updates in two-dimensional temporal logic. Journal of Applied Non-Classical Logics 2(2): 201-224 (1992)

Marcelo Finger, Dov M. Gabbay: Updating Atomic Information in Labelled Database Systems. ICDT 1992: 188-200