Image de couverture de livre

Towards end-to-end ASP computation

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Sato, Taisuke, Takemura, Akihiro, Inoue, Katsumi
Format:	Preprint
Publié:	2023
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

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

ASP-based Multi-shot Reasoning via DLV2 with Incremental Grounding
par: Calimeri, Francesco, et autres
Publié: (2024)

Know your exceptions: Towards an Ontology of Exceptions in Knowledge Representation
par: Sacco, Gabriele, 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)

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

Inductive Learning for Possibilistic Logic Programs Under Stable Models
par: Hu, Hongbo, et autres
Publié: (2025)

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

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

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)

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)

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

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)

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

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)

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

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

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

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

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

Demand-Driven Context: A Methodology for Building Enterprise Knowledge Bases Through Agent Failure
par: Navakoti, Raj, et autres
Publié: (2026)

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

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)

SemanticAgent: A Semantics-Aware Framework for Text-to-SQL Data Synthesis
par: Gao, Qiang, et autres
Publié: (2026)

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

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

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

Common Foundations for SHACL, ShEx, and PG-Schema
par: Ahmetaj, S., et autres
Publié: (2025)

MeMo: Towards Language Models with Associative Memory Mechanisms
par: Zanzotto, Fabio Massimo, et autres
Publié: (2025)

AUTONAV: A Toolfor Autonomous Navigation of Robots
par: Sarwar, Mir Md Sajid, et autres
Publié: (2025)

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)

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