Asp
No mentions found
This entity hasn't been tracked yet, or Iris is still building its knowledge base.
Related Articles from SNS
Event Calculus Meets Hybrid ASP
arXiv:2606.04905v1 Announce Type: new Abstract: Event Calculus (EC) implemented in answer set programming (ASP) has proven suitable for specifying requirements on safety-critical systems thanks to its elegant representation of both discrete and continuous changes and its semantic closeness to semi-formal natural language. However, continuous changes and the size of value domains of time and system properties (fluents) pose significant challenges. Grounding-based ASP solvers, e.g., clingo,...
A Normative Intermediate Representation for ASP-Based Compliance Reasoning
arXiv:2606.04619v1 Announce Type: new Abstract: We propose MONIR, a Modalized-Output Normative Intermediate Representation for ASP-based compliance reasoning. Its core fragment has a staged operational semantics, while MONIR-ASP provides an executable compilation and extensions for external functions, temporal rules, and stable-model reasoning. We instantiate the framework on Chinese ADAS regulations and standards with an LLM-assisted pipeline.
144 - ASP Isotopes Inc. (0001921865) (Subject)
Filed: 2026-06-01 AccNo: 0001477932-26-003567 Size: 4 KB
4 - ASP Isotopes Inc. (0001921865) (Issuer)
Filed: 2026-06-03 AccNo: 0001477932-26-003633 Size: 11 KB
Equilibrium Semantics and Strong Equivalence for Higher-Order Logic Programs
arXiv:2606.02387v1 Announce Type: new Abstract: One of the most significant achievements of equilibrium logic was the characterization of strong equivalence, a property crucial for program transformation and optimization in Answer Set Programming (ASP). While ASP has recently been extended to a higher-order setting to enhance its expressive power, the lack of a comparable purely logical foundation has made verifying strong equivalence for higher-order programs or even proving the correctness...
Neural Decision-Propagation for Answer Set Programming
arXiv:2605.01797v2 Announce Type: replace Abstract: Integration of Answer Set Programming (ASP) with neural networks has emerged as a promising tool in Neuro-symbolic AI. While existing approaches extend the capabilities of ASP to real world domains, their reasoning pipelines depend on classical solvers, which is a bottleneck for scalability. To tackle this problem, we propose a new method to compute stable models, called decision-propagation (DProp), which alternates falsity decisions and...
Answer-Set-Programming-based Abstractions for Reinforcement Learning
Announce Type: new Abstract: Reinforcement Learning (RL) enables autonomous agents to learn policies from experience, but realistic problems often involve enormous state spaces, making learning and generalisation challenging. Abstraction and approximation are therefore essential. Relational Reinforcement Learning (RRL) offers a way to reason about objects and their relations, and the CARCASS framework by Martijn van Otterlo demonstrates how logical representations can model Markov Decision...
Molecular dynamics insights into biomineralisation mediated by acidic intrinsically disordered proteins: a case study of molluscan Aspein from the pearl oyster Pinctada fucata
Biomineralisation is a ubiquitous phenomenon that still fascinates the scientific community. Mineralised structures are most notably encountered in marine lifeforms the shell or exoskeleton of which are formed by precipitating specific calcium carbonate (CaCO3) polymorphs, known as amorphous (ACC), vaterite, aragonite, and calcite. To control crystalline polymorphism in their shell layers, bivalves have evolved strategies involving ion-binding secretomes composed of shell matrix proteins (SMPs).
Reducing Arbitrary Metric Temporal Formulas into Logic Programs under Answer Set Semantics
arXiv:2605.30618v1 Announce Type: new Abstract: Metric temporal equilibrium logic (\MEL) extends temporal equilibrium logic (\TEL) by incorporating quantitative timing constraints, enabling the specification and analysis of deadlines and durations. \MEL\ is particularly suited for domains where time-bound properties are crucial, such as embedded systems, cyber-physical systems, and real-time software.
Stephen Lawrence's dad says 'history repeating' after Henry Nowak murder
Stephen Lawrence's dad says 'history repeating' after Henry Nowak murder Neville Lawrence spoke out as the Home Secretary promised Henry's family they will get answers after the teenager bled to death having been cuffed by police as he pleaded for help Shabana Mahmood has promised Henry Nowak's family that they will get answers after the teenager was handcuffed as he lay dying. In an impassioned plea, the Home Secretary called for calm and said the "evil act" must not lead to communities...