The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Marcelo Finger" ( http://dblp.L3S.de/Authors/Marcelo_Finger )

  Author page on DBLP  Author page in RDF  Community of Marcelo Finger in ASPL-2

Publication years (Num. hits)
1992-2002 (19) 2003-2006 (17) 2007-2010 (15) 2011-2014 (17) 2015-2019 (15)
Publication types (Num. hits)
article(42) inproceedings(39) proceedings(2)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 7 occurrences of 7 keywords

Results
Found 84 publication records. Showing 83 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Marcelo Finger Quantitative Logic Reasoning. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
1Marcelo Finger Extending Description Logic EL++ with Linear Constraints on the Probability of Axioms. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
1Marcelo Finger Extending $$\mathscr {E\!L}^{++}$$ with Linear Constraints on the Probability of Axioms. Search on Bibsonomy Description Logic, Theory Combination, and All That The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Fabiano Ferreira Luz, Marcelo Finger Semantic Parsing: Syntactic assurance to target sentence using LSTM Encoder CFG-Decoder. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1Fabiano Ferreira Luz, Marcelo Finger Semantic Parsing Natural Language into SPARQL: Improving Target Language Representation with Neural Attention. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1Marcelo Finger, Sandro Preto Probably Half True: Probabilistic Satisfiability over Łukasiewicz Infinitely-Valued Logic. Search on Bibsonomy IJCAR The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Marcelo Finger, Lluis Godo, Henri Prade, Guilin Qi Advances in Weighted Logics for Artificial Intelligence. Search on Bibsonomy Int. J. Approx. Reasoning The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Marcelo Finger, Glauber De Bona Algorithms for Deciding Counting Quantifiers over Unary Predicates. Search on Bibsonomy AAAI The full citation details ... 2017 DBLP  BibTeX  RDF
1Clare Dixon, Marcelo Finger (eds.) Frontiers of Combining Systems - 11th International Symposium, FroCoS 2017, Brasília, Brazil, September 27-29, 2017, Proceedings Search on Bibsonomy FroCoS The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Glauber De Bona, Marcelo Finger, Márcio Moretto Ribeiro, Yuri David Santos, Renata Wassermann Consolidating Probabilistic Knowledge Bases via Belief Contraction. Search on Bibsonomy KR The full citation details ... 2016 DBLP  BibTeX  RDF
1Glauber De Bona, Fábio Gagliardi Cozman, Marcelo Finger Generalized probabilistic satisfiability through integer programming. Search on Bibsonomy J. Braz. Comp. Soc. The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Marcelo Finger, Glauber De Bona Probabilistic satisfiability: algorithms with the presence and absence of a phase transition. Search on Bibsonomy Ann. Math. Artif. Intell. The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Glauber De Bona, Marcelo Finger Measuring inconsistency in probabilistic logic: rationality postulates and Dutch book interpretation. Search on Bibsonomy Artif. Intell. The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Marcelo Finger, Delia Kesner Special Issue: Selected papers of the 7th and 8th workshops on Logical and Semantic Frameworks with Applications (LSFA). Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Michel Oleynik, Marcelo Finger, Diogo F. C. Patrão Automated Classification of Pathology Reports. Search on Bibsonomy MedInfo The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Maribel Fernández, Marcelo Finger Preface. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Glauber De Bona, Fábio Gagliardi Cozman, Marcelo Finger Towards classifying propositional probabilistic logics. Search on Bibsonomy J. Applied Logic The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Alexandre Matos Arruda, Marcelo Finger Completeness for cut-based abduction. Search on Bibsonomy Logic Journal of the IGPL The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Marcello D'Agostino, Marcelo Finger, Dov M. Gabbay Semantics and proof-theory of depth bounded Boolean logics. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Marcelo Finger, Poliana M. Reis On the Predictability of Classical Propositional Logic. Search on Bibsonomy Information The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1William D. Colen M. Silva, Marcelo Finger Improving CoGrOO: the Brazilian Portuguese Grammar Checker. Search on Bibsonomy STIL The full citation details ... 2013 DBLP  BibTeX  RDF
1Eduardo Menezes de Morais, Marcelo Finger Probabilistic Answer Set Programming. Search on Bibsonomy BRACIS The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Glauber De Bona, Fábio Gagliardi Cozman, Marcelo Finger Generalized Probabilistic Satisfiability. Search on Bibsonomy BRACIS The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Marcelo Finger, Ronan LeBras, Carla P. Gomes, Bart Selman Solutions for Hard and Soft Constraints Using Optimized Probabilistic Satisfiability. Search on Bibsonomy SAT The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Diogo F. C. Patrão, Helena Brentani, Marcelo Finger, Renata Wassermann Ontocloud - a Clinical Information Ontology Based Data Integration System. Search on Bibsonomy ONTOBRAS The full citation details ... 2013 DBLP  BibTeX  RDF
1Adolfo Neto, Celso A. A. Kaestner, Marcelo Finger Towards an efficient prover for the C1 paraconsistent logic Search on Bibsonomy CoRR The full citation details ... 2012 DBLP  BibTeX  RDF
1Marcelo Finger Towards automated first-order abduction: the cut-based approach. Search on Bibsonomy Logic Journal of the IGPL The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Leliane 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 Search on Bibsonomy SBIA The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Anderson de Araújo, Marcelo Finger Classical and quantum satisfiability Search on Bibsonomy LSFA The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Fábio Filocomo, Marcelo Finger, Diogo F. C. Patrão Resolução da Heterogeneidade na Identificação de Pacientes (Resolution of Heterogeneity in the Identification of Patients) [in Portuguese]. Search on Bibsonomy STIL The full citation details ... 2011 DBLP  BibTeX  RDF
1Marcelo Finger, Renata Wassermann, Fábio Gagliardi Cozman Satisfiability in EL with Sets of Probabilistic ABoxes. Search on Bibsonomy Description Logics The full citation details ... 2011 DBLP  BibTeX  RDF
1Marcelo Finger, Glauber De Bona Probabilistic Satisfiability: Logic-Based Algorithms and Phase Transition. Search on Bibsonomy IJCAI The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Marcelo Finger, Germano Capistrano Bezerra, Danilo R. Conde Resource use pattern analysis for predicting resource availability in opportunistic grids. Search on Bibsonomy Concurrency and Computation: Practice and Experience The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Francisco 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. Search on Bibsonomy J. Parallel Distrib. Comput. The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Marcelo Finger Analytic Methods for the Logic of Proofs. Search on Bibsonomy J. Log. Comput. The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Marcelo Finger, Mauricio S. C. Hernandes Entailment Multipliers: An Algebraic Characterization of Validity for Classical and Modal Logics. Search on Bibsonomy WoLLIC The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Fábio Natanael Kepler, Marcelo Finger Variable-Length Markov Models and Ambiguous Words in Portuguese. Search on Bibsonomy NAACL (Young Investigators Workshop) The full citation details ... 2010 DBLP  BibTeX  RDF
1Marcelo Finger, Glauber De Bona A Refuted Conjecture on Probabilistic Satisfiability. Search on Bibsonomy SBIA The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Marcelo Finger, Glauber De Bona A Logic Based Algorithm for Solving Probabilistic Satisfiability. Search on Bibsonomy IBERAMIA The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Marcelo Finger Using Abduction to Compute Efficient Proofs. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Adolfo Neto, Celso A. A. Kaestner, Marcelo Finger Towards an Efficient Prover for the C1 Paraconsistent Logic. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Guilherme de Souza Rabello, Marcelo Finger Approximations of modal logics: K and beyond. Search on Bibsonomy Ann. Pure Appl. Logic The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Marcello D'Agostino, Marcelo Finger, Dov M. Gabbay Cut-Based Abduction. Search on Bibsonomy Logic Journal of the IGPL The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Marcelo Finger, Renata Wassermann Revising Specifications with CTL Properties Using Bounded Model Checking. Search on Bibsonomy SBIA The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Model-checking, formal specification, belief revision, CTL
1Marcelo Finger, Germano Capistrano Bezerra, Danilo R. Conde Resource use pattern analysis for opportunistic grids. Search on Bibsonomy MGC The full citation details ... 2008 DBLP  DOI  BibTeX  RDF opportunistic grids, use pattern analysis, scheduling, grid computing
1Marcelo Finger, Renata Wassermann Anytime Approximations of Classical Logic from Above. Search on Bibsonomy J. Log. Comput. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Marcelo Finger, Dov M. Gabbay Equal Rights for the Cut: Computable Non-analytic Cuts in Cut-based Proofs. Search on Bibsonomy Logic Journal of the IGPL The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Guilherme de Souza Rabello, Marcelo Finger Approximations of Modal Logic K. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Marcelo Finger, Renata Wassermann The universe of propositional approximations. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Marcelo Finger, Dov M. Gabbay Cut and Pay. Search on Bibsonomy Journal of Logic, Language and Information The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Adolfo Gustavo Serra Seca Neto, Marcelo Finger Effective Prover for Minimal Inconsistency Logic. Search on Bibsonomy IFIP AI The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Fábio Natanael Kepler, Marcelo Finger Comparing Two Markov Methods for Part-of-Speech Tagging of Portuguese. Search on Bibsonomy IBERAMIA-SBIA The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1José de R. P. Braga Jr., Alexandre Ceasar Tavares Vidal, Fabio Kon, Marcelo Finger Trust in large-scale computational grids: an SPKI/SDSI extension for representing opinion. Search on Bibsonomy MGC@Middleware The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Fábio Natanael Kepler, Marcelo Finger Part-of-Speech Tagging of Portuguese Based on Variable Length Markov Chains. Search on Bibsonomy PROPOR The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Marcelo Finger DAG Sequents with Substitution. Search on Bibsonomy We Will Show Them! (1) The full citation details ... 2005 DBLP  BibTeX  RDF
1Rogerio Fajardo, Marcelo Finger How Not to Combine Modal Logics. Search on Bibsonomy IICAI The full citation details ... 2005 DBLP  BibTeX  RDF
1Flá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. Search on Bibsonomy ICINCO The full citation details ... 2005 DBLP  BibTeX  RDF
1Andrei Goldchleger, Fabio Kon, Alfredo Goldman, Marcelo Finger, Germano Capistrano Bezerra InteGrade: object-oriented Grid middleware leveraging the idle computing power of desktop machines. Search on Bibsonomy Concurrency - Practice and Experience The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Sabine Broda, Luís Damas, Marcelo Finger, Paulo Silva e Silva The decidability of a fragment of BB'IW-logic. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Marcelo Finger, Renata Wassermann Approximate and Limited Reasoning: Semantics, Proof Theory, Expressivity and Control. Search on Bibsonomy J. Log. Comput. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Marcelo Finger Towards Polynomial Approximations of Full Propositional Logic. Search on Bibsonomy SBIA The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Marcelo Finger Polynomial Approximations of Full Propositional Logic via Limited Bivalence. Search on Bibsonomy JELIA The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Marcelo Finger, Renata Wassermann The Universe of Approximations. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Andrei Goldchleger, Fabio Kon, Alfredo Goldman, Marcelo Finger InteGrade: Object-Oriented Grid Middleware Leveraging Idle Computing Power of Desktop Machines. Search on Bibsonomy Middleware Workshops The full citation details ... 2003 DBLP  BibTeX  RDF
1Flá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. Search on Bibsonomy Knowl.-Based Syst. The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Marcelo Finger, M. Angela Weiss The Unrestricted Combination of Temporal Logic Systems. Search on Bibsonomy Logic Journal of the IGPL The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Marcelo Finger, Renata Wassermann Logics for Approximate Reasoning: Approximating Classical Logic "From Above". Search on Bibsonomy SBIA The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Marcelo Finger, Renata Wassermann Expressivity and Control in Limited Reasoning. Search on Bibsonomy ECAI The full citation details ... 2002 DBLP  BibTeX  RDF
1Rogerio Fajardo, Marcelo Finger Non-normal Modalisation. Search on Bibsonomy Advances in Modal Logic The full citation details ... 2002 DBLP  BibTeX  RDF
1Marcelo Finger A logical reconstruction of temporal databases. Search on Bibsonomy J. Log. Comput. The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1Marcelo Finger, Wamberto Weber Vasconcelos Sharing Resource-Sensitive Knowledge Using Combinator Logics. Search on Bibsonomy IBERAMIA-SBIA The full citation details ... 2000 DBLP  DOI  BibTeX  RDF resource-sensitive logics, Knowledge sharing
1Marcelo Finger Algorithmic Correspondence Theory for Substructural Categorial Logic. Search on Bibsonomy Advances in Modal Logic The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1Krysia Broda, Marcelo Finger, Alessandra Russo Labelled Natural Deduction for Substructural Logics. Search on Bibsonomy Logic Journal of the IGPL The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
1Marcelo Finger Towards Structurally-Free Theorem Proving. Search on Bibsonomy Logic Journal of the IGPL The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
1Ruy J. G. B. de Queiroz, Marcelo Finger Conference Report: Workshop on Logic, Language, Information and Computation (WoLLIC'98). Search on Bibsonomy Logic Journal of the IGPL The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
1Marcelo Finger Computational Solutions for Structural Constraints. Search on Bibsonomy LACL The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
1Marcelo Finger, Flávio S. Corrêa da Silva Temporal Data Obsolescence: Modelling Problems. Search on Bibsonomy TIME The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
1Marcelo Finger, Rodger Kibble, Dov M. Gabbay, Ruth Kempson Parsing Natural Language using LDS: A Prototype. Search on Bibsonomy Logic Journal of the IGPL The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
1Marcelo Finger, Peter McBrien Concurrency Control for Perceivedly Instantaneous Transactions in Valid-Time Databases. Search on Bibsonomy TIME The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
1Marcelo Finger, Dov M. Gabbay Combining Temporal Logic Systems. Search on Bibsonomy Notre Dame Journal of Formal Logic The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
1Marcelo Finger Handling database updates in two-dimensional temporal logic. Search on Bibsonomy Journal of Applied Non-Classical Logics The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
1Marcelo Finger, Dov M. Gabbay Adding a temporal dimension to a logic system. Search on Bibsonomy Journal of Logic, Language and Information The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
1Marcelo Finger, Dov M. Gabbay Updating Atomic Information in Labelled Database Systems. Search on Bibsonomy ICDT The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #83 of 83 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license