| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Marcelo Finger |
Towards automated first-order abduction: the cut-based approach.  |
Logic Journal of the IGPL  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Adolfo Neto, Celso A. A. Kaestner, Marcelo Finger |
Towards an efficient prover for the C1 paraconsistent logic |
CoRR |
2012 |
DBLP BibTeX RDF |
|
| 1 | Anderson de Araújo, Marcelo Finger |
Classical and quantum satisfiability |
LSFA |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Marcelo Finger, Glauber De Bona |
Probabilistic Satisfiability: Logic-Based Algorithms and Phase Transition. |
IJCAI |
2011 |
DBLP BibTeX RDF |
|
| 1 | Marcelo Finger, Renata Wassermann, Fabio Gagliardi Cozman |
Satisfiability in EL with Sets of Probabilistic ABoxes. |
Description Logics |
2011 |
DBLP BibTeX RDF |
|
| 1 | 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 |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | 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. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Marcelo Finger |
Analytic Methods for the Logic of Proofs. |
J. Log. Comput. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Marcelo Finger, Mauricio S. C. Hernandes |
Entailment Multipliers: An Algebraic Characterization of Validity for Classical and Modal Logics. |
WoLLIC |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Marcelo Finger, Glauber De Bona |
A Logic Based Algorithm for Solving Probabilistic Satisfiability. |
IBERAMIA |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Marcelo Finger, Glauber De Bona |
A Refuted Conjecture on Probabilistic Satisfiability. |
SBIA |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Marcelo Finger |
Using Abduction to Compute Efficient Proofs. |
Electr. Notes Theor. Comput. Sci. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Adolfo Neto, Celso A. A. Kaestner, Marcelo Finger |
Towards an Efficient Prover for the C1 Paraconsistent Logic. |
Electr. Notes Theor. Comput. Sci. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Marcello D'Agostino, Marcelo Finger, Dov M. Gabbay |
Cut-Based Abduction. |
Logic Journal of the IGPL |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Guilherme de Souza Rabello, Marcelo Finger |
Approximations of modal logics: K and beyond. |
Ann. Pure Appl. Logic |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Marcelo Finger, Renata Wassermann |
Revising Specifications with CTL Properties Using Bounded Model Checking. |
SBIA |
2008 |
DBLP DOI BibTeX RDF |
Model-checking, formal specification, belief revision, CTL |
| 1 | Marcelo Finger, Germano Capistrano Bezerra, Danilo R. Conde |
Resource use pattern analysis for opportunistic grids. |
MGC |
2008 |
DBLP DOI BibTeX RDF |
opportunistic grids, use pattern analysis, scheduling, grid computing |
| 1 | Marcelo Finger, Dov M. Gabbay |
Equal Rights for the Cut: Computable Non-analytic Cuts in Cut-based Proofs. |
Logic Journal of the IGPL |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Marcelo Finger, Renata Wassermann |
Anytime Approximations of Classical Logic from Above. |
J. Log. Comput. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Marcelo Finger, Renata Wassermann |
The universe of propositional approximations. |
Theor. Comput. Sci. |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Guilherme de Souza Rabello, Marcelo Finger |
Approximations of Modal Logic K. |
Electr. Notes Theor. Comput. Sci. |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Marcelo Finger, Dov M. Gabbay |
Cut and Pay. |
Journal of Logic, Language and Information |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Adolfo Gustavo Serra Seca Neto, Marcelo Finger |
Effective Prover for Minimal Inconsistency Logic. |
IFIP AI |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Fábio Natanael Kepler, Marcelo Finger |
Comparing Two Markov Methods for Part-of-Speech Tagging of Portuguese. |
IBERAMIA-SBIA |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Fábio Natanael Kepler, Marcelo Finger |
Part-of-Speech Tagging of Portuguese Based on Variable Length Markov Chains. |
PROPOR |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Rogerio Fajardo, Marcelo Finger |
How Not to Combine Modal Logics. |
IICAI |
2005 |
DBLP BibTeX RDF |
|
| 1 | Marcelo Finger |
DAG Sequents with Substitution. |
We Will Show Them! |
2005 |
DBLP BibTeX RDF |
|
| 1 | 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 |
DBLP BibTeX RDF |
|
| 1 | 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 |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Sabine Broda, Luís Damas, Marcelo Finger, Paulo Silva e Silva |
The decidability of a fragment of BB'IW-logic. |
Theor. Comput. Sci. |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Marcelo Finger, Renata Wassermann |
Approximate and Limited Reasoning: Semantics, Proof Theory, Expressivity and Control. |
J. Log. Comput. |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Marcelo Finger |
Towards Polynomial Approximations of Full Propositional Logic. |
SBIA |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Marcelo Finger |
Polynomial Approximations of Full Propositional Logic via Limited Bivalence. |
JELIA |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Marcelo Finger, Renata Wassermann |
The Universe of Approximations. |
Electr. Notes Theor. Comput. Sci. |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrei Goldchleger, Fabio Kon, Alfredo Goldman, Marcelo Finger |
InteGrade: Object-Oriented Grid Middleware Leveraging Idle Computing Power of Desktop Machines. |
Middleware Workshops |
2003 |
DBLP BibTeX RDF |
|
| 1 | Marcelo Finger, M. Angela Weiss |
The Unrestricted Combination of Temporal Logic Systems. |
Logic Journal of the IGPL |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | 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. |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Rogerio Fajardo, Marcelo Finger |
Non-normal Modalisation. |
Advances in Modal Logic |
2002 |
DBLP BibTeX RDF |
|
| 1 | Marcelo Finger, Renata Wassermann |
Expressivity and Control in Limited Reasoning. |
ECAI |
2002 |
DBLP BibTeX RDF |
|
| 1 | Marcelo Finger, Renata Wassermann |
Logics for Approximate Reasoning: Approximating Classical Logic "From Above". |
SBIA |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Marcelo Finger |
A logical reconstruction of temporal databases. |
J. Log. Comput. |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Marcelo Finger |
Algorithmic Correspondence Theory for Substructural Categorial Logic. |
Advances in Modal Logic |
2000 |
DBLP BibTeX RDF |
|
| 1 | Marcelo Finger, Wamberto Weber Vasconcelos |
Sharing Resource-Sensitive Knowledge Using Combinator Logics. |
IBERAMIA-SBIA |
2000 |
DBLP DOI BibTeX RDF |
resource-sensitive logics, Knowledge sharing |
| 1 | Krysia Broda, Marcelo Finger, Alessandra Russo |
Labelled Natural Deduction for Substructural Logics. |
Logic Journal of the IGPL |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Marcelo Finger |
Towards Structurally-Free Theorem Proving. |
Logic Journal of the IGPL |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Ruy J. G. B. de Queiroz, Marcelo Finger |
Conference Report: Wollic'98. |
Logic Journal of the IGPL |
1998 |
DBLP BibTeX RDF |
|
| 1 | Marcelo Finger |
Computational Solutions for Structural Constraints. |
LACL |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Marcelo Finger, Flávio S. Corrêa da Silva |
Temporal Data Obsolescence: Modelling Problems. (PDF / PS) |
TIME |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Marcelo Finger, Rodger Kibble, Dov M. Gabbay, Ruth Kempson |
Parsing Natural Language using LDS: A Prototype. |
Logic Journal of the IGPL |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Marcelo Finger, Peter McBrien |
Concurrency Control for Perceivedly Instantaneous Transactions in Valid-Time Databases. (PDF / PS) |
TIME |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Marcelo Finger, Dov M. Gabbay |
Combining Temporal Logic Systems. |
Notre Dame Journal of Formal Logic |
1996 |
DBLP BibTeX RDF |
|
| 1 | Marcelo Finger |
Handling database updates in two-dimensional temporal logic. |
Journal of Applied Non-Classical Logics |
1992 |
DBLP BibTeX RDF |
|
| 1 | Marcelo Finger, Dov M. Gabbay |
Updating Atomic Information in Labelled Database Systems. |
ICDT |
1992 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")