João Marcos - RankMe

52 papers A 2B 2C 4Journal 28Unranked 11

Year	Rank	Type	Title / Venue / Authors
2024	J	`jnl`	Adding an implication to logics of perfect paradefinite algebras. Math. Struct. Comput. Sci. Vitor Greati, Sérgio Marcelino, João Marcos, Umberto Rivieccio
2023	J	`jnl`	Adding an Implication to Logics of Perfect Paradefinite Algebras. CoRR Vitor Greati, Sérgio Marcelino, João Marcos, Umberto Rivieccio
2023	—	`ed.`	Proceedings 11th International Workshop on Theorem Proving Components for Educational Software, ThEdu@FLoC 2022, Haifa, Israel, 11 August 2022. ThEdu@FLoC Pedro Quaresma, João Marcos, Walther Neuper
2022	A	`conf`	Finite Two-Dimensional Proof Systems for Non-finitely Axiomatizable Logics. IJCAR Vitor Greati, João Marcos
2022	J	`jnl`	Finite two-dimensional proof systems for non-finitely axiomatizable logics. CoRR Vitor Greati, João Marcos
2022	—	`ed.`	Proceedings 10th International Workshop on Theorem Proving Components for Educational Software, ThEdu@CADE 2021, (Remote) Carnegie Mellon University, Pittsburgh, PA, United States, 11 July 2021. ThEdu@CADE João Marcos, Walther Neuper, Pedro Quaresma
2021	—	`conf`	On Logics of Perfect Paradefinite Algebras. LSFA Joel Gomes, Vitor Greati, Sérgio Marcelino, João Marcos, Umberto Rivieccio
2021	B	`conf`	Proof Search on Bilateralist Judgments over Non-deterministic Semantics. TABLEAUX Vitor Greati, Sérgio Marcelino, João Marcos
2021	J	`jnl`	Proof Search on Bilateralist Judgments over Non-deterministic Semantics. CoRR Vitor Greati, Sérgio Marcelino, João Marcos
2021	J	`jnl`	What is a logical theory? On theories containing assertions and denials. Synth. Carolina Blasio, Carlos Caleiro, João Marcos
2020	J	`jnl`	Nelson's logic ℒ. Log. J. IGPL Thiago Nascimento, Umberto Rivieccio, João Marcos, Matthew Spinks
2020	—	`ed.`	Proceedings 8th International Workshop on Theorem Proving Components for Educational Software, ThEdu@CADE 2019, Natal, Brazil, 25th August 2019. ThEdu@CADE Pedro Quaresma, Walther Neuper, João Marcos
2020	—	`ed.`	Proceedings 9th International Workshop on Theorem Proving Components for Educational Software, ThEdu@IJCAR 2020, Paris, France, 29th June 2020. ThEdu@IJCAR Pedro Quaresma, Walther Neuper, João Marcos
2020	—	`ed.`	Proceedings of the 14th Workshop on Logical and Semantic Frameworks with Applications, LSFA 2019, Natal, Brazil, August, 2019 LSFA Amy P. Felty, João Marcos
2019	J	`jnl`	Combining fragments of classical logic: When are interaction principles needed? Soft Comput. Carlos Caleiro, Sérgio Marcelino, João Marcos
2019	J	`jnl`	Correction to: Sequent Systems for Negative Modalities. Logica Universalis Ori Lahav, João Marcos, Yoni Zohar
2019	—	`conf`	Fuzzy Bi-implications Generated by t-norms and Fuzzy Negations. IFSA/NAFIPS Antonio Diego Silva Farias, Claudio Callejas, João Marcos, Benjamín R. C. Bedregal, Regivan H. N. Santiago
2019	J	`jnl`	On Herbrand's Theorem for Hybrid Logic. FLAP Diana Costa, Manuel A. Martins, João Marcos
2019	—	`conf`	Preface. LSFA Amy P. Felty, João Marcos
2019	J	`jnl`	Semi-BCI Algebras. J. Multiple Valued Log. Soft Comput. Regivan H. N. Santiago, Benjamín R. C. Bedregal, João Marcos, Carlos Caleiro, Jocivania Pinheiro
2018	C	`conf`	Algebraic Semantics for Nelson's Logic WoLLIC Thiago Nascimento, Umberto Rivieccio, João Marcos, Matthew Spinks
2018	J	`jnl`	Brasilia Spring on Automated Reasoning. ACM SIGLOG News Cláudia Nalon, Daniele Nantes Sobrinho, Elaine Pimentel, João Marcos
2018	J	`jnl`	Combining fragments of classical logic: When are interaction principles needed? CoRR Carlos Caleiro, Sérgio Marcelino, João Marcos
2018	J	`jnl`	Semi-BCI Algebras. CoRR Regivan H. N. Santiago, Benjamín R. C. Bedregal, João Marcos, Carlos Caleiro, Jocivania Pinheiro
2017	—	`conf`	Merging Fragments of Classical Logic. FroCoS Carlos Caleiro, Sérgio Marcelino, João Marcos
2017	J	`jnl`	Merging fragments of classical logic. CoRR Carlos Caleiro, Sérgio Marcelino, João Marcos
2017	J	`jnl`	Sequent Systems for Negative Modalities. Logica Universalis Ori Lahav, João Marcos, Yoni Zohar
2017	J	`jnl`	Sequent systems for negative modalities. CoRR Ori Lahav, João Marcos, Yoni Zohar
2016	B	`conf`	It ain't necessarily so: Basic sequent systems for negative modalities. Advances in Modal Logic Ori Lahav, João Marcos, Yoni Zohar
2016	J	`jnl`	It ain't necessarily so: Basic sequent systems for negative modalities. CoRR Ori Lahav, João Marcos, Yoni Zohar
2015	J	`jnl`	Bivalent semantics, generalized compositionality and analytic classic-like tableaux for finite-valued logics. Theor. Comput. Sci. Carlos Caleiro, João Marcos, Marco Volpe
2015	J	`jnl`	Fail better: What formalized math can teach us about learning. CoRR João Marcos
2015	J	`jnl`	TryLogic tutorial: an approach to Learning Logic by proving and refuting. CoRR Patrick Terrematte, João Marcos
2014	J	`jnl`	Bivalent semantics, generalized compositionality and analytic classic-like tableaux for finite-valued logics. CoRR Carlos Caleiro, João Marcos, Marco Volpe
2014	A	`conf`	Clausal Resolution for Modal Logics of Confluence. IJCAR Cláudia Nalon, João Marcos, Clare Dixon
2014	J	`jnl`	Clausal Resolution for Modal Logics of Confluence. CoRR Cláudia Nalon, João Marcos, Clare Dixon
2013	—	`conf`	Negative Modalities, Consistency and Determinedness. IMLA@UNILOG Adriano Dodó, João Marcos
2013	—	`conf`	On classic-like fuzzy modal logics. IFSA/NAFIPS Adriano Dodó, João Marcos, Flaulles Boone Bergamaschi
2012	C	`conf`	Classic-Like Cut-Based Tableau Systems for Finite-Valued Logics. WoLLIC Marco Volpe, João Marcos, Carlos Caleiro
2012	J	`jnl`	Many-valuedness Meets Bivalence: Using Logical Values in an EffectiveWay. J. Multiple Valued Log. Soft Comput. Carlos Caleiro, João Marcos
2012	C	`conf`	On Some Subclasses of the Fodor-Roubens Fuzzy Bi-implication. WoLLIC Claudio Callejas, João Marcos, Benjamín René Callejas Bedregal
2011	—	`conf`	Logicamente: A Virtual Learning Environment for Logic Based on Learning Objects. TICTTL Patrick Terrematte, Fabrício Costa, João Marcos
2010	—	`conf`	Two Many Values: An Algorithmic Outlook on Suszko's Thesis. ISMVL Carlos Caleiro, João Marcos
2009	—	`conf`	Automatic Generation of Proof Tactics for Finite-Valued Logics RULE João Marcos
2009	C	`conf`	Classic-Like Analytic Tableaux for Finite-Valued Logics. WoLLIC Carlos Caleiro, João Marcos
2009	J	`jnl`	What is a Non-truth-functional Logic? Stud Logica João Marcos
2008	J	`jnl`	Possible-translations semantics for some weak classically-based paraconsistent logics. J. Appl. Non Class. Logics João Marcos
2008	—	`conf`	Towards Fully Automated Axiom Extraction for Finite-Valued Logics. PAAR/ESHOL João Marcos, Dalmo Mendonca
2005	J	`jnl`	A Paraconsistent Decagon. J. Appl. Log. João Marcos, Diderik Batens, Walter Alexandre Carnielli
2005	J	`jnl`	On negation: Pure local rules. J. Appl. Log. João Marcos
2002	—	`conf`	A Logical Framework for Integrating Inconsistent Information in Multiple Databases. FoIKS Sandra de Amo, Walter Alexandre Carnielli, João Marcos
1999	J	`jnl`	Limits for Paraconsistent Calculi. Notre Dame J. Formal Log. Walter Alexandre Carnielli, João Marcos