ASP-based Multi-shot Reasoning via DLV2 with Incremental Grounding
Fuente:
arXiv
Saved in:
| Main Authors: | Calimeri, Francesco, Ianni, Giovambattista, Pacenza, Francesco, Perri, Simona, Zangari, Jessica |
|---|---|
| Format: | Preprint |
| Published: |
2024
|
| Subjects: | |
| Online Access: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Similar Items
Semantic Modeling for World-Centered Architectures
by: Mantsivoda, Andrei, et al.
Published: (2026)
by: Mantsivoda, Andrei, et al.
Published: (2026)
D-SMART: Enhancing LLM Dialogue Consistency via Dynamic Structured Memory And Reasoning Tree
by: Lei, Xiang, et al.
Published: (2025)
by: Lei, Xiang, et al.
Published: (2025)
Rule Extraction in Machine Learning: Chat Incremental Pattern Constructor
by: Nwokocha, Caleb Princewill
Published: (2022)
by: Nwokocha, Caleb Princewill
Published: (2022)
CSSDM Ontology to Enable Continuity of Care Data Interoperability
by: Das, Subhashis, et al.
Published: (2025)
by: Das, Subhashis, et al.
Published: (2025)
Enhancing Large Language Models through Neuro-Symbolic Integration and Ontological Reasoning
by: Vsevolodovna, Ruslan Idelfonso Magana, et al.
Published: (2025)
by: Vsevolodovna, Ruslan Idelfonso Magana, et al.
Published: (2025)
Mitigating LLM Hallucinations through Domain-Grounded Tiered Retrieval
by: Haque, Md. Asraful, et al.
Published: (2026)
by: Haque, Md. Asraful, et al.
Published: (2026)
Boolean Nearest Neighbor Language in the Knowledge Compilation Map
by: Čepek, Ondřej, et al.
Published: (2024)
by: Čepek, Ondřej, et al.
Published: (2024)
Implementing Knowledge Representation and Reasoning with Object Oriented Design
by: Bassiouny, Abdelrhman, et al.
Published: (2026)
by: Bassiouny, Abdelrhman, et al.
Published: (2026)
Multi-Point Proximity Encoding For Vector-Mode Geospatial Machine Learning
by: Collins, John
Published: (2025)
by: Collins, John
Published: (2025)
Customizing Graph Neural Networks using Path Reweighting
by: Chen, Jianpeng, et al.
Published: (2021)
by: Chen, Jianpeng, et al.
Published: (2021)
Ontology Learning with LLMs: A Benchmark Study on Axiom Identification
by: Bakker, Roos M., et al.
Published: (2025)
by: Bakker, Roos M., et al.
Published: (2025)
On measuring grounding and generalizing grounding problems
by: Quigley, Daniel, et al.
Published: (2025)
by: Quigley, Daniel, et al.
Published: (2025)
Execution Semantics of Behavior Trees in Robotic Applications
by: Ghiorzi, Enrico, et al.
Published: (2024)
by: Ghiorzi, Enrico, et al.
Published: (2024)
SUBMASSIVE: Resolving Subclass Cycles in Very Large Knowledge Graphs
by: Wang, Shuai, et al.
Published: (2024)
by: Wang, Shuai, et al.
Published: (2024)
CSSDH: An Ontology for Social Determinants of Health to Operational Continuity of Care Data Interoperability
by: Das, Subhashis, et al.
Published: (2024)
by: Das, Subhashis, et al.
Published: (2024)
Bayesian Learning-driven Prototypical Contrastive Loss for Class-Incremental Learning
by: Raichur, Nisha L., et al.
Published: (2024)
by: Raichur, Nisha L., et al.
Published: (2024)
Chase Anonymisation: Privacy-Preserving Knowledge Graphs with Logical Reasoning
by: Bellomarini, Luigi, et al.
Published: (2024)
by: Bellomarini, Luigi, et al.
Published: (2024)
DPDisc: From Factoid Questions to Data Product Requests for Open-World Data Product Discovery over Tables and Text
by: Zhang, Liangliang, et al.
Published: (2025)
by: Zhang, Liangliang, et al.
Published: (2025)
GE-Chat: A Graph Enhanced RAG Framework for Evidential Response Generation of LLMs
by: Da, Longchao, et al.
Published: (2025)
by: Da, Longchao, et al.
Published: (2025)
Towards Robust Retrieval-Augmented Generation Based on Knowledge Graph: A Comparative Analysis
by: Amamou, Hazem, et al.
Published: (2026)
by: Amamou, Hazem, et al.
Published: (2026)
A Prompt Learning Framework for Source Code Summarization
by: Xu, Tingting, et al.
Published: (2023)
by: Xu, Tingting, et al.
Published: (2023)
Evaluating the Architectural Reasoning Capabilities of LLM Provers via the Obfuscated Natural Number Game
by: Li, Lixing
Published: (2026)
by: Li, Lixing
Published: (2026)
Multi-Agent GraphRAG: A Text-to-Cypher Framework for Labeled Property Graphs
by: Gusarov, Anton, et al.
Published: (2025)
by: Gusarov, Anton, et al.
Published: (2025)
GraphWalk: Enabling Reasoning in Large Language Models through Tool-Based Graph Navigation
by: Ghandi, Taraneh, et al.
Published: (2026)
by: Ghandi, Taraneh, et al.
Published: (2026)
Deterministic Event-Graph Substrates as World Models for Counterfactual Reasoning
by: Rovai, Fabio
Published: (2026)
by: Rovai, Fabio
Published: (2026)
Intersymbolic AI: Interlinking Symbolic AI and Subsymbolic AI
by: Platzer, André
Published: (2024)
by: Platzer, André
Published: (2024)
A Landmark-Aware Visual Navigation Dataset
by: Johnson, Faith, et al.
Published: (2024)
by: Johnson, Faith, et al.
Published: (2024)
Endowing Interpretability for Neural Cognitive Diagnosis by Efficient Kolmogorov-Arnold Networks
by: Yang, Shangshang, et al.
Published: (2024)
by: Yang, Shangshang, et al.
Published: (2024)
Judgment2vec: Apply Graph Analytics to Searching and Recommendation of Similar Judgments
by: Shao, Hsuan-Lei
Published: (2024)
by: Shao, Hsuan-Lei
Published: (2024)
From Unstructured Recall to Schema-Grounded Memory: Reliable AI Memory via Iterative, Schema-Aware Extraction
by: Petrov, Alex, et al.
Published: (2026)
by: Petrov, Alex, et al.
Published: (2026)
Incremental Bootstrapping and Classification of Structured Scenes in a Fuzzy Ontology
by: Buoncompagni, Luca, et al.
Published: (2024)
by: Buoncompagni, Luca, et al.
Published: (2024)
RELRaE: LLM-Based Relationship Extraction, Labelling, Refinement, and Evaluation
by: Hannah, George, et al.
Published: (2025)
by: Hannah, George, et al.
Published: (2025)
MSMixer: Learned Multi-Scale Temporal Mixing with Complementary Linear Shortcut for Long-Term Time Series Forecasting
by: Cherif, Ahmed
Published: (2026)
by: Cherif, Ahmed
Published: (2026)
Anomaly Detection and Inlet Pressure Prediction in Water Distribution Systems Using Machine Learning
by: Khoa, Tran Dang
Published: (2024)
by: Khoa, Tran Dang
Published: (2024)
Scaling Laws for State Dynamics in Large Language Models
by: Li, Jacob X, et al.
Published: (2025)
by: Li, Jacob X, et al.
Published: (2025)
Thinking Longer, Not Always Smarter: Evaluating LLM Capabilities in Hierarchical Legal Reasoning
by: Zhang, Li, et al.
Published: (2025)
by: Zhang, Li, et al.
Published: (2025)
A Survey of Meta-features Used for Automated Selection of Algorithms for Black-box Single-objective Continuous Optimization
by: Cenikj, Gjorgjina, et al.
Published: (2024)
by: Cenikj, Gjorgjina, et al.
Published: (2024)
Imandra CodeLogician: Neuro-Symbolic Reasoning for Precise Analysis of Software Logic
by: Lin, Hongyu, et al.
Published: (2026)
by: Lin, Hongyu, et al.
Published: (2026)
Unlocking Advanced Graph Machine Learning Insights through Knowledge Completion on Neo4j Graph Database
by: Napoli, Rosario, et al.
Published: (2025)
by: Napoli, Rosario, et al.
Published: (2025)
ETOM: A Five-Level Benchmark for Evaluating Tool Orchestration within the MCP Ecosystem
by: Dong, Jia-Kai, et al.
Published: (2025)
by: Dong, Jia-Kai, et al.
Published: (2025)
Similar Items
-
Semantic Modeling for World-Centered Architectures
by: Mantsivoda, Andrei, et al.
Published: (2026) -
D-SMART: Enhancing LLM Dialogue Consistency via Dynamic Structured Memory And Reasoning Tree
by: Lei, Xiang, et al.
Published: (2025) -
Rule Extraction in Machine Learning: Chat Incremental Pattern Constructor
by: Nwokocha, Caleb Princewill
Published: (2022) -
CSSDM Ontology to Enable Continuity of Care Data Interoperability
by: Das, Subhashis, et al.
Published: (2025) -
Enhancing Large Language Models through Neuro-Symbolic Integration and Ontological Reasoning
by: Vsevolodovna, Ruslan Idelfonso Magana, et al.
Published: (2025)