answer set programming
PulseAugur coverage of answer set programming — every cluster mentioning answer set programming across labs, papers, and developer communities, ranked by signal.
1 天有情绪数据
-
Answer Set Programming automates long-term power grid planning
Researchers have developed a new method to automate and optimize long-term power grid planning using Answer Set Programming (ASP). This approach elegantly encodes complex properties and invariants required for grid plan…
-
Researchers refine Gelfond rationality principle for answer set semantics
Researchers have refined the Gelfond Rationality Principle to develop more comprehensive foundational principles for answer set semantics in non-monotonic logic programming. The study questions the mandatory nature of m…
-
Neural Decision-Propagation enhances neuro-symbolic AI scalability
Researchers have developed Neural Decision-Propagation (NDProp), a novel method for integrating Answer Set Programming (ASP) with neural networks. This approach aims to overcome the scalability limitations of traditiona…
-
AI explanations: Abstracting irrelevant details boosts understanding and reduces effort
A new research paper explores how abstracting irrelevant details in symbolic AI explanations can impact human understanding and cognitive effort. Experiments using Answer Set Programming demonstrated that clustering det…
-
PHISHREV framework combines ML with reasoning for better phishing detection
Researchers have developed PHISHREV, a novel framework that combines machine learning with non-monotonic reasoning to enhance phishing website detection. This hybrid approach uses Answer Set Programming to refine machin…
-
Logic-based framework infers complex events from timestamped data
Researchers have developed a novel logic-based framework for identifying complex, long-duration events from timestamped data and background knowledge. This approach uses logical rules to define event conditions and comb…