Probabilistic Circuits for Knowledge Graph Completion with Reduced Rule Sets
Fuente:
arXiv
Salvato in:
| Autori principali: | Patil, Jaikrishna Manojkumar, Lee, Nathaniel, Chowdhury, Al Mehdi Saadat, Choi, YooJung, Shakarian, Paulo |
|---|---|
| Natura: | Preprint |
| Pubblicazione: |
2025
|
| Soggetti: | |
| Accesso online: | |
| Tags: |
Aggiungi Tag
Nessun Tag, puoi essere il primo ad aggiungerne!!
|
Documenti analoghi
Reasoning about Medical Triage Optimization with Logic Programming
di: Patil, Jaikrishna Manojkumar, et al.
Pubblicazione: (2025)
di: Patil, Jaikrishna Manojkumar, et al.
Pubblicazione: (2025)
Abduction of Domain Relationships from Data for VQA
di: Chowdhury, Al Mehdi Saadat, et al.
Pubblicazione: (2025)
di: Chowdhury, Al Mehdi Saadat, et al.
Pubblicazione: (2025)
Lattice Annotated Temporal (LAT) Logic for Non-Markovian Reasoning
di: Mukherji, Kaustuv, et al.
Pubblicazione: (2025)
di: Mukherji, Kaustuv, et al.
Pubblicazione: (2025)
A Compositional Atlas for Algebraic Circuits
di: Wang, Benjie, et al.
Pubblicazione: (2024)
di: Wang, Benjie, et al.
Pubblicazione: (2024)
Optimal Transport for Probabilistic Circuits
di: Ciotinga, Adrian, et al.
Pubblicazione: (2024)
di: Ciotinga, Adrian, et al.
Pubblicazione: (2024)
Sea-cret Agents: Maritime Abduction for Region Generation to Expose Dark Vessel Trajectories
di: Bavikadi, Divyagna, et al.
Pubblicazione: (2025)
di: Bavikadi, Divyagna, et al.
Pubblicazione: (2025)
Rule-Based Error Detection and Correction to Operationalize Movement Trajectory Classification
di: Xi, Bowen, et al.
Pubblicazione: (2023)
di: Xi, Bowen, et al.
Pubblicazione: (2023)
On the Hardness of Approximating Distributions with Tractable Probabilistic Models
di: Leland, John, et al.
Pubblicazione: (2025)
di: Leland, John, et al.
Pubblicazione: (2025)
Machine Learning Model Integration with Open World Temporal Logic for Process Automation
di: Aditya, Dyuman, et al.
Pubblicazione: (2025)
di: Aditya, Dyuman, et al.
Pubblicazione: (2025)
A Complete and Natural Rule Set for Multi-Qutrit Clifford Circuits
di: Li, Sarah Meng, et al.
Pubblicazione: (2025)
di: Li, Sarah Meng, et al.
Pubblicazione: (2025)
Sound and Complete Proof Rules for Probabilistic Termination
di: Majumdar, Rupak, et al.
Pubblicazione: (2024)
di: Majumdar, Rupak, et al.
Pubblicazione: (2024)
Solving Satisfiability Modulo Counting Exactly with Probabilistic Circuits
di: Li, Jinzhao, et al.
Pubblicazione: (2025)
di: Li, Jinzhao, et al.
Pubblicazione: (2025)
From We to Me: Theory Informed Narrative Shift with Abductive Reasoning
di: Patil, Jaikrishna Manojkumar, et al.
Pubblicazione: (2026)
di: Patil, Jaikrishna Manojkumar, et al.
Pubblicazione: (2026)
Symbolic Parameter Learning in Probabilistic Answer Set Programming
di: Azzolini, Damiano, et al.
Pubblicazione: (2024)
di: Azzolini, Damiano, et al.
Pubblicazione: (2024)
Measuring Rule-based LTLf Process Specifications: A Probabilistic Data-driven Approach
di: Cecconi, Alessio, et al.
Pubblicazione: (2023)
di: Cecconi, Alessio, et al.
Pubblicazione: (2023)
Solving Decision Theory Problems with Probabilistic Answer Set Programming
di: Azzolini, Damiano, et al.
Pubblicazione: (2024)
di: Azzolini, Damiano, et al.
Pubblicazione: (2024)
Fast Inference for Probabilistic Answer Set Programs via the Residual Program
di: Azzolini, Damiano, et al.
Pubblicazione: (2024)
di: Azzolini, Damiano, et al.
Pubblicazione: (2024)
Geospatial Trajectory Generation via Efficient Abduction: Deployment for Independent Testing
di: Bavikadi, Divyagna, et al.
Pubblicazione: (2024)
di: Bavikadi, Divyagna, et al.
Pubblicazione: (2024)
The Axiom-Based Atlas: A Structural Mapping of Theorems via Foundational Proof Vectors
di: Yoo, Harim
Pubblicazione: (2025)
di: Yoo, Harim
Pubblicazione: (2025)
Fine-grained Timing Analysis of Digital Integrated Circuits in Answer Set Programming
di: Bertagnon, Alessandro, et al.
Pubblicazione: (2025)
di: Bertagnon, Alessandro, et al.
Pubblicazione: (2025)
Weighted Rules under the Stable Model Semantics
di: Lee, Joohyung, et al.
Pubblicazione: (2026)
di: Lee, Joohyung, et al.
Pubblicazione: (2026)
Probabilistic Foundations for Metacognition via Hybrid-AI
di: Shakarian, Paulo, et al.
Pubblicazione: (2025)
di: Shakarian, Paulo, et al.
Pubblicazione: (2025)
On Probabilistic and Causal Reasoning with Summation Operators
di: Ibeling, Duligur, et al.
Pubblicazione: (2024)
di: Ibeling, Duligur, et al.
Pubblicazione: (2024)
Representing Pedagogic Content Knowledge Through Rough Sets
di: Mani, A
Pubblicazione: (2024)
di: Mani, A
Pubblicazione: (2024)
Navigating Taxonomic Expansions of Entity Sets Driven by Knowledge Bases
di: Amendola, Giovanni, et al.
Pubblicazione: (2025)
di: Amendola, Giovanni, et al.
Pubblicazione: (2025)
Error Detection and Constraint Recovery in Hierarchical Multi-Label Classification without Prior Knowledge
di: Kricheli, Joshua Shay, et al.
Pubblicazione: (2024)
di: Kricheli, Joshua Shay, et al.
Pubblicazione: (2024)
Complete and Terminating Tableau Calculus for Undirected Graph
di: Nishimura, Yuki, et al.
Pubblicazione: (2024)
di: Nishimura, Yuki, et al.
Pubblicazione: (2024)
Condensed Sets and the Solovay Model
di: Bannister, Nathaniel, et al.
Pubblicazione: (2026)
di: Bannister, Nathaniel, et al.
Pubblicazione: (2026)
A Rule-Based Approach to Specifying Preferences over Conflicting Facts and Querying Inconsistent Knowledge Bases
di: Bienvenu, Meghyn, et al.
Pubblicazione: (2025)
di: Bienvenu, Meghyn, et al.
Pubblicazione: (2025)
Diversity Measures: Domain-Independent Proxies for Failure in Language Model Queries
di: Ngu, Noel, et al.
Pubblicazione: (2023)
di: Ngu, Noel, et al.
Pubblicazione: (2023)
Policy-Adaptable Methods For Resolving Normative Conflicts Through Argumentation and Graph Colouring
di: Joyce, Johnny
Pubblicazione: (2025)
di: Joyce, Johnny
Pubblicazione: (2025)
Probabilistic Strategy Logic with Degrees of Observability
di: Mu, Chunyan, et al.
Pubblicazione: (2024)
di: Mu, Chunyan, et al.
Pubblicazione: (2024)
Decentralized Planning Using Probabilistic Hyperproperties
di: Pontiggia, Francesco, et al.
Pubblicazione: (2025)
di: Pontiggia, Francesco, et al.
Pubblicazione: (2025)
Shields to Guarantee Probabilistic Safety in MDPs
di: Heck, Linus, et al.
Pubblicazione: (2026)
di: Heck, Linus, et al.
Pubblicazione: (2026)
Discovering and Learning Probabilistic Models of Black-Box AI Capabilities
di: Bramblett, Daniel, et al.
Pubblicazione: (2025)
di: Bramblett, Daniel, et al.
Pubblicazione: (2025)
Probabilistic Strategies: Definability and the Tensor Completeness Problem
di: Bowler, Nathan, et al.
Pubblicazione: (2025)
di: Bowler, Nathan, et al.
Pubblicazione: (2025)
A Strategy for Implementing description Temporal Dynamic Algorithms in Dynamic Knowledge Graphs by SPIN
di: Shahbazi, Alireza, et al.
Pubblicazione: (2024)
di: Shahbazi, Alireza, et al.
Pubblicazione: (2024)
Counting Answer Sets of Disjunctive Answer Set Programs
di: Kabir, Mohimenul, et al.
Pubblicazione: (2025)
di: Kabir, Mohimenul, et al.
Pubblicazione: (2025)
Integrating Belief Domains into Probabilistic Logic Programs
di: Azzolini, Damiano, et al.
Pubblicazione: (2025)
di: Azzolini, Damiano, et al.
Pubblicazione: (2025)
Explainability-Driven Quality Assessment for Rule-Based Systems
di: Seneviratne, Oshani, et al.
Pubblicazione: (2025)
di: Seneviratne, Oshani, et al.
Pubblicazione: (2025)
Documenti analoghi
-
Reasoning about Medical Triage Optimization with Logic Programming
di: Patil, Jaikrishna Manojkumar, et al.
Pubblicazione: (2025) -
Abduction of Domain Relationships from Data for VQA
di: Chowdhury, Al Mehdi Saadat, et al.
Pubblicazione: (2025) -
Lattice Annotated Temporal (LAT) Logic for Non-Markovian Reasoning
di: Mukherji, Kaustuv, et al.
Pubblicazione: (2025) -
A Compositional Atlas for Algebraic Circuits
di: Wang, Benjie, et al.
Pubblicazione: (2024) -
Optimal Transport for Probabilistic Circuits
di: Ciotinga, Adrian, et al.
Pubblicazione: (2024)