Marcelo Finger

	2012
53		Adolfo Neto, Celso A. A. Kaestner, Marcelo Finger: Towards an efficient prover for the C1 paraconsistent logic CoRR abs/1202.4144: (2012)
52		Marcelo Finger: Towards automated first-order abduction: the cut-based approach. Logic Journal of the IGPL 20(2): 370-387 (2012)
	2011
51		Marcelo Finger, Renata Wassermann, Fabio Gagliardi Cozman: Satisfiability in EL with Sets of Probabilistic ABoxes. Description Logics 2011
50		Marcelo Finger, Glauber De Bona: Probabilistic Satisfiability: Logic-Based Algorithms and Phase Transition. IJCAI 2011: 528-533
49		Anderson de Araújo, Marcelo Finger: Classical and quantum satisfiability LSFA 2011: 79-84
	2010
48		Marcelo Finger, Glauber De Bona: A Logic Based Algorithm for Solving Probabilistic Satisfiability. IBERAMIA 2010: 453-462
47		Marcelo Finger, Glauber De Bona: A Refuted Conjecture on Probabilistic Satisfiability. SBIA 2010: 293-302
46		Marcelo Finger, Mauricio S. C. Hernandes: Entailment Multipliers: An Algebraic Characterization of Validity for Classical and Modal Logics. WoLLIC 2010: 1-18
45		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)
44		Marcelo Finger: Analytic Methods for the Logic of Proofs. J. Log. Comput. 20(1): 167-188 (2010)
43		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)
	2009
42		Marcelo Finger: Using Abduction to Compute Efficient Proofs. Electr. Notes Theor. Comput. Sci. 247: 39-49 (2009)
41		Adolfo Neto, Celso A. A. Kaestner, Marcelo Finger: Towards an Efficient Prover for the C1 Paraconsistent Logic. Electr. Notes Theor. Comput. Sci. 256: 87-102 (2009)
	2008
40		Marcelo Finger, Germano Capistrano Bezerra, Danilo R. Conde: Resource use pattern analysis for opportunistic grids. MGC 2008: 8
39		Marcelo Finger, Renata Wassermann: Revising Specifications with CTL Properties Using Bounded Model Checking. SBIA 2008: 157-166
38		Guilherme de Souza Rabello, Marcelo Finger: Approximations of modal logics: K and beyond. Ann. Pure Appl. Logic 152(1-3): 161-173 (2008)
37		Marcello D'Agostino, Marcelo Finger, Dov M. Gabbay: Cut-Based Abduction. Logic Journal of the IGPL 16(6): 537-560 (2008)
	2007
36		Marcelo Finger, Renata Wassermann: Anytime Approximations of Classical Logic from Above. J. Log. Comput. 17(1): 53-82 (2007)
35		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)
	2006
34		Fábio Natanael Kepler, Marcelo Finger: Comparing Two Markov Methods for Part-of-Speech Tagging of Portuguese. IBERAMIA-SBIA 2006: 482-491
33		Adolfo Gustavo Serra Seca Neto, Marcelo Finger: Effective Prover for Minimal Inconsistency Logic. IFIP AI 2006: 465-474
32		Fábio Natanael Kepler, Marcelo Finger: Part-of-Speech Tagging of Portuguese Based on Variable Length Markov Chains. PROPOR 2006: 248-251
31		Guilherme de Souza Rabello, Marcelo Finger: Approximations of Modal Logic K. Electr. Notes Theor. Comput. Sci. 143: 171-184 (2006)
30		Marcelo Finger, Dov M. Gabbay: Cut and Pay. Journal of Logic, Language and Information 15(3): 195-218 (2006)
29		Marcelo Finger, Renata Wassermann: The universe of propositional approximations. Theor. Comput. Sci. 355(2): 153-166 (2006)
	2005
28		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
27		Rogerio Fajardo, Marcelo Finger: How Not to Combine Modal Logics. IICAI 2005: 1629-1647
26		Marcelo Finger: DAG Sequents with Substitution. We Will Show Them! (1) 2005: 671-686
	2004
25		Marcelo Finger: Polynomial Approximations of Full Propositional Logic via Limited Bivalence. JELIA 2004: 526-538
24		Marcelo Finger: Towards Polynomial Approximations of Full Propositional Logic. SBIA 2004: 11-20
23		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)
22		Marcelo Finger, Renata Wassermann: Approximate and Limited Reasoning: Semantics, Proof Theory, Expressivity and Control. J. Log. Comput. 14(2): 179-204 (2004)
21		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)
	2003
20		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
19		Marcelo Finger, Renata Wassermann: The Universe of Approximations. Electr. Notes Theor. Comput. Sci. 84: 91-104 (2003)
	2002
