Marcelo Finger

According to our database1, Marcelo Finger authored at least 81 papers between 1992 and 2019.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2019
Extending Description Logic EL++ with Linear Constraints on the Probability of Axioms.
CoRR, 2019

Quantitative Logic Reasoning.
CoRR, 2019

Extending $$\mathscr {E\!L}^{++}$$ with Linear Constraints on the Probability of Axioms.
Proceedings of the Description Logic, Theory Combination, and All That, 2019

2018
Semantic Parsing: Syntactic assurance to target sentence using LSTM Encoder CFG-Decoder.
CoRR, 2018

Semantic Parsing Natural Language into SPARQL: Improving Target Language Representation with Neural Attention.
CoRR, 2018

Probably Half True: Probabilistic Satisfiability over Łukasiewicz Infinitely-Valued Logic.
Proceedings of the Automated Reasoning - 9th International Joint Conference, 2018

2017
Advances in Weighted Logics for Artificial Intelligence.
Int. J. Approx. Reason., 2017

Algorithms for Deciding Counting Quantifiers over Unary Predicates.
Proceedings of the Thirty-First AAAI Conference on Artificial Intelligence, 2017

2016
Consolidating Probabilistic Knowledge Bases via Belief Contraction.
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Fifteenth International Conference, 2016

2015
Special Issue: Selected papers of the 7th and 8th workshops on Logical and Semantic Frameworks with Applications (LSFA).
Theor. Comput. Sci., 2015

Generalized probabilistic satisfiability through integer programming.
J. Braz. Comp. Soc., 2015

Probabilistic satisfiability: algorithms with the presence and absence of a phase transition.
Ann. Math. Artif. Intell., 2015

Measuring inconsistency in probabilistic logic: rationality postulates and Dutch book interpretation.
Artif. Intell., 2015

Automated Classification of Pathology Reports.
Proceedings of the MEDINFO 2015: eHealth-enabled Health, 2015

2014
Towards classifying propositional probabilistic logics.
J. Appl. Log., 2014

Completeness for cut-based abduction.
Logic Journal of the IGPL, 2014

2013
Semantics and proof-theory of depth bounded Boolean logics.
Theor. Comput. Sci., 2013

On the Predictability of Classical Propositional Logic.
Information, 2013

Preface.
Proceedings of the 8th Workshop on Logical and Semantic Frameworks, 2013

Improving CoGrOO: the Brazilian Portuguese Grammar Checker.
Proceedings of the 9th Brazilian Symposium in Information and Human Language Technology, 2013

Solutions for Hard and Soft Constraints Using Optimized Probabilistic Satisfiability.
Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2013, 2013

Ontocloud - a Clinical Information Ontology Based Data Integration System.
Proceedings of the 6th Seminar on Ontology Research in Brazil, 2013

Probabilistic Answer Set Programming.
Proceedings of the Brazilian Conference on Intelligent Systems, 2013

Generalized Probabilistic Satisfiability.
Proceedings of the Brazilian Conference on Intelligent Systems, 2013

2012
Towards automated first-order abduction: the cut-based approach.
Logic Journal of the IGPL, 2012

Towards an efficient prover for the C1 paraconsistent logic
CoRR, 2012

2011
Classical and quantum satisfiability
Proceedings of the Proceedings 6th Workshop on Logical and Semantic Frameworks with Applications, 2011

Resolução da Heterogeneidade na Identificação de Pacientes (Resolution of Heterogeneity in the Identification of Patients) [in Portuguese].
Proceedings of the 8th Brazilian Symposium in Information and Human Language Technology, 2011

Probabilistic Satisfiability: Logic-Based Algorithms and Phase Transition.
Proceedings of the IJCAI 2011, 2011

Satisfiability in EL with Sets of Probabilistic ABoxes.
Proceedings of the 24th International Workshop on Description Logics (DL 2011), 2011

2010
Analytic Methods for the Logic of Proofs.
J. Log. Comput., 2010

Application execution management on the InteGrade opportunistic grid middleware.
J. Parallel Distributed Comput., 2010

Resource use pattern analysis for predicting resource availability in opportunistic grids.
Concurrency and Computation: Practice and Experience, 2010

Entailment Multipliers: An Algebraic Characterization of Validity for Classical and Modal Logics.
Proceedings of the Logic, 2010

A Refuted Conjecture on Probabilistic Satisfiability.
Proceedings of the Advances in Artificial Intelligence - SBIA 2010, 2010

Variable-Length Markov Models and Ambiguous Words in Portuguese.
Proceedings of the NAACL HLT 2010 Young Investigators Workshop on Computational Approaches to Languages of the Americas, 2010

A Logic Based Algorithm for Solving Probabilistic Satisfiability.
Proceedings of the Advances in Artificial Intelligence, 2010

2009
Towards an Efficient Prover for the C1 Paraconsistent Logic.
Proceedings of the Fourth Workshop on Logical and Semantic Frameworks, with Applications, 2009

2008
Cut-Based Abduction.
Logic Journal of the IGPL, 2008

Using Abduction to Compute Efficient Proofs.
Proceedings of the Third Workshop on Logical and Semantic Frameworks with Applications, 2008

