Journals

  1. Guilherme de Souza Rabello and Marcelo Finger. Approximations of modal logics: K and beyond. Anals of Pure and Applied Logic, 152(1-3):161-173, March 2008. [PDF] [doi].
  2. Marcelo Finger and Dov M. Gabbay. Equal Rights for the Cut: Computable Non-analytic Cuts in Cut-based Proofs. Logic Journal of the Interest Group in Pure and Applied Logics, 15(5-6):553-575, 2007. [PDF] [doi].
  3. Marcelo Finger and Renata Wassermann. Anytime approximations of classical logic from above. Journal of Logic and Computation, 17(1):53-82, 2007. [PDF] [doi].
  4. Marcelo Finger and Dov Gabbay. Cut and pay. Journal of Logic, Language and Information, 15(3):195-218, October 2006. [PDF] [doi].
  5. Marcelo Finger and Renata Wassermann. The universe of propositional approximations. Theoretical Computer Science, 355(2):153-166, 2006. [PDF] [doi].
  6. Sabine Broda, Luis Damas, Marcelo Finger, and Paulo Silva e Silva. The decidability of a fragment of BB'IW-logic. Theoretical Computer Science, 318(3):373-408, 2004. [PDF] [doi].
  7. Marcelo Finger and Renata Wassermann. Approximate and limited reasoning: Semantics, proof theory, expressivity and control. Journal of Logic And Computation, 14(2):179-204, 2004. [PDF] [doi].
  8. Andrei Goldchleger, Fabio Kon, Alfredo Goldman, Marcelo Finger, and Germano Capistrano Bezerra. InteGrade: Object-Oriented Grid Middleware Leveraging Idle Computing Power of Desktop Machines. Concurrency and Computation: Practice and Experience, 16:449-459, March 2004. [PDF] [doi].
  9. Marcelo Finger and M. Angela Weiss. The unrestricted combination of temporal logic systems. Logic Journal of the IGPL, 10(2):165-190, March 2002. [PDF] [doi].
  10. Flavio S. Correa da Silva, Wamberto W. Vasconcelos, David S. Robertson, Virginia Brilhante, Ana C.V. de Melo, Marcelo Finger, and Jaume Agustí. On the insuficiency of ontologies: Problems in knowledge sharing and alternative solutions. Knowledge-Based Systems Journal, 15(3):147-167, March 2002. [PDF] [doi].
  11. Marcelo Finger. A logical reconstruction of temporal databases. Journal of Logic and Computation, 10(6):847-876, 2000. [PDF] [doi].
  12. K. Broda, M. Finger, and A. Russo. Labelled natural deduction for substructural logics. Logic Journal of the IGPL, 7(3):283-318, 1999. [PDF] [doi].
  13. M. Finger. Towards structurally-free theorem proving. Logic Journal of the IGPL, 6(3):425-449, 1998. [PDF] [doi].
  14. M. Finger, R. Kibble, D. Gabbay, and R. Kempson. Parsing natural language using lds: A prototype. Logic Journal of the IGPL, 5(5):647-671, 1997. [PDF] [doi].
  15. M. Finger and D. Gabbay. Combining Temporal Logic Systems. Notre Dame Journal of Formal Logic, 37(2):204-232, Spring 1996. [PDF] [doi].
  16. M. Finger and D. M. Gabbay. Adding a Temporal Dimension to a Logic System. Journal of Logic Language and Information, 1:203-233, 1992. [PDF] [doi].
  17. M. Finger. Handling Database Updates in Two-dimensional Temporal Logic. J. of Applied Non-Classical Logic, 2(2):201-224, 1992. [PDF] .

Accepted in Journals

  1. Marcelo Finger. Analytic methods for the logic of proofs. Journal of Logic and Computation, Accepted, 2008. [PDF] [doi].
  2. Marcello D'Agostino, Marcelo Finger, and Dov Gabbay. Cut-based abduction. Logic Journal of the IGPL, Accepted, 2008. [PDF] [doi].

