Marcelo Finger

Available identifiers

zbMath Open finger.marceloMaRDI QIDQ385020

List of research outcomes

Publication	Date of Publication	Type
Proving properties of binary classification neural networks via Łukasiewicz logic	2024-02-20	Paper
Efficient representation of piecewise linear functions into Łukasiewicz logic modulo satisfiability	2023-04-19	Paper
https://portal.mardi4nfdi.de/entity/Q5100773	2022-09-01	Paper
https://portal.mardi4nfdi.de/entity/Q5858678	2021-04-14	Paper
An efficient algorithm for representing piecewise linear functions into logic	2021-02-22	Paper
Probably partially true: satisfiability for Łukasiewicz infinitely-valued probabilistic logic and related topics	2020-11-02	Paper
Quantitative Logic Reasoning	2020-08-06	Paper
Extending \(\mathcal{EL}^{++}\) with linear constraints on the probability of axioms	2020-06-04	Paper
https://portal.mardi4nfdi.de/entity/Q5226738	2019-08-01	Paper
Probably half true: probabilistic satisfiability over Łukasiewicz infinitely-valued logic	2018-10-18	Paper
Probabilistic satisfiability: algorithms with the presence and absence of a phase transition	2016-01-28	Paper
Measuring inconsistency in probabilistic logic: rationality postulates and Dutch book interpretation	2015-12-21	Paper
Using Abduction to Compute Efficient Proofs	2015-03-18	Paper
Completeness for cut-based abduction	2015-02-27	Paper
Towards an Efficient Prover for the <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" altimg="si1.gif" overflow="scroll"><mml:msub><mml:mi>C</mml:mi><mml:mn>1</mml:mn></mml:msub></mml:math> Paraconsistent Logic	2014-07-23	Paper
Towards classifying propositional probabilistic logics	2014-07-07	Paper
Semantics and proof-theory of depth bounded Boolean logics	2013-11-29	Paper
Solutions for Hard and Soft Constraints Using Optimized Probabilistic Satisfiability	2013-08-05	Paper
The Universe of Approximations	2013-06-06	Paper
https://portal.mardi4nfdi.de/entity/Q4918401	2013-04-24	Paper
Towards automated first-order abduction: the cut-based approach	2012-09-06	Paper
Application execution management on the integrade opportunistic grid middleware	2012-03-07	Paper
https://portal.mardi4nfdi.de/entity/Q3007263	2011-06-21	Paper
Entailment Multipliers: An Algebraic Characterization of Validity for Classical and Modal Logics	2010-09-29	Paper
Analytic Methods for the Logic of Proofs	2010-02-19	Paper
Cut-Based Abduction	2009-01-21	Paper
Approximations of modal logics: \(\mathbf K\) and beyond	2008-03-28	Paper
Equal Rights for the Cut: Computable Non-analytic Cuts in Cut-based Proofs	2008-01-18	Paper
Anytime Approximations of Classical Logic from Above	2007-05-14	Paper
Cut and pay	2006-11-17	Paper
Logics in Artificial Intelligence	2006-10-25	Paper
The universe of propositional approximations	2006-04-28	Paper
Advances in Artificial Intelligence – SBIA 2004	2005-08-22	Paper
https://portal.mardi4nfdi.de/entity/Q5465437	2005-08-22	Paper
Approximate and Limited Reasoning: Semantics, Proof Theory, Expressivity and Control	2004-10-15	Paper
The decidability of a fragment of \(\text{BB}'\text{IW}\)-logic	2004-08-10	Paper
https://portal.mardi4nfdi.de/entity/Q4471863	2004-07-30	Paper
https://portal.mardi4nfdi.de/entity/Q4437965	2003-12-08	Paper
https://portal.mardi4nfdi.de/entity/Q4430398	2003-10-09	Paper
The Unrestricted Combination of Temporal Logic Systems	2002-08-08	Paper
https://portal.mardi4nfdi.de/entity/Q2762867	2002-01-13	Paper
https://portal.mardi4nfdi.de/entity/Q4440570	2002-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q2753192	2001-10-29	Paper
A logical reconstruction of temporal databases	2001-01-29	Paper
https://portal.mardi4nfdi.de/entity/Q4952322	2000-05-09	Paper
https://portal.mardi4nfdi.de/entity/Q4946222	2000-03-22	Paper
Labelled natural deduction for substructural logics	2000-01-11	Paper
Towards structurally-free theorem proving	1999-02-22	Paper
Parsing natural language using LDS: a prototype	1998-03-12	Paper
Combining temporal logic systems	1997-03-11	Paper
Adding a temporal dimension to a logic system	1994-11-03	Paper
Handling database updates in two-dimensional temporal logic	1994-02-01	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Marcelo Finger