Approximations of modal logics: K and beyond.
Ann. Pure Appl. Log., 2008

Revising Specifications with CTL Properties Using Bounded Model Checking.
Proceedings of the Advances in Artificial Intelligence, 2008

Resource use pattern analysis for opportunistic grids.
Proceedings of the 6th International Workshop on Middleware for Grid Computing (MGC 2008), 2008

2007
Anytime Approximations of Classical Logic from Above.
J. Log. Comput., 2007

Equal Rights for the Cut: Computable Non-analytic Cuts in Cut-based Proofs.
Logic Journal of the IGPL, 2007

2006
The universe of propositional approximations.
Theor. Comput. Sci., 2006

Cut and Pay.
Journal of Logic, Language and Information, 2006

Approximations of Modal Logic K.
Electron. Notes Theor. Comput. Sci., 2006

Part-of-Speech Tagging of Portuguese Based on Variable Length Markov Chains.
Proceedings of the Computational Processing of the Portuguese Language, 2006

Trust in large-scale computational grids: an SPKI/SDSI extension for representing opinion.
Proceedings of the 4th international workshop on Middleware for grid computing, 2006

Effective Prover for Minimal Inconsistency Logic.
Proceedings of the Artificial Intelligence in Theory and Practice, 2006

Comparing Two Markov Methods for Part-of-Speech Tagging of Portuguese.
Proceedings of the Advances in Artificial Intelligence, 2006

2005
How Not to Combine Modal Logics.
Proceedings of the 2nd Indian International Conference on Artificial Intelligence, 2005

Intelligent mobile multi-robotic systems: some challenges and possible solutions.
Proceedings of the ICINCO 2005, 2005

DAG Sequents with Substitution.
Proceedings of the We Will Show Them! Essays in Honour of Dov Gabbay, Volume One, 2005

2004
The decidability of a fragment of BB'IW-logic.
Theor. Comput. Sci., 2004

Approximate and Limited Reasoning: Semantics, Proof Theory, Expressivity and Control.
J. Log. Comput., 2004

InteGrade: object-oriented Grid middleware leveraging the idle computing power of desktop machines.
Concurrency - Practice and Experience, 2004

Towards Polynomial Approximations of Full Propositional Logic.
Proceedings of the Advances in Artificial Intelligence - SBIA 2004, 17th Brazilian Symposium on Artificial Intelligence, São Luis, Maranhão, Brazil, September 29, 2004

Polynomial Approximations of Full Propositional Logic via Limited Bivalence.
Proceedings of the Logics in Artificial Intelligence, 9th European Conference, 2004

2003
The Universe of Approximations.
Electron. Notes Theor. Comput. Sci., 2003

InteGrade: Object-Oriented Grid Middleware Leveraging Idle Computing Power of Desktop Machines.
Proceedings of the International Middleware Conference, 2003

2002
On the insufficiency of ontologies: problems in knowledge sharing and alternative solutions.
Knowl. Based Syst., 2002

The Unrestricted Combination of Temporal Logic Systems.
Logic Journal of the IGPL, 2002

Logics for Approximate Reasoning: Approximating Classical Logic "From Above".
Proceedings of the Advances in Artificial Intelligence, 2002

Expressivity and Control in Limited Reasoning.
Proceedings of the 15th Eureopean Conference on Artificial Intelligence, 2002

Non-normal Modalisation.
Proceedings of the Advances in Modal Logic 4, papers from the fourth conference on "Advances in Modal logic," held in Toulouse, France, 30 September, 2002

2000
A logical reconstruction of temporal databases.
J. Log. Comput., 2000

Sharing Resource-Sensitive Knowledge Using Combinator Logics.
Proceedings of the Advances in Artificial Intelligence, 2000

Algorithmic Correspondence Theory for Substructural Categorial Logic.
Proceedings of the Advances in Modal Logic 3, 2000

1999
Labelled Natural Deduction for Substructural Logics.
Logic Journal of the IGPL, 1999

1998
Conference Report: Workshop on Logic, Language, Information and Computation (WoLLIC'98).
Logic Journal of the IGPL, 1998

Towards Structurally-Free Theorem Proving.
Logic Journal of the IGPL, 1998

Temporal Data Obsolescence: Modelling Problems.
Proceedings of the 5th Workshop on Temporal Representation and Reasoning, 1998

Computational Solutions for Structural Constraints.
Proceedings of the Logical Aspects of Computational Linguistics, 1998

1997
Parsing Natural Language using LDS: A Prototype.
Logic Journal of the IGPL, 1997

Concurrency Control for Perceivedly Instantaneous Transactions in Valid-Time Databases.
Proceedings of the 4th International Workshop on Temporal Representation and Reasoning, 1997

1996
Combining Temporal Logic Systems.
Notre Dame Journal of Formal Logic, 1996

1992
Adding a temporal dimension to a logic system.
Journal of Logic, Language and Information, 1992

Handling database updates in two-dimensional temporal logic.
Journal of Applied Non-Classical Logics, 1992

Updating Atomic Information in Labelled Database Systems.
Proceedings of the Database Theory, 1992


  Loading...