Copertina

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

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autore principale:	Heyninck, Jesse
Natura:	Preprint
Pubblicazione:	2024
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

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

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

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

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

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

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

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

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

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

Interpolation in Knowledge Representation
di: Jung, Jean Christoph, et al.
Pubblicazione: (2025)

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

Permissible Knowledge Pooling
di: Dong, Huimin
Pubblicazione: (2024)

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

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

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

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

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

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

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

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

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

Algebraic anti-unification
di: Antić, Christian
Pubblicazione: (2024)

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

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

Representing Pedagogic Content Knowledge Through Rough Sets
di: Mani, A
Pubblicazione: (2024)

Lemmas: Generation, Selection, Application
di: Rawson, Michael, et al.
Pubblicazione: (2023)

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

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

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

Bridging Computational Notions of Depth
di: Bienvenu, Laurent, et al.
Pubblicazione: (2024)

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

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

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

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

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

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

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

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

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

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