Copertina

Finite Groundings for ASP with Functions: A Journey through Consistency

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Gerlach, Lukas, Carral, David, Hecher, Markus
Natura:	Preprint
Pubblicazione:	2024
Soggetti:	Artificial Intelligence Logic in Computer Science
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Automated Hybrid Grounding Using Structural and Data-Driven Heuristics
di: Beiser, Alexander, et al.
Pubblicazione: (2025)

Extended Version of: On the Structural Hardness of Answer Set Programming: Can Structure Efficiently Confine the Power of Disjunctions?
di: Hecher, Markus, et al.
Pubblicazione: (2024)

Epistemic Logic Programs: Non-Ground and Counting Complexity
di: Eiter, Thomas, et al.
Pubblicazione: (2025)

Diminution: On Reducing the Size of Grounding ASP Programs
di: Yang, HuanYu, et al.
Pubblicazione: (2025)

Towards Mass Spectrum Analysis with ASP
di: Küchenmeister, Nils, et al.
Pubblicazione: (2025)

The Model Counting Competitions 2021-2023
di: Fichte, Johannes K., et al.
Pubblicazione: (2025)

Improving ASP-based ORS Schedules through Machine Learning Predictions
di: Bruno, Pierangela, et al.
Pubblicazione: (2025)

An ASP-Based Framework for MUSes
di: Kabir, Mohimenul, et al.
Pubblicazione: (2025)

Direct Encoding of Declare Constraints in ASP
di: Chiariello, Francesco, et al.
Pubblicazione: (2024)

Rejection in Abstract Argumentation: Harder Than Acceptance?
di: Fichte, Johannes K., et al.
Pubblicazione: (2024)

The Model Counting Competition 2020
di: Fichte, Johannes K., et al.
Pubblicazione: (2020)

FLINGO -- Instilling ASP Expressiveness into Linear Integer Constraints
di: Fandinno, Jorge, et al.
Pubblicazione: (2026)

An ASP-based Solution to the Medical Appointment Scheduling Problem
di: Vozna, Alina, et al.
Pubblicazione: (2026)

Decomposition Strategies and Multi-shot ASP Solving for Job-shop Scheduling
di: El-Kholany, Mohammed M. S., et al.
Pubblicazione: (2022)

Restricted Chase Termination: You Want More than Fairness
di: Carral, David, et al.
Pubblicazione: (2025)

Using ASP(Q) to Handle Inconsistent Prioritized Data
di: Bienvenu, Meghyn, et al.
Pubblicazione: (2026)

ASP-Bench: From Natural Language to Logic Programs
di: Szeider, Stefan
Pubblicazione: (2026)

BLAST: Benchmarking LLMs with ASP-based Structured Testing
di: Santana, Manuel Alejandro Borroto, et al.
Pubblicazione: (2026)

An XAI View on Explainable ASP: Methods, Systems, and Perspectives
di: Eiter, Thomas, et al.
Pubblicazione: (2026)

A Reliable Common-Sense Reasoning Socialbot Built Using LLMs and Goal-Directed ASP
di: Zeng, Yankai, et al.
Pubblicazione: (2024)

Learning Brave Assumption-Based Argumentation Frameworks via ASP
di: De Angelis, Emanuele, et al.
Pubblicazione: (2024)

CFGs: Causality Constrained Counterfactual Explanations using goal-directed ASP
di: Dasgupta, Sopam, et al.
Pubblicazione: (2024)

Efficient OWL2QL Meta-reasoning Using ASP-based Hybrid Knowledge Bases
di: Qureshi, Haya Majid, et al.
Pubblicazione: (2025)

Effective AGM Belief Contraction: A Journey beyond the Finitary Realm (Technical Report)
di: Klumpp, Dominik, et al.
Pubblicazione: (2024)

CoGS: Causality Constrained Counterfactual Explanations using goal-directed ASP
di: Dasgupta, Sopam, et al.
Pubblicazione: (2024)

2-ASP(Q) programs with weak constraints: Complexity and efficient implementation
di: Cuteri, Andrea, et al.
Pubblicazione: (2026)

A Computationally Grounded Framework for Cognitive Attitudes (extended version)
di: de Lima, Tiago, et al.
Pubblicazione: (2024)

Weak Permission is not Well-Founded, Grounded and Stable
di: Governatori, Guido
Pubblicazione: (2024)

On the Complexity of the Grounded Semantics for Infinite Argumentation Frameworks
di: Andrews, Uri, et al.
Pubblicazione: (2025)

Towards Fast Algorithms for the Preference Consistency Problem Based on Hierarchical Models
di: George, Anne-Marie, et al.
Pubblicazione: (2024)

Decidable Reasoning About Time in Finite-Domain Situation Calculus Theories
di: Hofmann, Till, et al.
Pubblicazione: (2024)

On-the-fly Synthesis for LTL over Finite Traces: An Efficient Approach that Counts
di: Xiao, Shengping, et al.
Pubblicazione: (2024)

GaloisSAT: Differentiable Boolean Satisfiability Solving via Finite Field Algebra
di: Kim, Curie, et al.
Pubblicazione: (2026)

A Comprehensive Survey of Fuzzy Implication Functions
di: Fernandez-Peralta, Raquel
Pubblicazione: (2025)

ASP-driven User-interaction with Clinguin
di: Beiser, Alexander, et al.
Pubblicazione: (2025)

Grants4Companies: Applying Declarative Methods for Recommending and Reasoning About Business Grants in the Austrian Public Administration (System Description)
di: Lellmann, Björn, et al.
Pubblicazione: (2024)

Towards Neuro-symbolic Causal Rule Synthesis, Verification, and Evaluation Grounded in Legal and Safety Principles
di: Rehan, Zainab, et al.
Pubblicazione: (2026)

Decidability of Querying First-Order Theories via Countermodels of Finite Width
di: Feller, Thomas, et al.
Pubblicazione: (2023)

Cloud Kitchen: Using Planning-based Composite AI to Optimize Food Delivery Processes
di: Švancár, Slavomír, et al.
Pubblicazione: (2024)

The Chase in Lean -- Crafting a Formal Library for Existential Rule Research
di: Gerlach, Lukas
Pubblicazione: (2026)