18		Rogerio Fajardo, Marcelo Finger: Non-normal Modalisation. Advances in Modal Logic 2002: 83-96
17		Marcelo Finger, Renata Wassermann: Expressivity and Control in Limited Reasoning. ECAI 2002: 272-276
16		Marcelo Finger, Renata Wassermann: Logics for Approximate Reasoning: Approximating Classical Logic "From Above". SBIA 2002: 21-30
15		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)
14		Marcelo Finger, M. Angela Weiss: The Unrestricted Combination of Temporal Logic Systems. Logic Journal of the IGPL 10(2): 165-189 (2002)
	2000
13		Marcelo Finger: Algorithmic Correspondence Theory for Substructural Categorial Logic. Advances in Modal Logic 2000: 153-172
12		Marcelo Finger, Wamberto Weber Vasconcelos: Sharing Resource-Sensitive Knowledge Using Combinator Logics. IBERAMIA-SBIA 2000: 196-206
11		Marcelo Finger: A logical reconstruction of temporal databases. J. Log. Comput. 10(6): 847-876 (2000)
	1999
10		Krysia Broda, Marcelo Finger, Alessandra Russo: Labelled Natural Deduction for Substructural Logics. Logic Journal of the IGPL 7(3): 283-318 (1999)
	1998
9		Marcelo Finger: Computational Solutions for Structural Constraints. LACL 1998: 11-30
8		Marcelo Finger, Flávio S. Corrêa da Silva: Temporal Data Obsolescence: Modelling Problems. TIME 1998: 45-50
7		Marcelo Finger: Towards Structurally-Free Theorem Proving. Logic Journal of the IGPL 6(3): 425-449 (1998)
6		Ruy J. G. B. de Queiroz, Marcelo Finger: Conference Report: Wollic'98. Logic Journal of the IGPL 6(6): 917-918 (1998)
	1997
5		Marcelo Finger, Peter McBrien: Concurrency Control for Perceivedly Instantaneous Transactions in Valid-Time Databases. TIME 1997: 112-118
4		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)
	1996
3		Marcelo Finger, Dov M. Gabbay: Combining Temporal Logic Systems. Notre Dame Journal of Formal Logic 37(2): 204-232 (1996)
	1992
2		Marcelo Finger, Dov M. Gabbay: Updating Atomic Information in Labelled Database Systems. ICDT 1992: 188-200
1		Marcelo Finger: Handling database updates in two-dimensional temporal logic. Journal of Applied Non-Classical Logics 2(2): (1992)

Coauthor Index

1	Jaume Agustí-Cullell	[15]
2	Anderson de Araújo	[49]
3	Leliane Nunes de Barros	[28]
4	Germano Capistrano Bezerra	[23] [40] [45]
5	Glauber De Bona	[47] [48] [50]
6	Virgínia V. B. Biris Brilhante	[15]
7	Krysia Broda	[10]
8	Sabine Broda	[21]
9	Raphael Y. de Camargo	[43]
10	Danilo R. Conde	[40] [45]
11	Fábio M. Costa (Fábio Moreira Costa)	[43]
12	Fabio Gagliardi Cozman	[51]
13	Marcello D'Agostino	[37]
14	Luís Damas	[21]
15	Rogerio Fajardo	[18] [27]
16	Fernando Castor Filho (Fernando Castor)	[43]
17	Dov M. Gabbay	[2] [3] [4] [30] [35] [37]
18	Andrei Goldchleger	[20] [23]
19	Alfredo Goldman (Alfredo Goldman vel Lejbman)	[20] [23] [43]
20	Mauricio S. C. Hernandes	[46]
21	Celso A. A. Kaestner (Celso Antonio Alves Kaestner)	[41] [53]
22	Ruth Kempson	[4]
23	Fábio Natanael Kepler	[32] [34]
24	Rodger Kibble	[4]
25	Fabio Kon	[20] [23] [43]
26	Peter McBrien	[5]
27	Ana Cristina Vieira de Melo	[15] [28]
28	Adolfo Neto	[41] [53]
29	Adolfo Gustavo Serra Seca Neto	[33]
30	Ruy J. G. B. de Queiroz	[6]
31	Guilherme de Souza Rabello	[31] [38]
32	David Stuart Robertson (David Robertson)	[15]
33	Alessandra Russo	[10]
34	Flávio S. Corrêa da Silva	[8] [15] [28]
35	Francisco José da Silva e Silva	[43]
36	Paulo Silva e Silva	[21]
37	Wamberto Weber Vasconcelos (Wamberto Vasconcelos)	[12] [15]
38	Renata Wassermann	[16] [17] [19] [22] [28] [29] [36] [39] [51]
39	M. Angela Weiss	[14]

Colors in the list of coauthors

Last update Tue May 29 20:41:18 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page