answer set programming
PulseAugur coverage of answer set programming — every cluster mentioning answer set programming across labs, papers, and developer communities, ranked by signal.
2 day(s) with sentiment data
-
New framework CoGReV enhances phishing detection with AI reasoning
Researchers have developed CoGReV, a new framework designed to improve phishing website detection by integrating machine learning with non-monotonic reasoning. This system uses a confidence-gated rule to revise predicti…
-
AI models for brain MRI match anatomical feature performance
Researchers have conducted a comprehensive evaluation of feature extraction methods for AI models used in structural brain MRI analysis. Their study, which utilized 18 public datasets and approximately 80,000 participan…
-
New research explores emotion detection in LLMs across layers and languages
Researchers are exploring new methods to enhance emotion detection in large language models (LLMs) by investigating how emotions are represented across different layers and languages. One study examines emotion expressi…
-
New wrapper optimizes multimodal models for budget-constrained perception
Researchers have introduced ASP, a novel training-free wrapper designed for frozen multimodal models to address the challenge of embodied perception under strict token budget constraints. The system aims to optimize obs…
-
Neuro-symbolic AI uses proofs to prevent fabricated solutions
Researchers have developed a new method for neuro-symbolic constraint solving that improves the reliability of language models in tackling complex problems. This approach replaces simple error messages with detailed pro…
-
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…