answer set programming
PulseAugur coverage of answer set programming — every cluster mentioning answer set programming across labs, papers, and developer communities, ranked by signal.
4 day(s) with sentiment data
-
New ASP Method Computes Constrained Movement Trajectories
Researchers have developed a novel method for computing movement trajectories of objects in complex environments. This approach utilizes answer set programming (ASP) to generate constrained branching trajectory modes, w…
-
New ASP Model Optimizes Air Traffic Flow and Capacity Management
Researchers have developed a new model for Air Traffic Flow and Capacity Management (ATFCM) that jointly optimizes aircraft trajectories and sector configurations. This approach, encoded using Answer Set Programming (AS…
-
Survey maps XAI methods to Answer Set Programming explanations
A new survey paper examines Explainable AI (XAI) methods within Answer Set Programming (ASP), a symbolic AI approach. The paper categorizes different types of ASP explanations and maps them to user queries, evaluating t…
-
New representation aids AI compliance reasoning with ASP
Researchers have introduced MONIR, a new intermediate representation designed for compliance reasoning using Answer Set Programming (ASP). This framework, MONIR-ASP, includes an executable compilation and extensions for…
-
New ASP(Q) variant and FLINGO language enhance AI constraint programming
Researchers have introduced "2-ASP(Q)^w," a new class of Answer Set Programming (ASP) programs with two quantifiers and weak constraints, capable of capturing optimization problems up to the Delta_3^P complexity class. …
-
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…