https://deepai.org/publication/scalable-neural-probabilistic-answer-set-programming
Scalable Neural-Probabilistic Answer Set Programming | DeepAI
Jun 14, 2023 - 06/14/23 - The goal of combining the robustness of neural networks and the expressiveness of symbolic methods has rekindled the interest in N...
answer set programmingscalableneuralprobabilisticdeepai
https://www.easychair.org/publications/keyword/lCs2
Keyword: Answer Set Programming
answer setkeywordprogramming
https://deepai.org/publication/pointer-data-structure-synthesis-from-answer-set-programming-specifications
Pointer Data Structure Synthesis from Answer Set Programming Specifications | DeepAI
Jun 12, 2020 - 06/12/20 - We develop an inductive proof-technique to generate imperative programs for pointer data structures from behavioural specification...
answer set programmingdata structurepointersynthesisspecifications
https://easychair.org/smart-slide/slide/29Zc
Shared aggregate sets in answer set programming
answer setsharedaggregatesetsprogramming
https://arxiv.org/abs/2601.03835
[2601.03835] Extracting Policies from Quantified Answer Set Programs
Abstract page for arXiv paper 2601.03835: Extracting Policies from Quantified Answer Set Programs
answer set260103835extractingpolicies
https://deepai.org/publication/specifying-and-exploiting-non-monotonic-domain-specific-declarative-heuristics-in-answer-set-programming
Specifying and Exploiting Non-Monotonic Domain-Specific Declarative Heuristics in Answer Set...
Sep 19, 2022 - 09/19/22 - Domain-specific heuristics are an essential technique for solving combinatorial problems efficiently. Current approaches to integr...
domain specific
https://question2answer.org/qa/83681/rule-that-user-must-answer-least-question-time-registration
How can I set rule that user must ask or answer at least one question at the time of registration ?...
How can I set rule that user must ask or answer at least one question at the time of registration ?