Image de couverture de livre

Factorizing formal contexts from closures of necessity operators

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Aragón, Roberto G., Medina, Jesús, Ramírez-Poussa, Eloísa
Format:	Preprint
Publié:	2026
Sujets:	Artificial Intelligence Logic in Computer Science
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

Entailment vs. Verification for Partial-assignment Satisfiability and Enumeration
par: Sebastiani, Roberto
Publié: (2025)

Application of AI to formal methods - an analysis of current trends
par: Stock, Sebastian, et autres
Publié: (2024)

$O_2$ is a multiple context-free grammar: an implementation-, formalisation-friendly proof
par: Caminati, Marco B.
Publié: (2024)

Explaining Bayesian Networks in Natural Language using Factor Arguments. Evaluation in the medical domain
par: Sevilla, Jaime, et autres
Publié: (2024)

The logic of KM belief update is contained in the logic of AGM belief revision
par: Bonanno, Giacomo
Publié: (2026)

First Order Logic with Fuzzy Semantics for Describing and Recognizing Nerves in Medical Images
par: Bloch, Isabelle, et autres
Publié: (2025)

Abductive Reasoning in a Paraconsistent Framework
par: Bienvenu, Meghyn, et autres
Publié: (2024)

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

Dynamic Logic of Trust-Based Beliefs
par: Jiang, Junli, et autres
Publié: (2025)

Similarity-based analogical proportions
par: Antić, Christian
Publié: (2024)

An Automated Theorem Generator with Theoretical Foundation Based on Rectangular Standard Contradiction
par: Xu, Yang, et autres
Publié: (2025)

The mechanization of science illustrated by the Lean formalization of the multi-graded Proj construction
par: Mayeux, Arnaud, et autres
Publié: (2025)

Canonical Decision Diagrams Modulo Theories
par: Michelutti, Massimo, et autres
Publié: (2024)

Decomposition of contexts into independent subcontexts based on thresholds
par: Aragón, Roberto G., et autres
Publié: (2026)

Queries With Exact Truth Values in Paraconsistent Description Logics
par: Bienvenu, Meghyn, et autres
Publié: (2024)

Constructive Interpolation and Concept-Based Beth Definability for Description Logics via Sequents
par: Lyon, Tim S., et autres
Publié: (2024)

On Probabilistic and Causal Reasoning with Summation Operators
par: Ibeling, Duligur, et autres
Publié: (2024)

Defining implication relation for classical logic
par: Fu, Li
Publié: (2013)

Counting Worlds Branching Time Semantics for post-hoc Bias Mitigation in generative AI
par: Buda, Alessandro G., et autres
Publié: (2026)

Iterated belief revision: from postulates to abilities
par: Liberatore, Paolo
Publié: (2025)

The Boolean Solution Problem from the Perspective of Predicate Logic -- Extended Version
par: Wernhard, Christoph
Publié: (2017)

MSC-180: A Benchmark for Automated Formal Theorem Proving from Mathematical Subject Classification
par: Li, Sirui, et autres
Publié: (2025)

Independent subcontexts and blocks of concept lattices. Definitions and relationships to decompose fuzzy contexts
par: Aragón, Roberto G., et autres
Publié: (2026)

Learn from Failure: Fine-Tuning LLMs with Trial-and-Error Data for Intuitionistic Propositional Logic Proving
par: An, Chenyang, et autres
Publié: (2024)

Matrix Factorization for Inferring Associations and Missing Links
par: Barron, Ryan, et autres
Publié: (2025)

Bringing closure to theory combination properties
par: Toledo, Guilherme V., et autres
Publié: (2026)

Analogical proportions II
par: Antić, Christian
Publié: (2024)

MacroSwarm: A Field-based Compositional Framework for Swarm Programming
par: Aguzzi, Gianluca, et autres
Publié: (2024)

LTLGuard: Formalizing LTL Specifications with Compact Language Models and Lightweight Symbolic Reasoning
par: Andresel, Medina, et autres
Publié: (2026)

Incremental Neural Network Verification via Learned Conflicts
par: Elsaleh, Raya, et autres
Publié: (2026)

Applications of Intuitionistic Temporal Logic to Temporal Answer Set Programming
par: Cabalar, Pedro, et autres
Publié: (2026)

Substrate Stability Under Persistent Disagreement: Structural Constraints for Neutral Ontological Substrates
par: Case, Denise M.
Publié: (2026)

Inferring Causal Graph Temporal Logic Formulas to Expedite Reinforcement Learning in Temporally Extended Tasks
par: Aria, Hadi Partovi, et autres
Publié: (2026)

On the Trap Space Semantics of Normal Logic Programs
par: Trinh, Van-Giang, et autres
Publié: (2026)

Propositional Abduction via Only-Knowing: A Non-Monotonic Approach
par: Molick, Sanderson, et autres
Publié: (2026)

An Undecidability Proof for the Plan Existence Problem
par: Achilleos, Antonis
Publié: (2026)

Constrained Assumption-Based Argumentation Frameworks
par: De Angelis, Emanuele, et autres
Publié: (2026)

The Topological Dual of a Dataset: A Logic-to-Topology Encoding for AlphaGeometry-Style Data
par: Bordg, Anthony
Publié: (2026)

Formalizing Kantian Ethics: Formula of the Universal Law Logic (FULL)
par: Olson, Taylor
Publié: (2026)

Satisfying Rationality Postulates of Structured Argumentation Through Deductive Support -- Technical Report
par: Cramer, Marcos, et autres
Publié: (2026)