Image de couverture de livre

Inductive Learning for Possibilistic Logic Programs Under Stable Models

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Hu, Hongbo, Wang, Yisong, Huang, Yi, Wang, Kewen
Format:	Preprint
Publié:	2025
Sujets:	Artificial Intelligence I.2.4
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

Inductive Link Prediction on N-ary Relational Facts via Semantic Hypergraph Reasoning
par: Yin, Gongzhu, et autres
Publié: (2025)

Meta-Programming for Linear-time Temporal Answer Set Programming
par: Hahn, Susana, et autres
Publié: (2026)

High Quality Embeddings for Horn Logic Reasoning
par: Zhang, Yifan, et autres
Publié: (2026)

Transforming Constraint Programs to Input for Local Search
par: Devriendt, Jo, et autres
Publié: (2026)

Housing Potential Common Data Model and City Digital Twin
par: Katsumi, Megan, et autres
Publié: (2026)

Knowledge Model Prompting Increases LLM Performance on Planning Tasks
par: Goh, Erik, et autres
Publié: (2026)

Arithmetic Feature Interaction Is Necessary for Deep Tabular Learning
par: Cheng, Yi, et autres
Publié: (2024)

Uncovering Bugs in Formal Explainers: A Case Study with PyXAI
par: Huang, Xuanxiang, et autres
Publié: (2025)

Large Language Models as Oracles for Ontology Alignment
par: Lushnei, Sviatoslav, et autres
Publié: (2025)

From Fake Focus to Real Precision: Confusion-Driven Adversarial Attention Learning in Transformers
par: Liu, Yawei
Publié: (2025)

ETOM: A Five-Level Benchmark for Evaluating Tool Orchestration within the MCP Ecosystem
par: Dong, Jia-Kai, et autres
Publié: (2025)

Relative Expressiveness of Defeasible Logics II
par: Maher, Michael J.
Publié: (2021)

Parallel Belief Revision via Order Aggregation
par: Chandler, Jake, et autres
Publié: (2025)

Parallel Belief Contraction via Order Aggregation
par: Chandler, Jake, et autres
Publié: (2025)

SHACL-SKOS Based Knowledge Representation of Material Safety Data Sheet (SDS) for the Pharmaceutical Industry
par: Lu, Brian, et autres
Publié: (2025)

Evaluation of Black-Box XAI Approaches for Predictors of Values of Boolean Formulae
par: Armoni-Friedmann, Stav, et autres
Publié: (2025)

Bayes-Entropy Collaborative Driven Agents for Research Hypotheses Generation and Optimization
par: Duan, Shiyang, et autres
Publié: (2025)

On Definite Iterated Belief Revision with Belief Algebras
par: Meng, Hua, et autres
Publié: (2025)

Many-valued Argumentation, Conditionals and a Probabilistic Semantics for Gradual Argumentation
par: Alviano, Mario, et autres
Publié: (2022)

Memory Traces: Are Transformers Tulving Machines?
par: Chauvet, Jean-Marie
Publié: (2024)

On the Complexity of the Discussion-based Semantics in Abstract Argumentation
par: Blümel, Lydia, et autres
Publié: (2026)

Planning with OWL-DL Ontologies (Extended Version)
par: John, Tobias, et autres
Publié: (2024)

From User Preferences to Base Score Extraction Functions in Gradual Argumentation (with Appendix)
par: Civit, Aniol, et autres
Publié: (2026)

On the Foundations of Conflict-Driven Solving for Hybrid MKNF Knowledge Bases
par: Kinahan, Riley, et autres
Publié: (2024)

Towards an ontology of portions of matter to support multi-scale analysis and provenance tracking
par: Vieira, Lucas Valadares, et autres
Publié: (2024)

WiseOWL: A Methodology for Evaluating Ontological Descriptiveness and Semantic Correctness for Ontology Reuse and Ontology Recommendations
par: Dalal, Aryan Singh, et autres
Publié: (2026)

Experiments with Encoding Structured Data for Neural Networks
par: Koujalgi, Sujay Nagesh, et autres
Publié: (2024)

Memory GAPS: Would LLMs pass the Tulving Test?
par: Chauvet, Jean-Marie
Publié: (2024)

Know your exceptions: Towards an Ontology of Exceptions in Knowledge Representation
par: Sacco, Gabriele, et autres
Publié: (2024)

Contextual Importance and Utility in Python: New Functionality and Insights with the py-ciu Package
par: Främling, Kary
Publié: (2024)

Towards end-to-end ASP computation
par: Sato, Taisuke, et autres
Publié: (2023)

Attribute reduction algorithm of rough sets based on spatial optimization
par: Guo, Xuchang, et autres
Publié: (2024)

FSFM: A Biologically-Inspired Framework for Selective Forgetting of Agent Memory
par: Gu, Yingjie, et autres
Publié: (2026)

Multi-Paradigm Agent Interaction in Practice:A Systematic Analysis of Generator-Evaluator, ReAct Loop,and Adversarial Evaluation in the buddyMe Framework
par: Wang, Xiaohua, et autres
Publié: (2026)

Advancing Multimodal Agent Reasoning with Long-Term Neuro-Symbolic Memory
par: Jiang, Rongjie, et autres
Publié: (2026)

Logic interpretations of ANN partition cells
par: Schmitt, Ingo
Publié: (2024)

Distributed Multi-Layer Editing for Rule-Level Knowledge in Large Language Models
par: Wang, Yating, et autres
Publié: (2026)

RELRaE: LLM-Based Relationship Extraction, Labelling, Refinement, and Evaluation
par: Hannah, George, et autres
Publié: (2025)

Automatic Prompt Optimization for Knowledge Graph Construction: Insights from an Empirical Study
par: Mihindukulasooriya, Nandana, et autres
Publié: (2025)

A Domain-Independent Agent Architecture for Adaptive Operation in Evolving Open Worlds
par: Mohan, Shiwali, et autres
Publié: (2023)