 | 2009 |
|---|
| 41 |       | Marcelo Finger:
Using Abduction to Compute Efficient Proofs.
Electr. Notes Theor. Comput. Sci. 247: 39-49 (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: (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): (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) |
