Imagen de Portada

Meta-Programming for Linear-time Temporal Answer Set Programming

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autores principales:	Hahn, Susana, Nems, Amade, Romero, Javier, Schaub, Torsten
Formato:	Preprint
Publicado:	2026
Materias:	Artificial Intelligence I.2.4
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

Implementing Metric Temporal Answer Set Programming
por: Becker, Arvid, et al.
Publicado: (2026)

Compiling Metric Temporal Answer Set Programming
por: Becker, Arvid, et al.
Publicado: (2025)

Strong Equivalence in Answer Set Programming with Constraints
por: Cabalar, Pedro, et al.
Publicado: (2025)

Computational methods for Dynamic Answer Set Programming
por: Hahn, Susana
Publicado: (2025)

Human Conditional Reasoning in Answer Set Programming
por: Sakama, Chiaki
Publicado: (2023)

Answer Set Networks: Casting Answer Set Programming into Deep Learning
por: Skryagin, Arseny, et al.
Publicado: (2024)

Transforming Constraint Programs to Input for Local Search
por: Devriendt, Jo, et al.
Publicado: (2026)

Inductive Learning for Possibilistic Logic Programs Under Stable Models
por: Hu, Hongbo, et al.
Publicado: (2025)

Reasoning about Study Regulations in Answer Set Programming
por: Hahn, Susana, et al.
Publicado: (2024)

HIP Network: Historical Information Passing Network for Extrapolation Reasoning on Temporal Knowledge Graph
por: He, Yongquan, et al.
Publicado: (2024)

Question Answering Over Spatio-Temporal Knowledge Graph
por: Dai, Xinbang, et al.
Publicado: (2024)

Housing Potential Common Data Model and City Digital Twin
por: Katsumi, Megan, et al.
Publicado: (2026)

On the Complexity of the Discussion-based Semantics in Abstract Argumentation
por: Blümel, Lydia, et al.
Publicado: (2026)

From User Preferences to Base Score Extraction Functions in Gradual Argumentation (with Appendix)
por: Civit, Aniol, et al.
Publicado: (2026)

Knowledge Model Prompting Increases LLM Performance on Planning Tasks
por: Goh, Erik, et al.
Publicado: (2026)

WiseOWL: A Methodology for Evaluating Ontological Descriptiveness and Semantic Correctness for Ontology Reuse and Ontology Recommendations
por: Dalal, Aryan Singh, et al.
Publicado: (2026)

Many-valued Argumentation, Conditionals and a Probabilistic Semantics for Gradual Argumentation
por: Alviano, Mario, et al.
Publicado: (2022)

Parallel Belief Revision via Order Aggregation
por: Chandler, Jake, et al.
Publicado: (2025)

Memory Traces: Are Transformers Tulving Machines?
por: Chauvet, Jean-Marie
Publicado: (2024)

Planning with OWL-DL Ontologies (Extended Version)
por: John, Tobias, et al.
Publicado: (2024)

On the Foundations of Conflict-Driven Solving for Hybrid MKNF Knowledge Bases
por: Kinahan, Riley, et al.
Publicado: (2024)

Towards an ontology of portions of matter to support multi-scale analysis and provenance tracking
por: Vieira, Lucas Valadares, et al.
Publicado: (2024)

Parallel Belief Contraction via Order Aggregation
por: Chandler, Jake, et al.
Publicado: (2025)

SHACL-SKOS Based Knowledge Representation of Material Safety Data Sheet (SDS) for the Pharmaceutical Industry
por: Lu, Brian, et al.
Publicado: (2025)

Evaluation of Black-Box XAI Approaches for Predictors of Values of Boolean Formulae
por: Armoni-Friedmann, Stav, et al.
Publicado: (2025)

Bayes-Entropy Collaborative Driven Agents for Research Hypotheses Generation and Optimization
por: Duan, Shiyang, et al.
Publicado: (2025)

Experiments with Encoding Structured Data for Neural Networks
por: Koujalgi, Sujay Nagesh, et al.
Publicado: (2024)

Memory GAPS: Would LLMs pass the Tulving Test?
por: Chauvet, Jean-Marie
Publicado: (2024)

Know your exceptions: Towards an Ontology of Exceptions in Knowledge Representation
por: Sacco, Gabriele, et al.
Publicado: (2024)

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

Towards end-to-end ASP computation
por: Sato, Taisuke, et al.
Publicado: (2023)

On Definite Iterated Belief Revision with Belief Algebras
por: Meng, Hua, et al.
Publicado: (2025)

Attribute reduction algorithm of rough sets based on spatial optimization
por: Guo, Xuchang, et al.
Publicado: (2024)

Pre-trained Language Model with Prompts for Temporal Knowledge Graph Completion
por: Xu, Wenjie, et al.
Publicado: (2023)

Ignite Forecasting with SPARK: An Efficient Generative Framework for Refining LLMs in Temporal Knowledge Graph Forecasting
por: Yin, Gongzhu, et al.
Publicado: (2025)

Uncovering Bugs in Formal Explainers: A Case Study with PyXAI
por: Huang, Xuanxiang, et al.
Publicado: (2025)

Demand-Driven Context: A Methodology for Building Enterprise Knowledge Bases Through Agent Failure
por: Navakoti, Raj, et al.
Publicado: (2026)

SemanticAgent: A Semantics-Aware Framework for Text-to-SQL Data Synthesis
por: Gao, Qiang, et al.
Publicado: (2026)

High Quality Embeddings for Horn Logic Reasoning
por: Zhang, Yifan, et al.
Publicado: (2026)

A Domain-Independent Agent Architecture for Adaptive Operation in Evolving Open Worlds
por: Mohan, Shiwali, et al.
Publicado: (2023)