Conferences (Full)

  1. Marcelo Finger, Germano C. Bezerra, and Danilo M. R. Conde. Resource use pattern analysis for opportunistic grids. In 6th International Workshop on Middleware for Grid Computing (MGC 2008), Leuven, Belgium, December 2008. [PDF]
  2. Marcelo Finger and Renata Wassermann. Revising specifications with ctl properties using bounded model checking. In Brazilian Symposium on Artificial Intelligence (SBIA), Salvador, 2008. [PDF]
  3. Adolfo G. S. S. Neto and Marcelo Finger. A ke tableau for a logic of formal inconsistency. In Nicola Olivetti and Camilla Schwind, editors, Proceedings of TABLEAUX'07 position papers and Workshop on Agents, Logic and Theorem Proving, volume LSIS.RR.2007.002, 2007. [PDF]
  4. Marcelo Finger and Guilherme Rabello. Approximations of modal logic K. In Electronic Notes in Theoretical Computer Science, volume 143 of Proceedings of the 12th Workshop on Logic, Language, Information and Computation (WoLLIC 2005), pages 171-184, January 2006. [PDF]
  5. Fabio N. Kepler and Marcelo Finger. Comparing two markov methods for part-of-speech tagging of portuguese. In Lecture Notes in Artificial Intelligence (LNAI), volume 4140 of IBERAMIA-SBIA 2006: 2nd International Joint Conference. 10th Ibero-American Conference on AI. 18th Brazilian AI Symposium, pages 482-491. Springer, 2006. [PDF]
  6. Adolfo Gustavo Serra Seca Neto and Marcelo Finger. Effective prover for minimal inconsistency logic. In IFIP 19th World Computer Congress, TC-12 IFIP AI 2006, volume 217, pages 465-477, Santiago, Chile, 2006. IFIP International Federation for Information Processing. [PDF]
  7. Fabio N. Kepler and Marcelo Finger. Part-of-speech tagging of portuguese based on variable length markov chains. In Lecture Notes in Artificial Intelligence (LNAI), volume 3960, pages 248-251. PROPOR 2006: International Workshop on the Computational Processing of Portuguese, Springer, 2006. [PDF]
  8. Jr José de R. P. Braga, Alexandre C. T. Vidal, Fabio Kon, and Marcelo Finger. Trust in large-scale computational grids: an SPKI/SDSI extension for representing opinion. In MCG '06: Proceedings of the 4th international workshop on Middleware for grid computing, page 7, New York, NY, USA, 2006. ACM Press. doi: http://doi.acm.org/10.1145/1186675.1186683. [PDF]
  9. Marcelo Finger and Rogerio Fajardo. How not to combine modal logics. In 2nd Indian International Conference on Artificial Intelligence (IICAI-05), 2005. [PDF]
  10. Marcelo Finger and Adolfo G. S. Seca Neto. Implementing a multi-strategy theorem prover. In SBC 2005 ENIA - V Encontro Nacional de Inteligência Artificial, São Leopoldo, RS, 2005. [PDF]
  11. [PDF] Marcelo Finger and Adolfo G. S. Seca Neto. Using aspect-oriented programming in the development of a multi-strategy theorem prover. In II Jornada do Conhecimento e da Tecnologia do UNIVEM, Marília, SP, 2005. [PDF]
  12. Flavio Soares Correa da Silva, Renata Wassermann, Ana Cristina Vieira de Melo, Leliane Nunes Barros, and Marcelo Finger. Intelligent mobile multi-robotic systems: Some challenges and possible solutions. In 2nd International Conference on Informatics in Control, Automation and Robotics (ICINCO), Barcelona, Spain, 2005.
  13. Marcelo Finger. Towards polynomial approximations of full propositional logic. In Ana L. C. Bazzan and Sofiane Labidi, editors, XVII Brazilian Symposium on Artificial Intelligence (SBIA 2004), volume 3171 of Lecture Notes in Artificial Intellingence (LNAI), pages 11-20. Springer, 2004. [PDF]
  14. Marcelo Finger. Polynomial approximations of full propositional logic via limited bivalence. In 9th European Conference on Logics in Artificial Intelligence (JELIA 2004), LNAI vol. 3229, pages 526-538, 2004. [PDF]
  15. Marcelo Finger and Renata Wassermann. The universe of approximations. In Ruy de Queiroz, Elaine Pimentel, and Lucilia Figueiredo, editors, Electronic Notes in Theoretical Computer Science, volume 84, pages 1-14. Elsevier, 2003. [PDF]
  16. Eugenio Akihiro Nassu and Marcelo Finger. Consultas envolvendo "aqui" em sistemas de bancos de dados em ambientes de computação nômade. In Workshop de Computação Móvel e Comunicação Sem Fio (WCSF2003), Petrópolis, 2003. [PDF]
  17. Andrei Goldshlager, Fabio Kon, Marcelo Finger, and Alfredo Goldman. Integrade: Object-oriented grid middleware leveraging idle computindg power of desktop machines. In Proceedings of the ACM/IFIP/USENIX Middleware'2003 Workshop on Middleware for the Grid, Rio de Janeiro, 2003. [PDF]
  18. Sandra Aluizio, Marcelo Finger, Gisele Pinheiro, Maria das Graças Nunes, and Stella Tagnin. The lacio-web project: overview and issues in brazilian portuguese. In Corpus Linguistics 2003, Lancaster, 2003. [PDF]
  19. Rogerio Fajardo and Marcelo Finger. Non-normal modalisation. In Advances in Modal Logic, pages 316-325, Toulouse, 2002. [PDF]
  20. Marcelo Finger and Renata Wassermann. Expressivity and control in limited reasoning. In Frank van Harmelen, editor, 15th European Conference on Artificial Intelligence (ECAI02), pages 272-276, Lyon, France, 2002. IOS Press. [PDF]
  21. Marcelo Finger and Renata Wassermann. Logics for approximate reasoning: Approximating classical logic ``from above''. In Brazilian Symposium on Artificial Intelligence, pages 21-30, 2002. Lecture Notes in Artificial Intelligence, 2002. v.2507. [PDF]
  22. M. Finger. Algorithmic correspondence theory for substructural categorial logic. In Advances in Modal Logic, volume 3, pages 153-172. World Scientific Publishing Co, 2001. [PDF]
  23. Marcelo Finger and Renata Wassermann. Tableaux for approximate reasoning. In IJCAI-2001 Workshop on Inconsistency in Data and Knowledge, pages 71-79, 2001. [PDF]
  24. Marcelo Finger and Renata Wassermann. Approximate reasoning and paraconsistency. In 8th Workshop on Logic, Language, Information and Computation (WoLLIC'2001), pages 77-86, July 31-August 3 2001. [PDF]
  25. Marcelo Finger. Infinite SLaKE-tableaux. In 7th Workshop on Logic, Language, Information and Computation (WoLLIC2000), Natal, Brazil, 15-18 August 2000. [PDF]
  26. Marcelo Finger. Técnicas de otimização da precisão empregadas no etiquetador tycho brahe. In V Encontro para o Processamento Computacional da Língua Portuguesa Escrita e Falada (PROPOR2000), pages 141-154, Atibaia, Brazil, November 19-22 2000. [PDF]
  27. Marcelo Finger. Structural conditions for paraconsistency in kripke ternary frames. In Second World Congress on Paraconsistency (WCP2000), 2000. [PDF]
  28. M. Finger and W. Vasconcelos. Sharing resource-sensitive knowledge using combinator logics. In M. C. Monard and J. S. Sichman, editors, 15th Brazlian Symposium on AI (IBERAMIA-SBIA2000), number 1952 in LNAI, pages 196-206, Atibaia, Brazil, November 19-22 2000. [PDF]
  29. M. Finger and M. Angela Weiss. The unrestricted addition of a temporal dimension to a logic system. In 3rd International Conference on Temporal Logic (ICTL2000), Leipzig, Germany, 4-7 October 2000. [PDF]
  30. Carlos D. C. Alves and Marcelo Finger. Etiquetagem do português clássico baseada em córpora. In IV Encontro para o Processamento Computacional da Língua Portuguesa Escrita e Falada (PROPOR99), Évora, Portugal, 21-22 September 1999. [PDF]
  31. M. Finger. Tagging a morphologically rich language. In Proceeding of the first Workshop on Text, Speech and Dialogue (TSD'98), pages 39-44, Brno, Czech Republic, 1998. [PDF]
  32. M. Finger and F. S. C. da Silva. Temporal data obsolescence: Modelling problems. In Proceeding of the 5th International Workshop on Temporal Representation and Reasoning (TIME'98), Sanibel Island, Florida, 1998. IEEE Computer Science Press. [PDF]
  33. E. J. S. Mesquita and M. Finger. Projeto de dados em bancos de dados distribuídos. In XIII Simpósio Brasileiro de Banco de Dados (SBBD98), pages 87-102, 1998. [PDF]
  34. M. Finger. Structural Equations and Complex Combinators. In 4th Internation Workshop of Logic, Language, Information and Computation (WoLLIC'97), Fortaleza, Brazil, 1997.
  35. M. Finger and P. McBrien. Concurrency Control for Perceivedly Instantaneous Transactions in Valid-Time Databases. In Proceeding of the 4th International Workshop on Temporal Representation and Reasoning (TIME'97), pages 112-119, Daytona, Florida, 1997. IEEE Computer Science Press. [PDF]
  36. M. Finger and M. Reynolds. Two-dimensional executable temporal logic for bitemporal databases. In 2nd International Conference on Temporal Logic (ICTL'97), Manchester, July 1997. Kluwer. [PDF]
  37. M. Finger and P. McBrien. On the Semantics of `Current-Time' in Temporal Databases. In XI Brazilian Database Symposium (SBBD96), pages 324-337, 1996. [PDF]
  38. K. Broda and M. Finger. KE-tableaux for a fragment of linear logic. In Proceedings of the 4th International Workshop on Analytic Tableaux and Related Methods, Koblenz, May 1995.
  39. M. Finger . Notes on Several Methods for Combining Temporal Logics. In Workshop on Combining Structures, Logics and Theories, European Summer School of Logic, Language and Information (ESSLLI94). ESSLLI94, Copenhagen, 1994. [PDF]
  40. M. Finger, P. McBrien, and R. Owens. Databases and Executable Temporal Logic. In Annual Esprit Conference, pages 288-302. Comission of the European Communities, Brussels, 25-29 November 1991.
  41. M. Finger, M. Fisher, and R. Owens. METATEM at work: Modelling Reactive SystemsUsing Executable Temporal Logic. In Sixth International Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems, Edinburgh, June 1-4 1993.
  42. M. Finger and D. M. Gabbay. Updating Atomic Informations in Labelled Database Systems. In 4th International Conference on Database Theory, pages 188-200, Berlin, October 1992.

Conferences (Short)

  1. Marcelo Finger. Using abduction to compute efficient proofs. In LSFA'08: Third Workshop on Logical and Semantic Frameworks, with Applications, Salvador, 2008.
  2. Marcelo Finger. Minimality in axiomatizations: an algebraic approach. In XV Encontro Brasileiro de Lógica (EBL2008), XIV Simpósio Latino Americano de Lógica Matemática, 2008.
  3. Marcelo Finger. End the discrimination: Equal rights for the CUT. In XIV Encontro Brasileiro de Lógica (EBL2006), 2006.
  4. C. Galves H. Britto, M. Finger. Computational and linguistic aspects of the construction of the Tycho Brahe Parsed Corpus of Historical Portuguese. In 1st Freiburg Workshop on Romance Corpus Linguistics, Freiburg, Germany, 6-7 October 2000.
  5. Helena Britto and Marcelo Finger. Construction a parsed corpus of historical portuguese. In Proceedings of the International Humanities Computing Conference (ACH-ALLC'99), pages 234-236, Charlottesville, Virginia, June 9-14 1999.
  6. M. Finger. Structurally-free theorem proving and the learning of structural permissions in categorial grammar. In Proceedings of the 4th Workshop on Logical Aspects of Computational Linguistics (LACL98), 1998.
  7. M. Finger, R. Kempson, and R. Kibble. Parsing natural language using lds: A prototype. In 3rd Workshop on Logic, Language, Information and Computation (WoLLIC96), pages 25-28, 1996. Abstract Only.
  8. K. Broda, M. Finger, and A. Russo. LDS-Natural Deduction for Substructural Logics. In 3rd Workshop on Logic, Language, Information and Computation (WoLLIC96), pages 15-18, 1996. Abstract only.

Books

  1. Flavio Correa da Silva, Marcelo Finger, and Ana Cristina Vieira de Melo. Lógica para Computação. Thomson Learning, São Paulo, 2006.
  2. João Eduardo Ferreira and Marcelo Finger. Controle de Concorrência e Distribuição de Dados: A teoria clássica, suas limitações e extensões modernas. X Escola de Computação, São Paulo, 2000.
  3. D. Gabbay, M. Reynolds, and M. Finger. Temporal Logic: Mathematical Foudations and Computtional Aspects, volume 2. Oxford University Press, 2000.

Book Chapters

  1. Marcelo Finger. DAG sequent proofs with a substitution rule. In We will show Them - Essays in honour of Dov Gabbay's 60th birthday, volume volume 1, pages 671-686. S. Artemov and H. Barringer and A. S. d'Avila Garcez and L.C. Lamb and J. Woods, 2005. [PDF]
  2. Marcelo Finger. When is a substructural logic paraconsistent? structural conditions for paraconsistency in ternary frames. In Paraconsistency, the Logical Way to Inconsistency -- Essays in honour of Newton da Costa's 70th birthday, pages 353-368. Marcel Dekker, 2002. [PDF]
  3. Marcelo Finger and Renata Wassermann. Approximate reasoning. In Simpósio Brasileiro de Análise (SBA 2002). Simpósio Brasileiro de Análise, 2002.
  4. Dov Gabbay, Mark Reynolds, and Marcelo Finger. Advanced tense logic. In D.M. Gabbay and F. Guenthner, editors, Handbook of Philosophical Logic, volume 7, pages 43-204. Kluwer, second edition, 2002. [PDF]
  5. M. Finger and M. Reynolds. Imperative history: Two-dimensional executable temporal logic. In H.-J. Ohlbach and U. Reyle, editors, Logic, Language nad Reasoning -- Essays in Honour of Dov Gabbay, pages 73-98. Kluwer Academic Publishers, 1999. [PDF]

Organized Editions

  1. C. Dixon, M. Finger, M. Fisher, and M. Reynolds, editors. Special Issue on Temporal Representation and Reasoning, volume 30 of AMAI Journal. Kluwer, 2001.

Theses

  1. M. Finger. Changing the Past: Database Applications of Two-dimensional Temporal Logics. PhD thesis, Imperial College, Department of Computing, February 1994. [PDF]
  2. M. Finger. A Two Dimensional Approach to Historical Databases. Master's thesis, Department of Computing, Imperial College, 1990.
Marcelo Finger 2009-01-27