#stable-model-semantics News & Analysis

2 articles tagged with #stable-model-semantics. AI-curated summaries with sentiment analysis and key takeaways from 50+ sources.

2 articles

AINeutralarXiv – CS AI · May 125/10

🧠

Weighted Rules under the Stable Model Semantics

Researchers introduce weighted rules under stable model semantics, combining logic programming with probabilistic methods similar to Markov Logic Networks. This advancement enables answer set programs to handle inconsistencies, rank solutions, assign probabilities, and perform statistical inference—moving beyond the deterministic limitations of traditional logic-based systems.

AIBullisharXiv – CS AI · May 16/10

🧠

LLMs as ASP Programmers: Self-Correction Enables Task-Agnostic Nonmonotonic Reasoning

Researchers present LLM+ASP, a framework combining large language models with Answer Set Programming to enable nonmonotonic reasoning without task-specific engineering. The system uses automated self-correction loops where an ASP solver provides structured feedback, demonstrating significant performance improvements over monotonic logic approaches across diverse reasoning benchmarks.