Copertina

Paraconsistent-Lib: an intuitive PAL2v algorithm Python Library

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Junior, Arnaldo de Carvalho, da Cruz, Diego Oliveira, Alves, Bruno da Silva, Junior, Fernando da Silva Paulo, Filho, João Inacio da Silva
Natura:	Preprint
Pubblicazione:	2025
Soggetti:	Artificial Intelligence Logic in Computer Science
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Abductive Reasoning in a Paraconsistent Framework
di: Bienvenu, Meghyn, et al.
Pubblicazione: (2024)

Queries With Exact Truth Values in Paraconsistent Description Logics
di: Bienvenu, Meghyn, et al.
Pubblicazione: (2024)

From logic to profit: a reflection on the applicability of service-dominant logic to the hotel industry
di: Jefferson Oliveira da Silva-Lacerda
Pubblicazione: (2018)

Paraconsistent Existential Graphs Gamma Peirce System
di: Sierra-Aristizabal, Manuel
Pubblicazione: (2023)

Automated Process Planning Based on a Semantic Capability Model and SMT
di: Köcher, Aljosha, et al.
Pubblicazione: (2023)

Paraconsistent Constructive Modal Logic
di: Gao, Han, et al.
Pubblicazione: (2025)

Paraconsistent Relations as a Variant of Kleene Algebras
di: Cunha, Juliana, et al.
Pubblicazione: (2025)

Efficient & Correct Predictive Equivalence for Decision Trees
di: Marques-Silva, Joao, et al.
Pubblicazione: (2025)

Vulnerability and socio-ecological risks: an integrated perspective of risks in Guaratiba (Rio de Janeiro - Brazil)
di: Maria Luciene da Silva Lima
Pubblicazione: (2021)

Branch Sequentialization in Quantum Polytime
di: Hainry, Emmanuel, et al.
Pubblicazione: (2024)

TaoBench: Do Automated Theorem Prover LLMs Generalize Beyond MathLib?
di: Taylor, Alexander K, et al.
Pubblicazione: (2026)

On Trustworthy Rule-Based Models and Explanations
di: Siala, Mohamed, et al.
Pubblicazione: (2025)

On Universally Free First-Order Extensions of Belnap-Dunn's Four-Valued Logic and Nelson's Paraconsistent Logic N4
di: Antunes, Henrique, et al.
Pubblicazione: (2024)

PERCEPTIONS AND PRACTICES OF TEACHERS WORKING IN PUBLIC SCHOOLS IN MINAS GERAIS REGARDING THE CONTRIBUTIONS OF OUT-OF-SCHOOL VISITS TO THE INTEGRAL EDUCATION OF STUDENTS
di: Pires, Bruno Inácio da Silva, et al.
Pubblicazione: (2025)

Paraconsistent Semantics for Extended Fuzzy Logic Programs via Approximation Fixpoint Theory [Extended Version]
di: Kettmann, Pascal, et al.
Pubblicazione: (2026)

On forcing axioms and weakenings of the Axiom of Choice
di: Bomfim, Diego Lima, et al.
Pubblicazione: (2024)

Comparing Neural Network Encodings for Logic-based Explainability
di: Carvalho, Levi Cordeiro, et al.
Pubblicazione: (2025)

Generalizing Logic-based Explanations for Machine Learning Classifiers via Optimization
di: Filho, Francisco Mateus Rocha, et al.
Pubblicazione: (2026)

C-Causal Blindness
di: de Carvalho, Gonçalo Hora
Pubblicazione: (2022)

Most General Explanations of Tree Ensembles (Extended Version)
di: Izza, Yacine, et al.
Pubblicazione: (2025)

Rigorous Explanations for Tree Ensembles
di: Izza, Yacine, et al.
Pubblicazione: (2026)

Logic-based Explanations for Linear Support Vector Classifiers with Reject Option
di: Filho, Francisco Mateus Rocha, et al.
Pubblicazione: (2024)

An Incremental MaxSAT-based Model to Learn Interpretable and Balanced Classification Rules
di: Júnior, Antônio Carlos Souza Ferreira, et al.
Pubblicazione: (2024)

Paraconsistent logic and query answering in inconsistent databases
di: Middelburg, C. A.
Pubblicazione: (2022)

Regularity estimates for quasilinear elliptic PDEs in non-divergence form with Hamiltonian terms and applications
di: Bessa, Junior da Silva, et al.
Pubblicazione: (2025)

How should I compute my candidates? A taxonomy and classification of diagnosis computation algorithms
di: Rodler, Patrick
Pubblicazione: (2022)

VIABILIDADE DE ESTABELECIMENTOS AGRÍCOLAS DE REFORMA AGRÁRIA EM ÁREA PERIURBANA NA AMAZÔNIA ORIENTAL
di: Bruno Ribeiro da Silva Júnior
Pubblicazione: (2015)

EXPERIÊNCIAS DE JOVENS POBRES PARTICIPANTES DE PROGRAMAS DE APRENDIZAGEM PROFISSIONAL
di: Paulo Roberto da Silva Junior
Pubblicazione: (2016)

POR UM COTIDIANO ESCOLAR TRANSGRESSIVO: QUANDO CORPOS TRANS INTERROGAM AS PRÁTICAS CURRICULARES
di: Paulo Melgaço da Silva Junior
Pubblicazione: (2019)

NARRATIVAS EM PRIMEIRA PESSOA: EXPERIÊNCIAS DOCENTES, GÊNERO E SEXUALIDADES
di: Paulo Melgaço da Silva Junior
Pubblicazione: (2017)

Atenção!!! Homens trabalhando: um olhar sobre masculinidades negras na pornografia gay hardcore brasileira
di: Paulo Melgaço da Silva Junior
Pubblicazione: (2023)

A EDUCAÇÃO PARA O TRABALHO NOS SISTEMAS PRISIONAIS PAULISTAS
di: João Ferreira da Silva Junior
Pubblicazione: (2020)

Tissue oxygen saturation assessment during claudication symptoms in patients with peripheral arterial disease
di: João Antônio da Silva Junior
Pubblicazione: (2015)

Adoecimento mental incapacitante: benefícios previdenciários no Brasil entre 2008-2011
di: João Silvestre da Silva-Junior
Pubblicazione: (2014)

Caracterização do nexo técnico epidemiológico pela perícia médica previdenciária nos benefícios auxílio-doença
di: João Silvestre da Silva-Junior
Pubblicazione: (2014)

A escola vai ao museu(!)(?): um olhar de coordenadores pedagógicos e da gestão educacional de Uberaba, Minas Gerais
di: Bruno Inácio da Silva Pires
Pubblicazione: (2022)

Fibred sets within a predicative and constructive effective topos
di: Cioffo, Cipriano Junior, et al.
Pubblicazione: (2024)

Application of Attention Mechanism with Bidirectional Long Short-Term Memory (BiLSTM) and CNN for Human Conflict Detection using Computer Vision
di: Farias, Erick da Silva, et al.
Pubblicazione: (2025)

First Order Logic with Fuzzy Semantics for Describing and Recognizing Nerves in Medical Images
di: Bloch, Isabelle, et al.
Pubblicazione: (2025)

Policy-Adaptable Methods For Resolving Normative Conflicts Through Argumentation and Graph Colouring
di: Joyce, Johnny
Pubblicazione: (2025)