Resultados da pesquisa - "Declarative programming"
-
Finite-Choice Logic Programming
Publicado no arXiv.org (Nov 21, 2024)Citation/Abstract
Full text outside of ProQuest
-
Direct Encoding of Declare Constraints in ASP
Publicado no arXiv.org (Dec 13, 2024)Citation/Abstract
Full text outside of ProQuest
-
LLASP: Fine-tuning Large Language Models for Answer Set Programming
Publicado no arXiv.org (Jul 26, 2024)Citation/Abstract
Full text outside of ProQuest
-
ASP-based Multi-shot Reasoning via DLV2 with Incremental Grounding
Publicado no arXiv.org (Dec 24, 2024)Citation/Abstract
Full text outside of ProQuest
-
Learning Brave Assumption-Based Argumentation Frameworks via ASP
Publicado no arXiv.org (Nov 8, 2024)Citation/Abstract
Full text outside of ProQuest
-
Past-present temporal programs over finite traces
Publicado no arXiv.org (Jan 20, 2024)Citation/Abstract
Full text outside of ProQuest
-
Evaluating Datalog Tools for Meta-reasoning over OWL 2 QL
Publicado no arXiv.org (Feb 5, 2024)Citation/Abstract
Full text outside of ProQuest
-
Symbolic Parameter Learning in Probabilistic Answer Set Programming
Publicado no arXiv.org (Aug 16, 2024)Citation/Abstract
Full text outside of ProQuest