answer set programming
PulseAugur coverage of answer set programming — every cluster mentioning answer set programming across labs, papers, and developer communities, ranked by signal.
6 day(s) with sentiment data
-
New heuristic ASPaeroFlow optimizes air traffic flow and capacity management
Researchers have developed ASPaeroFlow, a novel heuristic approach to jointly optimize Air Traffic Flow and Capacity Management (ATFCM) by combining instance-space decomposition with Answer Set Programming. This method …
-
Frontier LLMs Distill Answer Set Programming Theories with High Accuracy
A new study explored distilling Answer Set Programming (ASP) theories from large language models using a neurosymbolic approach. The research tested nine models, including frontier models like Claude Sonnet 4.6, Claude …
-
AI's 'vibe code' compared to early web development boom
The concept of "vibe code" in AI is compared to the early days of web development with HTML, ASP, and PHP. This analogy suggests that just as those technologies allowed for easy creation and online hosting of content, c…
-
New VS Code Extension Simplifies Answer Set Programming Learning
A new Visual Studio Code extension called EZASP has been developed to support the Easy Answer Set Programming (Easy ASP) methodology. This methodology simplifies learning Answer Set Programming (ASP) by focusing on a st…
-
New ASP approach tackles UAM strategic deconfliction
Researchers have developed a new approach using Answer Set Programming (ASP) to manage strategic deconfliction in Urban Air Mobility (UAM) operations. This method focuses on synchronizing flight times and optimizing rou…
-
Answer Set Programming enhanced with new semantics and LLM-driven optimization · 2 sources tracked
Two new research papers explore advancements in Answer Set Programming (ASP). The first paper introduces a unified logical framework, Bound-Founded Semantics, to characterize various semantics for ASP extensions with li…
-
New ILP Pipeline Explains Weather Forecasts with Interpretable Hypotheses
Researchers have developed a new pipeline using Inductive Logic Programming (ILP) to interpret weather bulletins from OSMER FVG, the meteorological observatory for Italy's Friuli Venezia-Giulia region. This system, base…
-
EZSMTV3 framework advances hybrid reasoning for complex problems · 1 source tracked
A new framework called EZSMTV3 has been developed for Constraint Answer Set Programming (CASP), a hybrid reasoning paradigm combining Answer Set Programming with Constraint Processing and Satisfiability Modulo Theories …
-
ZeroFolio uses text embeddings for algorithm selection without domain knowledge
Researchers have developed a novel feature-free approach to algorithm selection called ZeroFolio, which utilizes pretrained text embeddings to distinguish problem instances without requiring domain-specific knowledge. T…
-
New computational approach enhances Metric Temporal Answer Set Programming
Researchers have developed a computational method for Metric Temporal Answer Set Programming (ASP) that allows for the expression of quantitative temporal constraints such as durations and deadlines. To overcome the sca…
-
New PULS system anticipates video anomalies using semantic world-model pipeline
Researchers have developed PULS (Predictive Unified Latent Space), a novel pipeline for continuous video anomaly detection that moves beyond reactive methods. PULS consists of a KSD Bridge, which translates physical ten…
-
New ASP Framework Integrates Fuzzy Logic for Qualitative Reasoning
This paper introduces a novel fuzzy-logic-based extension to Answer Set Programming (ASP) designed to handle qualitative reasoning with vague linguistic labels. The proposed framework integrates numerical data, such as …
-
LLMs coupled with Answer Set Programming boost robot task planning accuracy
Researchers have developed CLMASP, a novel approach that combines Large Language Models (LLMs) with Answer Set Programming (ASP) to enhance robotic task planning. This method leverages LLMs for initial plan generation a…
-
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…