Imagen de Portada

An Algebraic Notion of Conditional Independence, and Its Application to Knowledge Representation (full version)

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autor principal:	Heyninck, Jesse
Formato:	Preprint
Publicado:	2024
Materias:	Artificial Intelligence Logic in Computer Science
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

Operator-based semantics for choice programs: is choosing losing? (full version)
por: Heyninck, Jesse
Publicado: (2024)

A Unifying Framework for Semiring-Based Constraint Logic Programming With Negation (full version)
por: Spaans, Jeroen, et al.
Publicado: (2025)

Defeasible Conditionals using Answer Set Programming
por: Dennison, Racquel, et al.
Publicado: (2026)

Approximation Fixpoint Theory as a Unifying Framework for Fuzzy Logic Programming Semantics (Extended Version)
por: Kettmann, Pascal, et al.
Publicado: (2025)

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

Proceedings 19th International Workshop on the ACL2 Theorem Prover and Its Applications
por: Gamboa, Ruben, et al.
Publicado: (2025)

Knowledge and Common Knowledge of Strategies
por: Miranda, Borja Sierra, et al.
Publicado: (2025)

A Computationally Grounded Framework for Cognitive Attitudes (extended version)
por: de Lima, Tiago, et al.
Publicado: (2024)

The Ontology for Agents, Systems and Integration of Services: OASIS version 2
por: Bella, Giampaolo, et al.
Publicado: (2023)

Interpolation in Knowledge Representation
por: Jung, Jean Christoph, et al.
Publicado: (2025)

Repairing Networks of $\mathcal{EL_\perp}$ Ontologies using Weakening and Completing -- Extended version
por: Li, Ying, et al.
Publicado: (2024)

Permissible Knowledge Pooling
por: Dong, Huimin
Publicado: (2024)

Circuit Representations of Random Forests with Applications to XAI
por: Ji, Chunxi, et al.
Publicado: (2026)

A Compositional Atlas for Algebraic Circuits
por: Wang, Benjie, et al.
Publicado: (2024)

On the Logical Content of Knowledge Bases
por: Gheorghiu, Alexader V., et al.
Publicado: (2025)

Common Knowledge Always, Forever
por: Diéguez, Martín, et al.
Publicado: (2026)

Abstract Dialectical Frameworks are Boolean Networks (full version)
por: Heyninck, Jesse, et al.
Publicado: (2024)

A framework for Conditional Reasoning in Answer Set Programming
por: Alviano, Mario, et al.
Publicado: (2025)

Enhancing Symbolic Machine Learning by Subsymbolic Representations
por: Roth, Stephen, et al.
Publicado: (2025)

Scalable Knowledge Refactoring using Constrained Optimisation
por: Liu, Minghao, et al.
Publicado: (2024)

Knowledge Base Embeddings: Semantics and Theoretical Properties
por: Bourgaux, Camille, et al.
Publicado: (2024)

Algebraic anti-unification
por: Antić, Christian
Publicado: (2024)

An Algebraic Approach to Moralisation and Triangulation of Probabilistic Graphical Models
por: Lorenzin, Antonio, et al.
Publicado: (2025)

Dual Forgetting Operators in the Context of Weakest Sufficient and Strongest Necessary Conditions
por: Doherty, Patrick, et al.
Publicado: (2023)

Representing Pedagogic Content Knowledge Through Rough Sets
por: Mani, A
Publicado: (2024)

Lemmas: Generation, Selection, Application
por: Rawson, Michael, et al.
Publicado: (2023)

Probabilistic Circuits for Knowledge Graph Completion with Reduced Rule Sets
por: Patil, Jaikrishna Manojkumar, et al.
Publicado: (2025)

Navigating Taxonomic Expansions of Entity Sets Driven by Knowledge Bases
por: Amendola, Giovanni, et al.
Publicado: (2025)

Exploiting Uncertainty for Querying Inconsistent Description Logics Knowledge Bases
por: Zese, Riccardo, et al.
Publicado: (2023)

Bridging Computational Notions of Depth
por: Bienvenu, Laurent, et al.
Publicado: (2024)

Defeasible Conditional Obligation in a Two-tiered Preference-based Semantics (Extended Version)
por: Parent, Xavier
Publicado: (2026)

From Knowledge to Conjectures: A Modal Framework for Reasoning about Hypotheses
por: Vitali, Fabio
Publicado: (2025)

A Formal Framework for the Definition of 'State': Hierarchical Representation and Meta-Universe Interpretation
por: Itoh, Kei
Publicado: (2025)

Neuro-Symbolic Strong-AI Robots with Closed Knowledge Assumption: Learning and Deductions
por: Majkic, Zoran
Publicado: (2026)

Structured Abductive-Deductive-Inductive Reasoning for LLMs via Algebraic Invariants
por: Gilda, Sankalp, et al.
Publicado: (2026)

Hybrid Answer Set Programming: Foundations and Applications
por: Rühling, Nicolas
Publicado: (2025)

Hybrid MKNF for Aeronautics Applications: Usage and Heuristics
por: Sheela, Arun Raveendran Nair, et al.
Publicado: (2026)

A Strategy for Implementing description Temporal Dynamic Algorithms in Dynamic Knowledge Graphs by SPIN
por: Shahbazi, Alireza, et al.
Publicado: (2024)

Semantic Bridges Between First Order c-Representations and Cost-Based Semantics: An Initial Perspective
por: Leisegang, Nicholas, et al.
Publicado: (2025)

Applications of Intuitionistic Temporal Logic to Temporal Answer Set Programming
por: Cabalar, Pedro, et al.
Publicado: (2026)